git.iko.soy/Idris-dev
on master help sign in
history ofdff4fcd..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 87785d8Add show instance for CType and CPtrNiklas Larsson 98b1298Add put casesNiklas Larsson 30d2a54Make things compile, punt on bounds checkingNiklas Larsson b990e17Fix parameterNiklas Larsson d2c0907Implement primitives for accessing floatsNiklas Larsson 6bf2318Start high level C FFI supportNiklas Larsson 504187bMerge pull request #3022 from melted/issue3021Niklas Larsson 9610578Null terminate the returned string on eof without delimiter.Niklas Larsson b7093b1Merge pull request #3020 from melted/issue3019Niklas Larsson 4a0be9cUsing show to create the lambda name loses informationNiklas 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 36a3edaMerge pull request #2997 from enolan/with-commentNiklas Larsson fc66d24Merge pull request #3014 from enolan/update-stack-yamlNiklas Larsson 2987cbbUpdate stack.yaml: curses flag was removedEcho Nolan e9cb749Refactor operator/reserved word parsingEcho Nolan fdac0f1Update typesfuns.rstjhegedus42 ceff983Add @ to reserved operatorsEcho Nolan 3ba38f8Correct comment about "with" disambiguation.Echo 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