git.iko.soy/Idris-dev
on dd5001f help sign in
Idris-dev/src/Idris
21 files
../ AbsSyntax.hsmake TT aware of Set -> Type AbsSyntaxTree.hsmake TT aware of Set -> Type Compiler.hsmake TT aware of Set -> Type Coverage.hsmake TT aware of Set -> Type 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. DataOpts.hsAdd collapsing optimisation and more aggressive erasure Delaborate.hsmake TT aware of Set -> Type Docs.hsbetter lookup for operators ElabDecls.hsmake TT aware of Set -> Type ElabTerm.hsmake TT aware of Set -> Type Error.hsAllow inference of Sets at REPL IBC.hsmake TT aware of Set -> Type Imports.hsAdding support for Windows MingW32 Parser.hsmake TT aware of Set -> Type Primitives.hsmake TT aware of Set -> Type Prover.hsFix pattern variable problem when patterns generated by unification REPL.hsAdded the ability to dump bytecode to a file REPLParser.hsAdding support for Windows MingW32 Transforms.hsuppercase modulenames Unlit.hsFix Unlit to cope with documentation comment syntax UnusedArgs.hsMerge branch 'master' of https://github.com/raichoo/Idris-dev