git.iko.soy/Idris-dev
on 0690def help sign in
0690defMerge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen 1dfc8fdFix typo that led to unification bugEdwin Brady 0877929Remove incorrect case from unused argument traceEdwin Brady d337b5dPerformance/compiler temporary hack: %eraseEdwin Brady 32b66c5Type constructor arguments are unused at run-timeEdwin Brady bee7fc8Merge pull request #785 from raichoo/javascriptEdwin Brady 2c2a206Merge pull request #784 from ziman/c-stringsEdwin Brady 10b971cjavascript: temporary workaround to fix some issues with charsraichoo 5d5b1b3Delimit escape codes properly.Matus Tejiscak 2bf16c9Add a regression test.Matus Tejiscak 8f38baaExclude \DEL from C-string literal characters.Matus Tejiscak 543f41dCodegenC: support arbitrary bytes in string literals.Matus Tejiscak 2b55660javascript: inline apply callsraichoo 10c257bFix error reporting with mutual instancesEdwin Brady ef10474Allow mutually defined instancesEdwin Brady 9aa723eImplicit "module Main" addedEdwin Brady caed480Remove apply from reg001 since it's in the prelude!Edwin Brady 865bf99Make $ built in operation, rename ($) to applyEdwin Brady ec4ccc9Remove comments in Decidable.DecidableEdwin Brady e4d99eeMerge pull request #783 from tpsinnem/masterEdwin Brady b870fb4Check lambda bound name is validEdwin Brady 567b1beMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady d7b2913A simpler approach to handling name shadowingEdwin Brady d711327Fix bug in 'forget' for well-typed termsEdwin Brady 970c833Merge pull request #782 from jfdm/feature/pkg-check-onlyEdwin Brady 1c51b01EXPERIMENTAL: Disambiguate names in a blockEdwin Brady d82f5feMerge branch 'text-names'Edwin Brady 3dfa841Fix logic in ExecutorEdwin Brady d0d3088javascript: inline constants in EVALraichoo efc5e25Merge branch 'master' of github.com:edwinb/Idris-devTimo Petteri Sinnemäki d774fbdExplicit instance to liftRel apparently makes Decidable work.Timo Petteri Sinnemäki 80a67c5Fix implicit arguments in syntax rulesEdwin Brady 46ac3d0javascript: added cases to optimizerraichoo 956f888Uncommented the stuff in Decidable to see what happens.Timo Petteri Sinnemäki 31f2014javascript: remove redundant var declsraichoo cd20320javascript: smarter compilation of conditionalsraichoo ecb2818whitespacesraichoo 70ee9efMake more fields strictEdwin Brady 0c8c90dStrictness annotationsEdwin Brady 46e894dUse Data.Text for variable namesEdwin Brady 66ec833Minor memory usage improvementsEdwin Brady a611debFix memory leakEdwin Brady fdbee50Command line option improvements.Jan de Muijnck-Hughes fac49fcSome IBC compressionEdwin Brady dfc3e44Shave a bit more off IBC sizeEdwin Brady ba15257Another small reduction in calls to TT.(==)Edwin Brady a7859f6Resolve name hints before adding to .ibcEdwin Brady 770a3a7Display errors properly on IBC load failureEdwin Brady 5d8f805Shrink IBCs dramaticallyEdwin Brady 8b7f8adPerformance improvement: name supplyEdwin Brady