c02777f99cf09fb2ef9b9e6a6f8af3dafef703bb to 521cad46855a62fcc0054f1d2796649d0cc57d1d · Stefan / Typer

Commits on Source 3

fix nosusp bug in unfiy · d3a880af
BONNEVALLE Vincent authored Oct 11, 2016
```
result of nosusp wasn't used when dispatching to specialized unify
functions.
```
d3a880af
remove default case hiding "coding" error · 117a72f7
BONNEVALLE Vincent authored Oct 11, 2016

117a72f7
add test number(in comment) in unification tests · 521cad46
BONNEVALLE Vincent authored Oct 11, 2016

521cad46