git.iko.soy/Idris-dev
on a87f69e help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/Fix overenthusiastic unification Elab/Use a proper conversion check for type provider types ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsAdd %used pragma AbsSyntaxTree.hsMerge pull request #1885 from david-christiansen/issue/1860 Apropos.hsAdd scoped implicit argument to Pi CaseSplit.hsCreate a proper name supply for identity type Chaser.hsAllow documentation for modules CmdOptions.hsAdded missing documentation for the CLI. 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.hsAdd scoped implicit argument to Pi DSL.hsBetter tracking of FC in implicit coercions / DSL DataOpts.hsAdded TODO for DataOpts.hs DeepSeq.hsAllow implicits to appear anywhere Delaborate.hsSupport scoped type class constraints Docs.hsAllow documentation for modules Docstrings.hsRemove -Werror from all files ElabDecls.hsSupport scoped type class constraints ElabQuasiquote.hsMake pattern matching consistent in lambda/let ElabTerm.hsIO primitives tweak to support JS Erasure.hsAdd %used pragma ErrReverse.hs Error.hsMerge pull request #1852 from 4e6/repl-module-reload Help.hsVarious cleanup of the REPL, mainly with parsing and completion IBC.hsMerge branch 'master' of github.com:idris-lang/Idris-dev IdeSlave.hsRemove -Werror from all files IdrisDoc.hsGenerate HTML output for module documentation Imports.hsAdd function to list installed packages Inliner.hs Interactive.hsAdd scoped implicit argument to Pi Output.hsRelax lower bound on mtl ParseData.hsSupport type errors in docstrings ParseExpr.hsPrimitive type for world state ParseHelpers.hsAllow identifiers to start with underscore (_). Fixes idris-lang/Idris-dev#1868 ParseOps.hsMerge branch 'master' of github.com:markuspf/Idris-dev into markuspf-master Parser.hsMerge branch 'master' of github.com:idris-lang/Idris-dev PartialEval.hsAdd scoped implicit argument to Pi Primitives.hsIO primitives tweak to support JS ProofSearch.hsIO primitives tweak to support JS Prover.hsNew language-dependent FFI Providers.hsAnnotate several top-level functions REPL.hsMerge pull request #1870 from soimort/ideslave-module-support REPLParser.hsVarious cleanup of the REPL, mainly with parsing and completion Transforms.hsFix for name clashes when applying transformations TypeSearch.hsSupport scoped type class constraints Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsMark 'case' on unique types as updatable