git.iko.soy/Idris-dev
on 6d188c4 help sign in
Idris-dev/src/Idris
2 folders, 47 files
../ Core/Add 'determining parameters' for classes Elab/Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tactical ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tactical AbsSyntaxTree.hsBegin to use a sum type for post-elab IState tweaks 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.hsAdd 'determining parameters' for classes Delaborate.hsProper error message for missing eliminators Docs.hsInstance docs: instance parameter documentation Docstrings.hsRemove -Werror from all files ElabDecls.hsAdd 'determining parameters' for classes ElabQuasiquote.hsPlumb source locations through Tactical's elab ElabTerm.hsBegin to use a sum type for post-elab IState tweaks 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.hsAdd 'determining parameters' for classes IdeMode.hsAdd IDE command for showing TT IdrisDoc.hsInstance docs: instance parameter documentation Imports.hsEnforce case sensitivity of imports for OSX. Inliner.hs Interactive.hsRename ideslave to ide-mode Output.hsMake IDE mode default to 70 character terminals ParseData.hsSupport type errors in docstrings ParseExpr.hsAllow DSLs to be applied with $ ParseHelpers.hsAdd 'determining parameters' for classes ParseOps.hsWIP: Better error messages for parsing operators Parser.hsAdd 'determining parameters' for classes 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 provenance flag to unification errors Providers.hsAnnotate several top-level functions REPL.hsAdd 'determining parameters' for classes REPLParser.hsAdd :core to the REPL Reflection.hsBegin to use a sum type for post-elab IState tweaks Transforms.hsFix for name clashes when applying transformations TypeSearch.hsAdd provenance flag to unification errors Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsMark 'case' on unique types as updatable