git.iko.soy/Idris-dev
on 92923b7 help sign in
Idris-dev/src/Idris
32 files
../ AbsSyntax.hsUse the ErrorT failure functions and attempt to preserve error structure AbsSyntaxTree.hsWrap Idris in an ErrorT Chaser.hsRefactoring of parser to Trifecta, documenting and updating some items/fixing some issues. Colours.hsAdd ability to set ANSI italics Completion.hsAdd ability to set ANSI italics Coverage.hsRemove forcing optimisation from coverage checker DSL.hsSome Eff experimentation, adding a 'test' command DataOpts.hsCompile Nat as Int, (and plus/mult/fromInteger) Delaborate.hsRemember whether implicits are machine generated Docs.hsRemember whether implicits are machine generated ElabDecls.hsUse the ErrorT failure functions and attempt to preserve error structure ElabTerm.hsRemember whether implicits are machine generated Error.hsUpdate compiler to use new error handling Help.hsTab completion for setting colours at the REPL IBC.hsUse the ErrorT failure functions and attempt to preserve error structure IdeSlave.hscleanups Imports.hsSome packaging fixes Inliner.hs%flag directive ParseData.hsFurther splitting of Parser ParseExpr.hsMerge branch 'feature/simplifiedparsing' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/simplifiedparsing ParseHelpers.hsFix a typo in an error message. ParseOps.hsFurther splitting of Parser Parser.hsWrap Idris in an ErrorT PartialEval.hsAdd %specialise annotation for functions (Part 1 of partial evaluation) %specialise [n1 t1, n2 t2 ...] as an annotation before a function type means that the r.h.s. of all the clauses will be evaluated, but with the name n1 reduced at most t1 times, etc. T… Primitives.hsAdd '%reflection' option for functions A reflection function can evaluate at compile-time only, and pattern matches on *syntax* rather than on constructor forms. Also add 'prim__syntactic_eq' for a compile-time syntactic equality check. Prover.hsUse the ErrorT failure functions and attempt to preserve error structure Providers.hsUse the ErrorT failure functions and attempt to preserve error structure REPL.hsUse the ErrorT failure functions and attempt to preserve error structure REPLParser.hsSplit Parser.hs into several files Transforms.hsrename O into Z Unlit.hsUse the ErrorT failure functions and attempt to preserve error structure UnusedArgs.hsRemove the unused arg from lookup functions