git.iko.soy/Idris-dev
on 0752bed help sign in
0752bedUpdate type providers so that the decision of failure or otherwise is made in IODavid Christiansen 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 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 1757e2fRemove debug tracingDavid Christiansen 4807b0eDocumentation improvementDavid Christiansen 490c22aBasically working executor/interpreterDavid Christiansen 9991f69Statically link to RTS in generated C codeDavid Christiansen 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 f174fd3Merge pull request #260 from hannesm/support-change-of-working-directoryEdwin Brady 75e0141add command to change current directoryHannes Mehnert 7308d26Remove type class argument restriction in parserEdwin Brady 9cb4a83Minor effects changes (locally, search depth)Edwin Brady 83b7ae5Tweak linearity checker to deal with overloaded names properlyEdwin Brady 22001e5Merge pull request #258 from hannesm/reduce-code-duplicationEdwin Brady a029bd8reduce duplication by providing a show instance for CmdArgHannes Mehnert 9116870Merge pull request #257 from david-christiansen/providersEdwin Brady 90f661bMake dynamic library extension platform-dependentDavid Christiansen 7e3df2fMerge pull request #256 from david-christiansen/providersEdwin Brady 8435ba9Test for dynamic loading of C libs + interpreter IODavid Christiansen d8cff54Dynamic libraries and REPL IO in CHANGELOGDavid Christiansen 29cbd12Minor cleanup and better comment and HaddockDavid Christiansen a4b7374Added :x, :dynamic, and %dynamic to the tutorialDavid Christiansen 0743b22Merge remote-tracking branch 'upstream/master' into providersDavid Christiansen ab498e9Add syntax for language extensions and turn off type providers by defaultDavid Christiansen 424e37cMerge pull request #255 from ertes/masterEdwin Brady b1890e7Improved Makefile dependencies.Ertugrul Söylemez 161ef3dMerge remote-tracking branch 'upstream/master' into providersDavid Christiansen 918ce77Added getLine support to :xDavid Christiansen 9875894Merged upstream changesDavid Christiansen c3dcf56Merge pull request #254 from fmap/fixEdwin Brady d81e2edAdd clauses to declared and defined.Sam T 493e5a3Merge pull request #252 from raichoo/vimEdwin Brady ffc8dc6Merge pull request #251 from raichoo/masterEdwin Brady 7ff46f3vim: fix nested blockcommentsraichoo 228ffdbquiet mode: for editorsraichoo 9f1141eMerge branch 'master' of github.com:edwinb/Idris-devEdwin Brady d48b5efMerge pull request #248 from melted/sublimeEdwin Brady