git.iko.soy/Idris-dev
on 465cc1c help sign in
Idris-dev/src/Idris
2 folders, 47 files
../ Core/Cache constraint set in solver state Elab/Merge branch 'improve-universe-solver' of https://github.com/ozgurakgun/Idris-dev into ozgurakgun-improve-universe-solver ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsUse a Set for universe constraints AbsSyntaxTree.hsUse a Set for universe constraints Apropos.hsAdd scoped implicit argument to Pi CaseSplit.hsCreate a proper name supply for identity type Chaser.hsAllow documentation for modules CmdOptions.hsissue #2004 resolved by --consolewith cmd line param 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.hsTrickiness with implicits in dependent classes DSL.hsAllow DSLs to be applied with $ DataOpts.hsAdded TODO for DataOpts.hs DeepSeq.hsTrickiness with implicits in dependent classes Delaborate.hsUpdate display of instances in :doc for a type class Docs.hsImprove display of documenation for named instances Docstrings.hsRemove -Werror from all files ElabDecls.hsAdd 'determining parameters' for classes ElabQuasiquote.hsPlumb source locations through Tactical's elab ElabTerm.hsNon-determining parameters not assumed injective 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.hsUse a Set for universe constraints 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.hsDon't rewrite name variables when avoiding capture in syntax PartialEval.hsAdd scoped implicit argument to Pi Primitives.hsIO primitives tweak to support JS ProofSearch.hsChange to a recoverable error in proof search Prover.hsGuard !! in forgetEnv Providers.hsLibrary rearrangement done. REPL.hsUse a Set for universe constraints REPLParser.hsAdd :core to the REPL Reflection.hsAllow new-style tactics to declare function signatures Transforms.hsFix for name clashes when applying transformations TypeSearch.hsTrickiness with implicits in dependent classes Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsMark 'case' on unique types as updatable