lol-typing: Type inferencer for LOL (λω language)

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.


WARNING: this is a research program written as I learn and explore type inferencing: please understand well by yourself whatever you may take from it; any question or contribution being welcome :-)

This package implements type inferencing by manipulating type constraints through 3 successive phases: 1. the Collect phase collects them from some expression, 2. the Order phase modifies the order in which they will be solved, 3. the Solver phase solves them according to the logic of some type inference rules.

So far, the principles within these phases are mainly a rewrite of Bastiaan Heeren's Top, using my own code conventions and ideals of simplicity. The most notable change being the use of Roman Cheplyaka's monad-classes (a little bit augmented): to handle the Monad stack building a Solver (instead of a homegrown machinery I could not understand well). At this point, only a bottom-up Collect, a no-op Order and a Greedy Solver are implemented, supporting: monomorphic types (Monotype), parametric polymorphism (Polytype), type class polymorphism (Class), and type synonyms (Synotype). The quite understandable thesis of Bastiaan Heeren explains a lot of this in details: Top Quality Type Error Messages.

The Attribute Grammar System of Universiteit Utrecht is used to demonstrate how to collect type constraints from an expression (Expr), and then how to transform this implicitely typed expression into an explicitely typed lol-calculus expression

See also: the helium compiler.


Versions1.20160822, 1.20160822
Change logNone available
Dependenciesbase (>=4.6 && <5), containers (==0.5.*), ghc-prim, lol-calculus, monad-classes (>=, parsec (>=3.1.2 && <4), text, text-format, transformers (==0.4.*), uuagc (>=0.9), uuagc-cabal (>= [details]
AuthorJulien Moutinho <>
MaintainerJulien Moutinho <>
Home page
Source repositoryhead: git clone git://
UploadedTue Aug 23 05:16:50 UTC 2016 by julm




Turn on development settings.


Dump some intermediate files.


Turn on executables.


Turn on profiling settings.


Enable threads.


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainers' corner

For package maintainers and hackage trustees