git.iko.soy/Idris-dev
on master help sign in
history of35ec145..master
compare
dd1ca20javascript: fix for test007raichoo b458c70javascript: fix & in namesraichoo c79e46cjavascript: match on typesraichoo 2729962javascript: fixed times-operator in namesraichoo 22ce6bfjavascript: added StrCons primitiveraichoo 0cea6e6javascript: fixed streq bugraichoo 5c51429javascript: strHead & strTail primitivesraichoo 602a3d9Fixed the C codegen's bitfield comparison primitivesBenjamin Saunders 0ffb7b6Fix violations of parametricityBenjamin Saunders 187f42fUndo unification changes... because it's broken...Edwin Brady b1684a7Added reg009 for catching unification problemEdwin Brady f57a454Added cast instances both directions between Maybe and Monoids.Leif Warner cbc8a13ConcisenessBenjamin Saunders 4ea88e1Remainder primitives for C codegenBenjamin Saunders d20d0b9Debuggable CodegenC primitive match failuresBenjamin Saunders 58a36efFix a missing prototypeBenjamin Saunders 46bf6a4Include bitstring prototypes in C codegenBenjamin Saunders eff298eAdd missing VM argumentsBenjamin Saunders 70cc9cdCleanupBenjamin Saunders 7f7af8dFix a few missing linesBenjamin Saunders 9804938Base 10 show for Mod2 and various cleanupBenjamin Saunders 2acbdf6Small conversion changeEdwin Brady b2b4d1eMore general safe bitsToStrBenjamin Saunders 6be4eb2Fix compile errorEdwin Brady 0458d81Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 875eeccMerge pull request #151 from LeifW/monoid_instance_for_maybeEdwin Brady 17e40d2Update CHANGELOGEdwin Brady 83e4758Added CONTRIBUTORS file. Feel free to edit :).Edwin Brady 92dca99Add a Monoid/Semigroup instance for Maybe.Leif Warner 1b2fd0ajavascript: fixed commas in nameraichoo fc72370javascript: fixed parens in namesraichoo 78521b6javascript: added string equalityraichoo cc883a4javascript: fixed parameter translationraichoo 1b87e09javascript: added print functionraichoo c03e1b2javascript: fix comparesraichoo 10f1d1ejavascript: tailcalls without exceptionsraichoo 468f0d5javascript: abstracted tailcallsraichoo 58b10e1javascript: use runMain0 instead of mainraichoo e1898cbjavascript: tailcallsraichoo d1813c9REPL shouldn't try to be too clever... Fixes first part of issue #150Edwin Brady 265d9a4Improve elaboration efficiency by cutting down on excessive backtrackingEdwin Brady 7a66adcMake unification faster by computing HNF rather than normalisingEdwin Brady 01771e6Fix left shift on non-power-of-two length bitstrings and add bitSet testBenjamin Saunders 20d9515DRYerBenjamin Saunders 1115dd5Eq and Ord for Mod2Benjamin Saunders c4c3b91Fall back on base 2 printing for Mod2 for nowBenjamin Saunders 42405c8DRYBenjamin Saunders 5634a77Eq and Ord instances for BitsBenjamin Saunders 45bbe39Mark bit divisions/remainders as partialBenjamin Saunders 9e543e6Remainder primitives for bitsBenjamin Saunders