git.iko.soy/Idris-dev
on b5f2e4d help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/Fix evaluator problem 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.hsChanged desugaring behavior to use <*> instead of <$> 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.hsDesugar do blocks inside of %runTactics DataOpts.hsAdded TODO for DataOpts.hs DeepSeq.hsPlumb source locations through Tactical's elab Delaborate.hsFix the new totality test Docs.hsAllow documentation for modules Docstrings.hsRemove -Werror from all files ElabDecls.hsSupport scoped type class constraints ElabQuasiquote.hsPlumb source locations through Tactical's elab ElabTerm.hsMerge branch 'master' of github.com:idris-lang/Idris-dev 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 IDE command to get Idris version IdrisDoc.hsPlumb source locations through Tactical's elab Imports.hsAdd function to list installed packages Inliner.hs Interactive.hsRename ideslave to ide-mode Output.hsCatch some lingering renames that I missed ParseData.hsSupport type errors in docstrings ParseExpr.hsDesugar do blocks inside of %runTactics ParseHelpers.hsSimplify comment parser ParseOps.hsMerge branch 'master' of github.com:markuspf/Idris-dev into markuspf-master Parser.hsTrace loaded file spans for empty modules PartialEval.hsAdd scoped implicit argument to Pi Primitives.hsIO primitives tweak to support JS ProofSearch.hsIO primitives tweak to support JS Prover.hsCatch some lingering renames that I missed Providers.hsAnnotate several top-level functions REPL.hsFix :unlet and the IDE protocol REPLParser.hsVarious cleanup of the REPL, mainly with parsing and completion 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