The lvmrun package

[Tags:lgpl, program]

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 an LVM runtime written in C. The core assembler (coreasm) for compiling core programs into LVM instructions and a library is defined in the lvmlib cabal package. The LVM is used as a backend for the Helium compiler. More information about LVM can be found in Chapter 6 of Daan Leijen's PhD Thesis, The Lambda Abroad. We use the Make build-type here. The dependencies are provided in the Cabal file, and their generation is not handled by Cabal. Instead, if you change dependencies please run `make depend'. This occurs extremely rarely, though, because we do not plan to evolve lvmrun. Fornothing.hs is only there to please Cabal.

Properties

Versions 1.0
Dependencies None [details]
License LGPL
Copyright (c) 2012
Author Daan Leijen, Bastiaan Heeren, Jurriaan Hage, *OCAMLers*
Maintainer helium@cs.uu.nl
Category Compilers/Interpreters
Home page http://www.cs.uu.nl/wiki/bin/view/Helium/WebHome
Source repository head: svn checkout https://svn.science.uu.nl/repos/sci.hage0101.lvm/trunk/src/runtime
Uploaded Tue Sep 2 10:41:27 UTC 2014 by JurriaanHage
Distributions NixOS:1.0
Downloads 491 total (12 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
Last success reported on 2015-11-13 [all 7 reports]
Hackage Matrix CI

Downloads

Maintainer's Corner

For package maintainers and hackage trustees