git.iko.soy/Idris-dev
on 348ddce help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/More information runtime error for missing case Elab/Fix JS code generation ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsMake pattern matching consistent in lambda/let AbsSyntaxTree.hsMake pattern matching consistent in lambda/let Apropos.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up CaseSplit.hsDisallow explicit types on LHS Chaser.hsFix interactive annoyance in vim CmdOptions.hsOptimisation options Colours.hsIndicate the end of each escape sequence in the prompt string, since there's no way for Haskeline to detect it automatically. Completion.hsLifted TODO/FIXME issues to the issue tracker. Coverage.hsCoverage checker should ignore hidden arguments DSL.hsMake pattern matching consistent in lambda/let DataOpts.hsAdded TODO for DataOpts.hs DeepSeq.hsMake pattern matching consistent in lambda/let Delaborate.hsBetter typecase check Docs.hsSupport type errors in docstrings Docstrings.hsSupport type errors in docstrings ElabDecls.hsA new primitive tactic for getting source locations ElabQuasiquote.hsMake pattern matching consistent in lambda/let ElabTerm.hsBetter typecase check Erasure.hsRemove dep sets from bound variables. ErrReverse.hsFix for matchProblems Error.hsMake pattern matching consistent in lambda/let Help.hsadded ":refine", ":ref", "refine!" and "ref!" to the autocompletions in the REPL IBC.hsBetter message on IBC load failure IdeSlave.hsSupport type errors in docstrings IdrisDoc.hsMake pattern matching consistent in lambda/let Imports.hsSupport builds that doesn't use cabal for libs and rts Inliner.hs Interactive.hsMake pattern matching consistent in lambda/let Output.hsUse ExceptT instead of ErrorT ParseData.hsSupport type errors in docstrings ParseExpr.hsMake pattern matching consistent in lambda/let ParseHelpers.hsAdded TODOs for ParseHelpers.hs ParseOps.hsMerge branch 'master' of github.com:markuspf/Idris-dev into markuspf-master Parser.hsMake pattern matching consistent in lambda/let PartialEval.hsRestrict PE for class dictionaries Primitives.hsLifted the TODOs from Primitives.hs ProofSearch.hsImprovement for 'auto' Prover.hsMore information runtime error for missing case Providers.hsAnnotate several top-level functions REPL.hsUse ExceptT instead of ErrorT REPLParser.hsPattern variables should be lifted to top level Transforms.hsFix for name clashes when applying transformations TypeSearch.hsUse ExceptT instead of ErrorT Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsMark 'case' on unique types as updatable