git.iko.soy/Idris-dev
on master help sign in
history ofdf4cd71..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 dff4fcdMerge pull request #3011 from Melvar/simplify-screensizeNiklas Larsson 2987cbbUpdate stack.yaml: curses flag was removedEcho Nolan e9cb749Refactor operator/reserved word parsingEcho Nolan 4814fe9Simplify getScreenWidthMelvar Chen 94255f4Merge pull request #3010 from melted/win_stackNiklas Larsson 51c9c11Merge pull request #3009 from melted/cursesDavid Christiansen f3cb75fIncrease the stack reserved on WindowsNiklas Larsson b64f0fdRemove curses dependencyNiklas Larsson d2a9e91Merge pull request #3006 from melted/c-heapNiklas Larsson 9467e61Merge pull request #2903 from ziman/c-heapNiklas Larsson ccf44edChange expected for primitives006Niklas Larsson 820bd29Merge pull request #1 from melted/c-heapMatúš Tejiščák fdac0f1Update typesfuns.rstjhegedus42 08f3a5bFix order of init in MKCDATA/cNiklas Larsson 88d8075Merge pull request #3003 from jfdm/bump-doc-versionJan de Muijnck-Hughes c1ee3fdBumped doc version into alignment with src.Jan de Muijnck-Hughes 5d50beaMerge pull request #3002 from spearman/patch-1Jan de Muijnck-Hughes 3707ed1fix docs section header for anonymous functionsShane Pearman 9d7bd3dTweak State definitionEdwin Brady da51d6bMerge pull request #2999 from ahmadsalim/bug/docerrrorDavid Christiansen 715c458s/errror/error/Ahmad Salim Al-Sibahi