git.iko.soy/Idris-dev
on bf4e535 help sign in
history ofsrc/Idris/Core/Evaluate.hs
all commits
f65d7adEta in conversion, consistent with unificationEdwin Brady 78a55abDon't block under Delay in repl evaluationEdwin Brady 95eee3cRemove no longer used primitives from TTEdwin Brady d57d60aUse a Set for universe constraintsEdwin Brady 9546bd4Ignore accessibility when recheckingEdwin Brady bbf672aFix evaluator problemEdwin Brady 8697358Fix scope error when shadowingEdwin Brady ef954e1Fix the new totality testDavid Raymond Christiansen 9071856Make isTConName and friends exactDavid Raymond Christiansen d5377beNew language-dependent FFIEdwin Brady 17fe233Add scoped implicit argument to PiEdwin Brady 2ec25c2Do more forcing in IBCEdwin Brady 5faaba9More information runtime error for missing caseEdwin Brady 00f1cd5Use ExceptT instead of ErrorTbmsherman 7b5f4aaFix visibility of imported thingsEdwin Brady 981ca94Lifted FIXME from Core/Evaluate.Jan de Muijnck-Hughes f2edb7dRestrict PE for class dictionariesEdwin Brady e09ef82Improve PE for class constraints and HOFsEdwin Brady 3ade599Partial evaluator fixesEdwin Brady 323a109Use exact name lookup when building from ibcEdwin Brady 7e7368dStore kind in Pi bindersEdwin Brady bc2bcb6Add Borrowed typesEdwin Brady 218c735Mark 'case' on unique types as updatableEdwin Brady 9abbc3fCache uniqueness information in NameTypeEdwin Brady 9ceece1EXPERIMENTAL uniqueness typesEdwin Brady e363c09Better treatment of unbound implicitsEdwin Brady c201192Bring erasure info to the case tree builder.Matus Tejiscak da6ed85Annotate displayed IDE metavars with original termsDavid Raymond Christiansen 21124c3Merge remote-tracking branch 'upstream/master' into cantResolveAltsbmsherman 9907240Add new Err constructor to disambiguate the CantResolveAlts constructor.bmsherman 45c8ecaAvoid hole bindings in unification solutionsEdwin Brady 5ba96c1Effect handlers should be coveringEdwin Brady 78ff448Bug fixing of induction bugsAhmad Salim Al-Sibahi 418a6b6Add :who-calls and :calls-who to IDESlaveDavid Raymond Christiansen 171e45bExact name lookups in getArity.Matus Tejiscak 0203531Fix case-inspection of lazy values.Matus Tejiscak b1d2553Respect accessibility in case tree elaboration.Matus Tejiscak 44ee6d3Handle overapplied functions correctly.Matus Tejiscak 59c3cd1Make ProjCase take exactly one alternative. (TODO: is this safe?)Matus Tejiscak 678fc86Finish guardedness checkEdwin Brady 7af5df9isFnName should look for exact namesEdwin Brady 71a968cChange reduction rules for coinductive definitionsEdwin Brady f52eafdFix for name shadowing in evaluatorEdwin Brady c15d4cbConversion checking tweakEdwin Brady ecfb293Evaluator bug fixEdwin Brady f9684d6Add 'Lazy' type for capturing delayed computationsEdwin Brady 57af985Add 'force' (opposite of 'lazy')Edwin Brady 93c06b5Check assert_total is defined before evaluatingEdwin Brady 6eee6c8Add assert_total functionEdwin Brady 9a81a53Cache names in evaluator environmentEdwin Brady