git.iko.soy/Idris-dev
on 8d78d32 help sign in
Idris-dev/src/Idris
4 folders, 41 files
../ Core/Use bit-pattern identity for Double Elab/Changed type classes in error messages and documentation to interfaces where necessary (previously forgotten) Parser/New implementation of rewrite REPL/Fix behaviour of %hide ASTUtils.hsRemove some unnecessary fields AbsSyntax.hsNew implementation of rewrite AbsSyntaxTree.hsNew implementation of rewrite Apropos.hsFixes some string comparison that made sigma show incorrectly. Showing types of first component of sigma type. CaseSplit.hsFix case split/unification bug Chaser.hsDetect cycles in imports CmdOptions.hsChanged type classes in error messages and documentation to interfaces where necessary (previously forgotten) Colours.hsreplace if else with list comprehension syntax Completion.hsAdd 'definable' flag to metavariables Coverage.hsBetter support for mutually defined types DSL.hsNew implementation of rewrite DataOpts.hsSimplify reflection and Raw DeepSeq.hsNew implementation of rewrite Delaborate.hsUse exact name lookup for hiding Directives.hsFix %freeze when names are ambiguous Docs.hsAllow setting function flags on instances Docstrings.hsAnnotate links with their URL ElabDecls.hsBetter support for mutually defined types Erasure.hsMerge pull request #2856 from jfdm/log-by-category ErrReverse.hsAdd export lists Error.hsNew implementation of rewrite Help.hsDisplay 'Hole' instead of 'Metavariable' IBC.hsNew implementation of rewrite IdeMode.hsAdd :makecase (:mc) to REPL and ide-mode IdrisDoc.hsNew implementation of rewrite Imports.hsAdd export lists Inliner.hsAdd export lists Interactive.hsNew line after with in interactive mode Output.hsExperimental support for console colours on Windows Parser.hsUse exact name lookup for hiding PartialEval.hsAdd extra HL information to PRef Primitives.hsSubstring as primitive ProofSearch.hsChanged type classes in error messages and documentation to interfaces where necessary (previously forgotten) Prover.hsAdd the ability to define datatypes in Elab Providers.hsAdd extra HL information to PRef REPL.hsFixes #499 allowing packages to be installed to custom location. Reflection.hsAdd the ability to define datatypes in Elab Transforms.hsAdd info field to App TypeSearch.hsAllow Elab scripts to register type class instances Unlit.hs WhoCalls.hsAdd info field to App