git.iko.soy/Idris-dev
on bf4e535 help sign in
history ofsrc/Idris/Core/DeepSeq.hs
all commits
95eee3cRemove no longer used primitives from TTEdwin Brady 8472966Remove Buffer/BitVectors from compiler/C rtsEdwin Brady dbe0a3cCheck class arguments for injectivityEdwin Brady be9ffc9Proper error message for missing eliminatorsEdwin Brady 5ce7362Type class resolution fixEdwin Brady 6d768bbMore information if a function is overappliedEdwin Brady 01c4f2aA bit more unification error provenanceEdwin Brady bb013f0Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen 179c704Record provenance of types in 'fill' errorsEdwin Brady 02d0078Add beginning of elaborator debugging errorsDavid Raymond Christiansen 9150698Primitive type for world stateEdwin Brady d5377beNew language-dependent FFIEdwin Brady c729d2fSupport scoped type class constraintsEdwin Brady 17fe233Add scoped implicit argument to PiEdwin Brady 177b96bRemove -Werror from all filesDavid Raymond Christiansen 2ec25c2Do more forcing in IBCEdwin Brady 7e7368dStore kind in Pi bindersEdwin Brady a1fb7a3Inline with blocksEdwin Brady 218c735Mark 'case' on unique types as updatableEdwin Brady 9abbc3fCache uniqueness information in NameTypeEdwin Brady 9ceece1EXPERIMENTAL uniqueness typesEdwin Brady 1a79f2bAdd a special name for instance constructors.Matus Tejiscak 66ec833Minor memory usage improvementsEdwin Brady 4e6adebSeparate Core NFData instancesEdwin Brady