git.iko.soy/Idris-dev
on master help sign in
history of87785d8..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 d06ca16SimplifyNiklas Larsson 33166eeSplit Ctype into composite and primitiveNiklas Larsson 2d3bbccwipNiklas Larsson d82f489Rename to peek and pokeNiklas 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