git.iko.soy/Idris-dev
on 1cdc9dd help sign in
Idris-dev/src/Idris
3 folders, 47 files
../ Core/Reduce space leak through ugly DeepSeq hack Elab/Add raw name quotes REPL/Only show accessible names in :browse ASTUtils.hsAdd export lists AbsSyntax.hsImplicit fix AbsSyntaxTree.hsAdd raw name quotes Apropos.hsFixes some string comparison that made sigma show incorrectly. Showing types of first component of sigma type. CaseSplit.hsAdd :makecase (:mc) to REPL and ide-mode Chaser.hs(Temporary) remove hasValidIBCVersion check CmdOptions.hsPass parameters to codegens with new cmdoption --cg-opt Colours.hsExperimental support for console colours on Windows Completion.hsProof search should only use user visible names Coverage.hsCoverage checker fix DSL.hsSemantic highlighting of implicit fromInteger DataOpts.hsAdd export lists DeepSeq.hsReduce space leak through ugly DeepSeq hack Delaborate.hsProof search improvements Directives.hsHighlight names in directives Docs.hsFix parameters documentation in the record's customized display Docstrings.hsAnnotate links with their URL ElabDecls.hsInsert namespace information to declaration-level %runElab ElabQuasiquote.hsSemantic highlighting of implicit fromInteger Erasure.hsFix erasure from mkForeignPrim. ErrReverse.hsAdd export lists Error.hsAdd raw name quotes Help.hsDisplay 'Hole' instead of 'Metavariable' IBC.hsReduce space leak through ugly DeepSeq hack IdeMode.hsAdd :makecase (:mc) to REPL and ide-mode IdrisDoc.hsImprove HTML generation for records documentation Imports.hsAdd export lists Inliner.hsAdd export lists Interactive.hsSome display tweaks for explicit arguments Output.hsExperimental support for console colours on Windows ParseData.hsMultiple record fields on one line (#2460) ParseExpr.hsAdd raw name quotes ParseHelpers.hsBetter failure on indentation stack underflow ParseOps.hsAdd extra HL information to PRef Parser.hsInsert namespace information to declaration-level %runElab PartialEval.hsAdd extra HL information to PRef Primitives.hsFix totality of chr ProofSearch.hsProof search improvements Prover.hsSave context changes in interactive elab Providers.hsAdd extra HL information to PRef REPL.hsReduce space leak through ugly DeepSeq hack REPLParser.hsAdd :makecase (:mc) to REPL and ide-mode Reflection.hsImprove error message when reifying non-constant Transforms.hsAdd info field to App TypeSearch.hsAllow Elab scripts to register type class instances Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsAdd info field to App