../ AbsSyntax.hsWork towards making {static} arguments and specialisation work properly15 years ago Compiler.hsBetter name-chasing in Compiler15 years ago Coverage.hsMore on errors; propagate line numbers15 years ago DSL.hsGive up type class resolution sooner15 years ago DataOpts.hsCoverage checker Not quite complete - a bug (which I know how to fix) makes some things appear not covering even though they are. Results currently used only for pruning case trees in compiled code. There is a small performance penalty - coverage checking …15 years ago Delaborate.hsMore on errors; propagate line numbers15 years ago ElabDecls.hsCheck for overlapping type class instances15 years ago ElabTerm.hsWork towards making {static} arguments and specialisation work properly15 years ago Error.hsCheck definitions structurally as well as by name in conversion15 years ago IBC.hsBetter type class resolution15 years ago Imports.hsAdded support for literate programming with bird tracks (use .lidr extension)15 years ago Parser.hsTry to get line numbers better15 years ago Primitives.hsSet totality of primitive operators15 years ago Prover.hsAdded 'abandon' command in proof mode (Alternatively, :q)15 years ago REPL.hsWork towards making {static} arguments and specialisation work properly15 years ago REPLParser.hsAdd :total command15 years ago Transforms.hsAdd Transform module; make implicit args lazy15 years ago Unlit.hsRemoved need for terminating ; A declaration is now considered terminated on encountering a token in the same column as the declaration began - or on encountering a semicolon. Libraries and some tests updated.15 years ago