git.iko.soy/Idris-dev
on b82cec2 help sign in
Idris-dev/src/Idris
24 files
../ AbsSyntax.hsFix scoping rules on lhs of with clause AbsSyntaxTree.hsFix scoping rules on lhs of with clause Compiler.hsmake TT aware of Set -> Type Completion.hsFull TT reflection and reification Coverage.hsRemove the unused arg from lookup functions 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.hsRemove the unused arg from lookup functions Delaborate.hsFix :t for metavariables Fixes issue #280 Docs.hsRemove the unused arg from lookup functions ElabDecls.hsFix scoping rules on lhs of with clause ElabTerm.hsDon't allow unification problems to be introduced in :p mode Error.hsReorder the monad transformers in the Idris monad to allow completion Help.hsadd command to change current directory IBC.hsMake 'count' partial/abstract to prevent compile-time reduction Deals with issue #171 Imports.hsAdding support for Windows MingW32 Parser.hsMove parsing of comprehensions Fixes issue #178 Primitives.hsFix missing case in Idris.Primitives.p_strLen Prover.hsRemove the unused arg from lookup functions Providers.hsUpdate type providers so that the decision of failure or otherwise is made in IO REPL.hsMerge branch 'master' into providers REPLParser.hsadd command to change current directory Transforms.hsuppercase modulenames Unlit.hsFix Unlit to cope with documentation comment syntax UnusedArgs.hsRemove the unused arg from lookup functions