girving/duck — Issue #37: loop in type inference
Author: dylex
Created: 2011-11-10 18:29:05+00:00
State: open
Labels: bug

The following causes an apparent infinite (uncaught) loop in what seems to be type inference:
```
fac n = fold (x -> g -> n -> g (x*n)) id (range 1 n) 1
```
I haven't investigated this much yet.