git.iko.soy/Idris-dev
on master help sign in
history of307efbb..master
compare
fee6a00Merge pull request #806 from ziman/import-asEdwin Brady 621f8c1javascript: remove redundant instanceof checksraichoo 6a1e21ejavascript: optimize apply tailcallsraichoo dac0a39javascript: optimize eval tailcallsraichoo 9349d9cjavascript: elim some duplicate evalsraichoo d37c3d4javascript: improved jsSubstraichoo 33d07acMerge branch 'java-name-mangling' into error-reflectionDavid Raymond Christiansen b5e9afeFix error in Java name manglingDavid Raymond Christiansen 33f8c83javascript: elim dead cases in a loopraichoo e46603aMerge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen a2226adMerge remote-tracking branch 'origin/error-reflection' into error-reflectionDavid Raymond Christiansen 8c620dcMerge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen bd3d70dRename test038 to test040.Matus Tejiscak e914ae0Add check for module alias clashes.Matus Tejiscak b634841Remove an accidentally added file.Matus Tejiscak b95c609Add the correct expected output for test038.Matus Tejiscak 40e5b77Add test for import-as.Matus Tejiscak 41a6c5eFix namespace ordering.Matus Tejiscak f24a675Add the possibility to "import Module as Alias".Matus Tejiscak 878653bUpdated Haddock Documentation.Jan de Muijnck-Hughes 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 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