git.iko.soy/Idris-dev
on db2fb0b help sign in
db2fb0bGet laziness infoDavid Christiansen 116441bMerge remote-tracking branch 'upstream/master' into providersDavid Christiansen 17b9f43Merge pull request #274 from jhenahan/masterEdwin Brady 0881704Merge branch 'fixWin' of https://github.com/melted/Idris-dev into melted-fixWinEdwin Brady c4b7e56Merge pull request #271 from andy-morris/p_strLenEdwin Brady 35096cfMerge branch 'master' of github.com:edwinb/Idris-devEdwin Brady bb54695Merge pull request #270 from JanBessai/EffectfulMemoryOperationsEdwin Brady baff441whoops, accidentally rolled back some of the new syntaxJack Henahan 57a4d6aMerge pull request #1 from bytbox/patch-1: use 'setlocal' instead of 'set' in idris.vimJack Henahan cf9d50fRemove dynamically loaded RTS due to 32/64-bit issues on OS XDavid Christiansen 5a81f99Implement dynamic linking on WindowsNiklas Larsson c328454Fix missing case in Idris.Primitives.p_strLenAndy Morris ecd9eadMerge remote-tracking branch 'upstream/master' into providersDavid Christiansen 8624d06Fix collapsibility bugEdwin Brady e294e0eProper initialization semantics for raw memoryJan Bessai 1f5ff74Allow reading files in executorDavid Christiansen 62be419Add support for pointers to dynamic FFIDavid Christiansen 0752bedUpdate type providers so that the decision of failure or otherwise is made in IODavid Christiansen b6effdbMade do_poke privateJan Bessai 22d09c9Test fixedJan Bessai 441d941An effect to allocate and manipulate memoryJan Bessai ff0fbfaForce gcc to use the same architecture as ghc on Mac OS XDavid Christiansen b0a82cfFix "make relib" to use dynamic rtsDavid Christiansen f1ea2e4Build fat RTS lib on OS XDavid Christiansen c9bc3b9Added new tests to the test READMEDavid Christiansen 27e3c69Use just-built dynamic RTS during library typecheckDavid Christiansen 1f2e714OS detection in config.mk without using unameDavid Christiansen d1cb783Merge pull request #267 from LeifW/get_rid_of_unicode_in_sourceEdwin Brady 51fbc35Fix expected output for test024David Christiansen 59456cdImprove FFI accuracy in executorDavid Christiansen 7601bc8Remove debugging helpDavid Christiansen 8b5a1ffAdd test for sequencing of I/O in executorDavid Christiansen 1abf366Remove the unicode from the source files.Leif Warner 1757e2fRemove debug tracingDavid Christiansen 4807b0eDocumentation improvementDavid Christiansen 490c22aBasically working executor/interpreterDavid Christiansen 34506e9Hack to parse big integer constants without overflow But we still need fromInteger to do the right thingEdwin Brady 73477a7Merge pull request #265 from JanBessai/IntegerParsingEdwin Brady 477820aParsing for Big Integer constants fixedJan Bessai 9991f69Statically link to RTS in generated C codeDavid Christiansen 25aef32Merge pull request #264 from david-christiansen/providers-errorsEdwin Brady ea6bb9aMerge branch 'ImprovedReflection' of https://github.com/JanBessai/Idris-dev into JanBessai-ImprovedReflectionEdwin Brady f8fcd92Build RTS as shared libraryDavid Christiansen 9af2d93Add type provider errors + test caseDavid Christiansen f1e61daIf the goal is not a function type when elaborating \, invent one ...and attempt to solve it by unificationEdwin Brady b27ad3eEff note for the future...Edwin Brady fd9e0fbFix some INTERNAL ERRORs which aren't (non-function type, nothing to introduce) (And the crowd goes wild)Edwin Brady e3a4097Fix eta problemEdwin Brady 9822081IBC Version number bumpJan Bessai d479f4aImproved performance by not going through PQuote and doing less normalisationJan Bessai