git.iko.soy/Idris-dev
on 49fffbc help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/Remove dead code Elab/Added explicit error messages when eliminator/case function generation fails ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsstripLinear needs to check dependent pairs AbsSyntaxTree.hsAdd the ability for IDEs to get documentation overviews Apropos.hsAdd scoped implicit argument to Pi CaseSplit.hsCreate a proper name supply for identity type Chaser.hsAllow documentation for modules CmdOptions.hsReplace a fancy apostrophe with a basic ASCII one Colours.hsIndicate the end of each escape sequence in the prompt string, since there's no way for Haskeline to detect it automatically. Completion.hsAdd function to list installed packages Coverage.hsMake some comments into proper Haddock DSL.hsAllow DSLs to be applied with $ DataOpts.hsAdded TODO for DataOpts.hs DeepSeq.hsPlumb source locations through Tactical's elab Delaborate.hsFix the new totality test Docs.hsAdd the ability for IDEs to get documentation overviews Docstrings.hsRemove -Werror from all files ElabDecls.hsSupport scoped type class constraints ElabQuasiquote.hsPlumb source locations through Tactical's elab ElabTerm.hsFix type error in name reflection Erasure.hsErasure should ignore Type*/UniqueType ErrReverse.hs Error.hsAdd missing cases to warnDisamb Help.hsVarious cleanup of the REPL, mainly with parsing and completion IBC.hsIBC generation pattern match completeness IdeMode.hsAdd the ability for IDEs to get documentation overviews IdrisDoc.hsAdd the ability for IDEs to get documentation overviews Imports.hsEnforce case sensitivity of imports for OSX. Inliner.hs Interactive.hsRename ideslave to ide-mode Output.hsCatch some lingering renames that I missed ParseData.hsSupport type errors in docstrings ParseExpr.hsAllow DSLs to be applied with $ ParseHelpers.hsPrevent unquotations from being parsed as infix operators ParseOps.hsWIP: Better error messages for parsing operators Parser.hsMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/betteroperatormessage PartialEval.hsAdd scoped implicit argument to Pi Primitives.hsIO primitives tweak to support JS ProofSearch.hsChange to a recoverable error in proof search Prover.hsAdd the ability for IDEs to get documentation overviews Providers.hsAnnotate several top-level functions REPL.hsAdd the ability for IDEs to get documentation overviews REPLParser.hsAdd the ability for IDEs to get documentation overviews Transforms.hsFix for name clashes when applying transformations TypeSearch.hsIgnore lazy type modifiers in :search Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsMark 'case' on unique types as updatable