../ AbsSyntax.hsFix for expansion of types in parameters blocks14 years ago AbsSyntaxTree.hsfixed bug in showImp14 years ago Compiler.hsSet up for adding new compiler back ends more easily14 years ago Coverage.hsMinor fixes for inlining and integer literals14 years ago DSL.hsChange meaning of alternative syntax (| a , b , ... |) Now takes the first alternative to elaborate,rather than requiring exactly one to work. Old behaviour reserved for disambiguating namespaces.15 years ago DataOpts.hsAdd collapsing optimisation and more aggressive erasure14 years ago Delaborate.hsMake believe_me abstract14 years ago Docs.hsbetter lookup for operators14 years ago ElabDecls.hsNormalise LHS before compilation ...otherwise in some situations the forcing optimisation may lead to uncompilable code14 years ago ElabTerm.hsDon't normalise everywhere!14 years ago Error.hsStarting unused argument analysis14 years ago IBC.hsMinor fixes for inlining and integer literals14 years ago Imports.hsAdd --ibcsubdir option (thanks to Dirk Ullrich)15 years ago Parser.hsMerge pull request #90 from raichoo/parser14 years ago Primitives.hsMinor fixes for inlining and integer literals14 years ago Prover.hsFix pattern variable problem when patterns generated by unification14 years ago REPL.hsExpand backend control options and infrastructure14 years ago REPLParser.hsSyntax for documentation comments and :doc REPL command14 years ago Transforms.hsuppercase modulenames14 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 UnusedArgs.hsMerge branch 'master' of https://github.com/raichoo/Idris-dev14 years ago