git.iko.soy/Idris-dev
on 86e32fb help sign in
history ofsrc/Core/Execute.hs
all commits
d3299a5Stop CPP from emitting useless warningsDavid Christiansen 3c32b65Whitespace cleanup.George Leontiev ee06cf1Make libffi support a cabal flagEdwin Brady f98c7bfMerge pull request #564 from LeifW/golfEdwin Brady f34f0afBetter display of metavariable types in :tEdwin Brady 732d794Golf down some Maybe / Monad stuff.Leif Warner ac33945Wrap Idris in an ErrorTDavid Christiansen 81425d2Add skeleton of inlinerEdwin Brady a063bfaSome refactoring in CaseOp Separate case trees for totality checking, compile time and run time and lift into their own data structure, so that it's clear which one to use when.Edwin Brady 8eb2087Separate IO and PrimIO PrimIO is the internal primitive, IO is the user version which requires an explicit World token to be passed in which programmers have no access to directly. Fixes #185 and fixes #325Edwin Brady d43a279Change TCGen flag to Dictionary, update evaluator accordinglyEdwin Brady a0130b9Removed FChar in favour of FArith (ATInt ITChar)Jan Bessai 773e454Make ChType a member of IntTy ITChar.Jan Bessai 0aa3fd6Beginnings of integer SIMD support (no backend yet)Benjamin Saunders 656f219Special-case prim__believe_meDavid Christiansen fc79985Unify primitive implementations between evaluator and executorDavid Christiansen 1579621Allow Execute to import primitives without cycleDavid Christiansen 53ced7bExtract getOp to top level defnDavid Christiansen 184e27aAdded the rest of the primitives to the executorDavid Christiansen 67e7b00All primitives through SDavid Christiansen 73eb351Primitives a-l doneDavid Christiansen 77ba946Primitives a-g definedDavid Christiansen 01283ecFloat primitivesDavid Christiansen a2ba532All primitives through equalityDavid Christiansen 5fc4278Add all and primitives to the executorDavid Christiansen 0daed45All add primitives present in executorDavid Christiansen f148775Make prim__readString more consistent with C codeDavid Christiansen 2544d93Strictly evaluate type constructor argsDavid Christiansen ed0ba83Strictly evaluate data constructor argsDavid Christiansen e534f8aFix detection of FInt types in executorDavid Christiansen 1cf8b7bRevert "Revert "Merge pull request #294 from bitlisp/unified-int-primitives""David Christiansen 05895a5Revert "Merge pull request #294 from bitlisp/unified-int-primitives"Edwin Brady ef1bbd9Merge pull request #300 from david-christiansen/providersEdwin Brady 0029900Look in the environment before the definitions in executorDavid Christiansen 350cc02Fixed semantics of isNull emulation to properly wrap in IODavid Christiansen d1de0f4More primitivesDavid Christiansen 93fa7ceAdded isNull emulation plus another primitiveDavid Christiansen fadeecdFix Core.Execute to use IRTS.Lang.FTypeBenjamin Saunders 3d38d42Fix applications of applications in executorDavid Christiansen 18fbb2fCode simplification for bindingsDavid Christiansen 4c1db81Laziness fix in case analysisDavid Christiansen cf75f6eFix laziness of 'lazy'David Christiansen 9792d64Code cleanup + primitivesDavid Christiansen d2cec77More and better primitivesDavid Christiansen f387ef0Code cleanupsDavid Christiansen ef18fedFix reading filesDavid Christiansen 173e357Better laziness behavior, still a bit off with IODavid Christiansen 790a7ecReplace term as intermediate representation with HOAS ExecVal.David Christiansen c568438Laziness and primitives improvementsDavid Christiansen 63263f7More primitivesDavid Christiansen