git.iko.soy/Idris-dev
on 7afa310 help sign in
history oftest/reg018/run
all commits
755b5b3Remove stale .ibcsDavid Raymond Christiansen b36dfcdReset test runscripts to mode 0755Markus Pfeiffer 3558c7cChange from shebangs with absolute references to using /usr/bin/envMarkus Pfeiffer 99a8a66Check that explicitly given implicit args unify with inferred versions Also exposed a unification bug which unified things which shouldn't be: f x = f y does not imply x = y unless f is injective, and this was not properly checked.Edwin Brady 56bd9a1Look through call graph for mutual recursion when productivity checking Otherwise we might miss non-productive calls, particularly important when using 'with'. Fixes issue #183Edwin Brady