The inch package

[Tags: bsd3, program]

Inch is a type-checker for a subset of Haskell (plus some GHC extensions) with the addition of integer constraints. After successfully type-checking a source file, it outputs an operationally equivalent version with the type-level integers erased, so it can be used as a preprocessor in order to compile programs.


Properties

Versions0.1.0, 0.2.0
Dependenciesbase (==4.*), containers (>0.4 && <0.6), filepath (>1.2 && <1.4), IndentParser (>0.2 && <0.3), mtl (>2.0 && <2.3), parsec (>3.1 && <3.5), presburger (==0.4.*), pretty (>=1.0 && <2)
LicenseBSD3
CopyrightCopyright (c) 2011 Adam Gundry
AuthorAdam Gundry <adam.gundry@strath.ac.uk>
MaintainerAdam Gundry <adam.gundry@strath.ac.uk>
CategoryLanguage
Home pagehttps://github.com/adamgundry/inch/
Bug trackerhttps://github.com/adamgundry/inch/issues
Source repositoryhead: git clone git://github.com/adamgundry/inch.git
Executablesinch
UploadedSat Jun 7 14:44:25 UTC 2014 by AdamGundry
Downloads197 total (17 in last 30 days)
StatusDocs not available [build log]
All reported builds failed [all 1 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees