Safe Haskell | None |
---|---|
Language | Haskell98 |
This module contains the code that uses the inferred types to generate 1. HTMLized source with Inferred Types in mouseover annotations. 2. Annotations files (e.g. for vim/emacs) 3. JSON files for the web-demo etc.
Documentation
specAnchor :: Int Source
Gross hack, to force dependency and loading of module.
mkOutput :: Config -> ErrorResult -> FixSolution -> AnnInfo (Annot SpecType) -> Output Doc Source
output
creates the pretty printed output