git.iko.soy/Idris-dev
on master help sign in
history ofb538db9..master
compare
ceff983Add @ to reserved operatorsEcho Nolan 3ba38f8Correct comment about "with" disambiguation.Echo Nolan c1decafFix implicit name bindings in interfacesEdwin Brady 911b97dUpdate version numberv0.10.2Edwin Brady cda5443Insert _ for implicit methodsEdwin Brady 6520891Unify pattern and implicit name binding rulesEdwin Brady 5f7fb9aDoc comments go before options!Edwin Brady 12ec600Merge pull request #2993 from Heather/mainNiklas Larsson e1659e3Main.hs: drop unused imports, minor readability improvementsHeather fdb04afUpdate patch versionv0.10.1Edwin Brady 76c46bbMore flexible holesEdwin Brady be0ff0fAdd 'definable' flag to metavariablesEdwin Brady 9f4cda1Remove primitives006 from the JS tests.Matus Tejiscak 92eeac2Add missing test files to idris.cabal.Matus Tejiscak 65125aeMerge pull request #2979 from melted/ffi_docsNiklas Larsson 7cb145cDo a writeup on new C FFI featuresNiklas Larsson cfc8436Don't normalise constructor typesEdwin Brady 53fb0b0Pointless change to make Travis re-run tests.Matus Tejiscak 05d24ffremove conflicting fixity declMaxim Ivanov f5457e0Add the "fmap" shortcut <$> to EffMMaxim Ivanov dc7fd3bMerge pull request #2942 from projedi/sigint-handlingNiklas Larsson 2aae0b3Do not quit the REPL on Ctrl-C.Alexander Shabalin 2db63e8Merge pull request #2975 from bitemyapp/patch-1David Christiansen 291ccdcJust/Nothing for intro was split into intro/intro'Chris Allen 60f2277Merge pull request #2974 from enolan/cursesNiklas Larsson 4ab3eefRemove redundant --consolewidth settings in testsEcho Nolan 67610bbDon't check terminal size if we're not connected to oneEcho Nolan 3542d0aRemove stray Debug.TraceEcho Nolan 3963984Merge pull request #2959 from ziman/monad-flattenEdwin Brady 9f202dcMake coverage checking more conservativeEdwin Brady be0ab25Display totality errors on type check failureEdwin Brady b81f30dBetter error for bad interface declarationEdwin Brady 6e5ee86Updated testEdwin Brady a009be6Allow setting function flags on instancesEdwin Brady 1d97fa7Propagate default totality to instancesEdwin Brady 6c682f3Comment editingEdwin Brady fdfd99eFix behaviour of %hideEdwin Brady 0c5b397Revert to old behaviour on expression searchEdwin Brady 69921eeFix warning for implicitable namesEdwin Brady e76033dDon't collect below 4K.Matus Tejiscak 3f3da25Touch buffers at offset 63M instead of 0.Matus Tejiscak 69c45e2Don't collect the item being inserted.Matus Tejiscak 6141304Simplify heap trigger size.Matus Tejiscak df164c1Collect C heap more frequently.Matus Tejiscak b6449deFix test runner.Matus Tejiscak 85fde4cUpdate export qualifiers.Matus Tejiscak 347fa38Merge branch 'master' into c-heapMatus Tejiscak 62d6916Bump test number.Matus Tejiscak bdeaed6Deprecate flatten.Matus Tejiscak ebed396Merge pull request #2968 from melted/fix_truncationNiklas Larsson