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

16 lines
866 B
Text
Raw Normal View History

Update to Mercury 0.13.1 The list of changes is too long, it includes 5 years of development. See NEWS and HISTORY files for details.
2010-07-20 14:29:20 +02:00
$NetBSD: distinfo,v 1.10 2010/07/20 12:29:20 asau 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 to Mercury 0.13.1 The list of changes is too long, it includes 5 years of development. See NEWS and HISTORY files for details.
2010-07-20 14:29:20 +02:00
SHA1 (mercury-compiler-0.13.1.tar.gz) = 919eb45ba34c503fc2e7391225e52a5cfbb80616
RMD160 (mercury-compiler-0.13.1.tar.gz) = a0a80cd2ac7393cf084b79d40230bd1efe795c5f
Size (mercury-compiler-0.13.1.tar.gz) = 15938824 bytes
SHA1 (patch-ab) = 5245328e629fea2395507e51d38faaa9e961a25e
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 (patch-ac) = 94a59bded8b57a4e919dd029690629b552dfd681
Make the package build on NetBSD-current.
2004-02-14 04:04:31 +01:00
SHA1 (patch-ad) = a76030a9c15d160c46d2003aba5b74e6b7bed6e2
Update to Mercury 0.13.1 The list of changes is too long, it includes 5 years of development. See NEWS and HISTORY files for details.
2010-07-20 14:29:20 +02:00
SHA1 (patch-an) = 65bfb05147fe2f3663b35e494b8e8bf7fc6906e2
SHA1 (patch-ao) = c994597a95edc8376c4916333e7ad371752bbd2e
SHA1 (patch-ap) = fbbb66c0557e8ceff49a8289d97b521d92dbf022
SHA1 (patch-aq) = fcf7b99650d9f288cbc4200c2bc48934f7198845
SHA1 (patch-ar) = d81ce88cc5ed51b1122c251719dd69415402ec1c
SHA1 (patch-as) = da64e85f5a1722497cd4fb954243680a39300f61
SHA1 (patch-at) = 02dcd6cbe2e2bff6c86f03d49fa9a6cfb821804b
Reference in a new issue Copy permalink