git.iko.soy/Idris-dev
on 8e4bfd9 help sign in
Idris-dev/src/Idris
3 folders, 47 files
../ Core/Make FunDefn and FunClause polymorphic over TT and Raw Elab/Handle impossible cases on defineFunction REPL/Only show accessible names in :browse ASTUtils.hsAdd export lists AbsSyntax.hsAdd implicit lambdas for top level implicits AbsSyntaxTree.hsStore patvar binding types in idris_patdefs Apropos.hsFixes some string comparison that made sigma show incorrectly. Showing types of first component of sigma type. CaseSplit.hsFix regression with making class bodies Chaser.hsDetect cycles in imports CmdOptions.hsMake it possible to disable tactic deprecation Colours.hsExperimental support for console colours on Windows Completion.hsKeep :set options in sync. Coverage.hsStore patvar binding types in idris_patdefs DSL.hsChange internal names of pattern bindings DataOpts.hsSimplify reflection and Raw DeepSeq.hsAdd %deprecate directive Delaborate.hsStore patvar binding types in idris_patdefs Directives.hsAdd %deprecate directive 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.hsStore patvar binding types in idris_patdefs 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.hsBetter case split when all patterns are impossible Output.hsExperimental support for console colours on Windows ParseData.hsAdd deprecation warning for %elim ParseExpr.hsAdd implicit lambdas for top level implicits ParseHelpers.hsUpdate tests for proof deprecation ParseOps.hsAdd extra HL information to PRef Parser.hsAdd %deprecate directive PartialEval.hsAdd extra HL information to PRef Primitives.hsSubstring as primitive ProofSearch.hsBetter disambiguation with type class methods Prover.hsIn interactive elaborator, show all premises Providers.hsAdd extra HL information to PRef REPL.hsMerge branch 'elab-lookup-function-def' of https://github.com/shlevy/Idris-dev into shlevy-elab-lookup-function-def REPLParser.hsMerge pull request #2677 from zgrannan/repl-check-operator Reflection.hsMerge branch 'elab-lookup-function-def' of https://github.com/shlevy/Idris-dev into shlevy-elab-lookup-function-def 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