git.iko.soy/Idris-dev
on 7e43af7 help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/Remove dead code Elab/Revamped record elaboration. ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsRevamped record elaboration. AbsSyntaxTree.hsRevamped record elaboration. Apropos.hsAdd scoped implicit argument to Pi CaseSplit.hsCreate a proper name supply for identity type Chaser.hsAllow documentation for modules CmdOptions.hsGenerate interface files for C->Idris calls 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.hsRevamped record elaboration. Delaborate.hsFix the new totality test Docs.hsInstance docs: instance parameter documentation Docstrings.hsRemove -Werror from all files ElabDecls.hsRevamped record elaboration. ElabQuasiquote.hsPlumb source locations through Tactical's elab ElabTerm.hsFix type error in name reflection Erasure.hsSupport IO in foreign exports ErrReverse.hs Error.hsAdd missing cases to warnDisamb Help.hsVarious cleanup of the REPL, mainly with parsing and completion IBC.hsRevamped record elaboration. IdeMode.hsAdd the ability for IDEs to get documentation overviews IdrisDoc.hsInstance docs: instance parameter documentation 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.hsRevamped record elaboration. ParseExpr.hsAllow DSLs to be applied with $ ParseHelpers.hsMerge branch 'master' into agda-style-records ParseOps.hsWIP: Better error messages for parsing operators Parser.hsAllow type providers to have docstrings 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.hsInstance docs: instance parameter documentation 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