git.iko.soy/Idris-dev
on master help sign in
history ofd06ca16..master
compare
3c839aeMerge pull request #3024 from ahmadsalim/fix/matchapplyDavid Christiansen 923ef5fFixed matchApply to use Prim__MatchApply Instead of Prim__Apply as it dit beforeAhmad Salim Al-Sibahi f173060Merge pull request #2998 from enolan/parser-reservedNiklas Larsson cbe4186Merge pull request #3018 from mcgirr/masterNiklas Larsson aa062fcMerge pull request #3017 from jfdm/update-stack-resolverNiklas Larsson 2052c18Merge pull request #2972 from melted/cffiNiklas Larsson 30e5a19Update testNiklas Larsson e4a16c7Add a little documentationNiklas Larsson 3f8b424Punt bounds checking to run timeNiklas Larsson a8702cdDon't test for JS targetNiklas Larsson b524d68Update cabalNiklas Larsson 372d2eaUpdated the stack configuration to LTS Haskell 5.5Jan de Muijnck-Hughes 9c5b561Add where keyword to UList and BadList in the Uniqueness Types documentation.michaelmcgirr e9cb749Refactor operator/reserved word parsingEcho Nolan fdac0f1Update typesfuns.rstjhegedus42 ceff983Add @ to reserved operatorsEcho Nolan 05d24ffremove conflicting fixity declMaxim Ivanov f5457e0Add the "fmap" shortcut <$> to EffMMaxim Ivanov 21e0347Added DockerfileAaron Craelius 01dd9a8Don't rewrite binders in quoted terms under syntaxDavid Raymond Christiansen 9d1dcaeUpdate interp.rstJoseph Huang 21f0db3Add [static] + fix erasure warnings in Data.Bits.Matus Tejiscak 769cadeMerge branch 'ioexcept-ffi'Aaron Craelius 6f495d1Merge branch 'master' of github.com:idris-lang/Idris-devAaron Craelius 4177381Fixed constructor casing after mergeAhmad Salim Al-Sibahi e96836aFixed parsing error due to parsing an expression without a left componentAhmad Salim Al-Sibahi d77753dMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/deppairparsingAhmad Salim Al-Sibahi e10d854Allowed mixed parsing of dependent pairsAhmad Salim Al-Sibahi 101a2e9Refactored a big part of parsingAhmad Salim Al-Sibahi 79d43a7Merge branch 'master' of github.com:idris-lang/Idris-devAaron Craelius d36eeeaAdded totality checks to Effects reordering functions and a %assert_total directive for dropEnv where I cannot figure out how to deal with the failing case (which I'm pretty sure is impossible).Aaron Craelius b9f4de7First attempt at getting order-independent Effects working.Aaron Craelius f9a905eFix assumption in test that sizeof(size_t) == 8Jacob Mitchell 7bcab73Remove discussion of deprecated FFIJacob Mitchell 731c6e4Update Type Provider docs to use current FFIJacob Mitchell b24a685Merge branch 'master' into fix/master/cleanup-deprecated-ffiJacob Mitchell d740cc5Tell Cabal about new test filesJacob Mitchell ebbae35New test: Type Provider backed by new FFI_CJacob Mitchell e4a04b4Clarify behavior of type provider testJacob Mitchell dcacfeaMerge branch 'feature/deppairparsing' of github.com:ahmadsalim/Idris-dev into feature/deppairparsingAhmad Salim Al-Sibahi bf0fe16Merge pull request #1 from david-christiansen/ahmadsalim-feature/deppairparsingAhmad Salim Al-Sibahi 39ecf99Fixed parsing of dependent pair expressions when Type appears as a typeAhmad Salim Al-Sibahi 7bf0ea3Pretty-printer for new nested dependent pair syntaxDavid Raymond Christiansen f3ce68eMerge branch 'feature/deppairparsing' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/deppairparsingDavid Raymond Christiansen 894f664Allowed multiple bindings in dependent pairsAhmad Salim Al-Sibahi