git.iko.soy/Idris-dev
on master help sign in
history of878653b..master
compare
13f3c29Basic functioning with new pretty-printerDavid Raymond Christiansen e1e7b8cCorrect usage informationMarkus Pfeiffer 442733dAdd IPKG for SimpleParserSimon Fowler 803194fArgument options (instead of just a Bool for lazy)Edwin Brady f5974d9Test update for hiding internal errorsDavid Raymond Christiansen 3705a6bMake test038 actually test somethingDavid Raymond Christiansen 7c39186Better debug reports for error reflectionDavid Raymond Christiansen d006e27Improve representation of BigInt reflectionsDavid Raymond Christiansen 0245eefFix reification of NErasedDavid Raymond Christiansen b8d7935Hide original errors upon reflective rewriteDavid Raymond Christiansen f4449c7Add decEq unit testSimon Fowler dd1665bAdd DecEq instance for stringSimon Fowler b4943a2Update error reflection for CantSolveGoalDavid Raymond Christiansen bab6c7bAdd error handlers to IBC filesDavid Raymond Christiansen 887b6e2Merge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen 0ab30e7Restrict error reflection scope to one argumentDavid Raymond Christiansen e9c9297Make lookupCtxtExact return Maybe instead of ListDavid Raymond Christiansen 1f67398Specific-function error reflection: basic infrastructureDavid Raymond Christiansen 6b811a4Fix Haddock parse errorDavid Raymond Christiansen 724c1d9Add some type signatures and documentation in elabDavid Raymond Christiansen 0690defMerge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen 0cc9d4cDon't use a record for SourceLocationDavid Raymond Christiansen ffb08c2Add pkg-config gc flags to llvm MakefileJason Gross