../ AbsSyntax.hsbe more precise when to emit a warning (still a workaround - fix involves to not parse the string)13 years ago AbsSyntaxTree.hschanged defaultOpts to use field names for assignment13 years ago Compiler.hsmake TT aware of Set -> Type14 years ago Completion.hsFull TT reflection and reification14 years ago Coverage.hsLook through call graph for mutual recursion when productivity checking Otherwise we might miss non-productive calls, particularly important when using 'with'. Fixes issue #18313 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.hsRemove the unused arg from lookup functions14 years ago Delaborate.hsFix :t for metavariables Fixes issue #28014 years ago Docs.hsRemove the unused arg from lookup functions14 years ago ElabDecls.hsCheck that explicitly given implicit args unify with inferred versions Also exposed a unification bug which unified things which shouldn't be: f x = f y does not imply x = y unless f is injective, and this was not properly checked.13 years ago ElabTerm.hsCheck that explicitly given implicit args unify with inferred versions Also exposed a unification bug which unified things which shouldn't be: f x = f y does not imply x = y unless f is injective, and this was not properly checked.13 years ago Error.hsReorder the monad transformers in the Idris monad to allow completion14 years ago Help.hsadd command to change current directory14 years ago IBC.hsEnable alternate names for shared libraries14 years ago IdeSlave.hscleanups, rename List to SexpList to disambiguate13 years ago Imports.hsAdding support for Windows MingW3214 years ago Parser.hsMerge branch 'MixingImplicitArgs' of https://github.com/JanBessai/Idris-dev into JanBessai-MixingImplicitArgs13 years ago Primitives.hsExpand integer primitive unification to encompass bigints13 years ago Prover.hsCheck that explicitly given implicit args unify with inferred versions Also exposed a unification bug which unified things which shouldn't be: f x = f y does not imply x = y unless f is injective, and this was not properly checked.13 years ago Providers.hsUpdate type providers so that the decision of failure or otherwise is made in IO14 years ago REPL.hsuse 'iputStrLn $ show' instead of 'print' to work nicely with ideslave13 years ago REPLParser.hssquash potential space leaks by using strict foldl14 years ago Transforms.hsuppercase modulenames14 years ago Unlit.hsFix Unlit to cope with documentation comment syntax14 years ago UnusedArgs.hsRemove the unused arg from lookup functions14 years ago