kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/mercury/distinfo

13 lines
663 B
Text
Raw Normal View History

Convert to USE_NEW_TEXINFO. Add info directory entries by way of patch files to most of the info files.
2003-07-05 23:16:36 +02:00
$NetBSD: distinfo,v 1.5 2003/07/05 21:16:37 seb Exp $
Initial import of mercury-0.10.1. Mercury is a modern logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs. This package includes the compiler, profiler, debugger, documentation, etc. It does NOT include the "extras" distribution; that is available from <http://www.cs.mu.oz.au/mercury/download/release.html>.
2001-05-15 23:09:44 +02:00
Update mercury to version 0.11.0. Changes to the Mercury language: * Support for constrained polymorphic modes. * Addition of state variable syntax. * Improved support for higher-order functions. * Predicate and function equivalence type and mode declarations. * Support for defining predicates or functions using different clauses for different modes. * Support for Haskell-like "@" expressions. * Generalized foreign language interface. Changes to the Mercury compiler: * A new `--make' option, for simpler building of programs. * A new `--smart-recompilation' option, for fine-grained dependency tracking. * A new optional warning: `--warn-non-tail-recursion'. * A new optimization: `--constraint-propagation'. * A new optimization: `--loop-invariants'. * Support for arbitrary mappings from module name to source file name. Portability improvements: * Mac OS X is now supported "out-of-the-box". * On Windows we now support generating non-Cygwin executables. * Better conformance to ANSI/ISO C. Changes to the compiler back-ends: * The native code Linux/x86 back-end is now "release quality". * The .NET CLR back-end is much improved. Major improvements to the Mercury debugger, including: * Support for source-linked debugging using vim (rather than emacs). * Command-line completion. * Ability to display values of higher-order terms. * Declarative debugging. * Support for transparent retries across I/O. A new profiler, which we call the Mercury deep profiler or mdprof: * Supports both time and memory profiling. * Gathers information about individual call sites as well as procedures. * Eliminates the assumption that all calls to a procedure have equal cost. * Allows users to explore the gathered data interactively with a web browser. Numerous minor improvements to the Mercury standard library. A new testing tool in the extras distribution.
2003-05-02 19:48:28 +02:00
SHA1 (mercury-compiler-0.11.0.tar.gz) = 17feadfa8e8783738fc18428c6ab59b61c1e8a73
Size (mercury-compiler-0.11.0.tar.gz) = 15598754 bytes
SHA1 (patch-aa) = 4cfe2e7cc82d98f7338e8e3e4b753f6bdec0472f
SHA1 (patch-ab) = b253e9a8da66e44b94d621a8b212d4229e269e8f
SHA1 (patch-ac) = 94a59bded8b57a4e919dd029690629b552dfd681
SHA1 (patch-ad) = 890e8330e7d1d668a8d67668ed805b61274c2ae5
Convert to USE_NEW_TEXINFO. Add info directory entries by way of patch files to most of the info files.
2003-07-05 23:16:36 +02:00
SHA1 (patch-ae) = 0d9105492d30e915da33d1679ce65ab615866875
SHA1 (patch-af) = 2ed2b8d098c01ad1b79a8308885ba0af9b5bf05f
SHA1 (patch-ag) = cb846e04ad686ebafbd1826235f9c5cbea619eed
SHA1 (patch-ah) = 460ff322fda6ad3dcde3de459a15cdb2a35d3946
Reference in a new issue Copy permalink