../ AbsSyntax.hsMore restrictive automated addition of implicit arguments Only added automatically if they begin with a lower case letter, or appear in a using block. Apologies for breaking code: however, this catches a common class of error which causes confusing (but co…14 years ago AbsSyntaxTree.hsAdded 'mutual' blocks Effect is to elaborate all types in the block before elaborating definitions14 years ago Compiler.hsSet up for adding new compiler back ends more easily14 years ago Coverage.hsDocument --warnpartial Behaviour fixed so that it doesn't report declared partial functions14 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.hsShow implicits on incomplete term error14 years ago ElabDecls.hsAdded 'mutual' blocks Effect is to elaborate all types in the block before elaborating definitions14 years ago ElabTerm.hsFix name clashes between holes and bound variables14 years ago Error.hsStarting unused argument analysis14 years ago IBC.hsAdded 'mutual' blocks Effect is to elaborate all types in the block before elaborating definitions14 years ago Imports.hsAdd --ibcsubdir option (thanks to Dirk Ullrich)15 years ago Parser.hsAdded 'mutual' blocks Effect is to elaborate all types in the block before elaborating definitions14 years ago Primitives.hsAllow forward declaration of data structures To support induction-recursion and mutual data definitions Syntax is as a normal data declaration, but without the 'where' or '=' sections14 years ago Prover.hsindent proof blocks by 2 spaces14 years ago REPL.hsAdded :l and :m commands to REPL14 years ago REPLParser.hsFix name clashes between holes and bound variables14 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