git.iko.soy/Idris-dev
on cf47310 help sign in
Idris-dev/test/reg021
3 files
../ expectedUnification fix If f x = g y fails to unify due to f and g failing to unify, record the whole application as failed, otherwise we might accidentally unify x and y. Fixes #409 reg021.idrUnification fix If f x = g y fails to unify due to f and g failing to unify, record the whole application as failed, otherwise we might accidentally unify x and y. Fixes #409 runReset test runscripts to mode 0755