Amulet

Amulet is a simple functional programming language in the ML tradition,with support for higher-rank parametric polymorphic types androw-polymorphic records, pattern matching with algebraic data types, andtail recursion elimination.

Installation

Installationinstructions

For your convenience, we provide pre-built tarballs for x86_64 Linuxthat are compiled every night from the master branch (as part of thenightly build job, linked above). Install them with the magic installscript:

curl https://amulet.works/install.sh | env CHANNEL=nightly sh -

Building from Source

Make sure you have a functional Haskell toolchain including Stack. SinceAmulet has a lot of object files (around 125 for the amc executable,not counting all of the Haskell dependencies that are shipped as .astatic libraries), we use the LLVM lld linker in the Cabal file.

If you do not wish to use lld, remove all the ghc-options: stanzasfrom the amuletml.cabal file; This sed command should do the trick,too.

sed -re 's;-optl-fuse-ld=lld;;g' -i amuletml.cabal

Amulet ships with its own set of libraries. Make sure they areinstalled. amc will look for its libraries in one of the followingdirectories:

${AMC_LIBRARY_PATH}
$(dirname $(which amc))/lib
$(dirname $(which amc))/../lib

The script tools/quickinstall.sh will take care of building andinstalling the libraries, using Stack.