name: lvmlib version: 1.1 x-revision: 1 synopsis: The Lazy Virtual Machine (LVM). homepage: http://www.cs.uu.nl/wiki/bin/view/Helium/WebHome description: The Lazy Virtual Machine (LVM) defines a portable instruction set and file format. It is specifically designed to execute languages with non-strict (or lazy) semantics. This cabal package defines the core assembler (coreasm) for compiling core programs into LVM instructions and a library. The LVM is used as a backend for the Helium compiler. At the moment, one LVM runtime implementation is available (written in C). More information about LVM can be found in Chapter 6 of Daan Leijen's PhD Thesis, The Lambda Abroad. category: Compilers/Interpreters copyright: (c) 2012 license: BSD3 license-file: LICENSE.txt author: Daan Leijen, Bastiaan Heeren, Jurriaan Hage maintainer: helium@cs.uu.nl stability: provisional extra-source-files: CREDITS.txt build-type: Simple cabal-version: >= 1.10.1.0 tested-with: GHC == 7.0.2, GHC == 7.0.3, GHC == 7.4.1, GHC == 7.6.3 source-repository head type: svn location: https://svn.science.uu.nl/repos/sci.hage0101.lvm/trunk/src/lib -------------------------------------------------------------------------------- Executable coreasm Build-Depends: base >= 3 && < 4.8, array < 0.6, containers < 0.6, directory < 1.3, filepath < 1.4, parsec < 3.2, wl-pprint < 1.3 ghc-options: -Wall default-language: Haskell98 hs-source-dirs: . Main-is: Lvm/Core/Main.hs Library Build-Depends: base >= 3 && < 4.8, array < 0.6, containers < 0.6, directory < 1.3, filepath < 1.4, parsec < 3.2, wl-pprint < 1.3 ghc-options: -Wall default-language: Haskell98 hs-source-dirs: . Exposed-modules: Lvm.Asm.Data Lvm.Asm.Inline Lvm.Asm.Occur Lvm.Asm.ToLvm Lvm.Common.Byte Lvm.Common.Id Lvm.Common.IdMap Lvm.Common.IdSet Lvm.Core.Expr Lvm.Core.FreeVar Lvm.Core.LetSort Lvm.Core.Lift Lvm.Core.Module Lvm.Core.NoShadow Lvm.Core.Normalize Lvm.Core.Parsing.Layout Lvm.Core.Parsing.Lexer Lvm.Core.Parsing.Parser Lvm.Core.Parsing.Token Lvm.Core.PrettyId Lvm.Core.RemoveDead Lvm.Core.Saturate Lvm.Core.ToAsm Lvm.Core.Type Lvm.Core.Utils Lvm.Data Lvm.Import Lvm.Instr.Data Lvm.Instr.Resolve Lvm.Instr.Rewrite Lvm.Path Lvm.Read Lvm.Write --------------------------------------------------------------------------------