diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-02-01 05:15:42 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-01 05:16:03 +0100 |
| commit | f1293beb6ef4ee73701e5582c1050b7fd86330ea (patch) | |
| tree | a5f0ef4d5f3109a5df2151e8fa98ae3c364d1cfe /testdata/typesig.reject.out | |
| parent | 2ac7b6ebb8e70d3251ce8216dc190c2bb00ced57 (diff) | |
erease lambda argument type and constructor type parameters
Diffstat (limited to 'testdata/typesig.reject.out')
| -rw-r--r-- | testdata/typesig.reject.out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testdata/typesig.reject.out b/testdata/typesig.reject.out index 6b643ecd..20a94f96 100644 --- a/testdata/typesig.reject.out +++ b/testdata/typesig.reject.out | |||
| @@ -1,2 +1,2 @@ | |||
| 1 | focus checkMetas: labEnd \{[32ma[39m}->[47m<<HERE>>[49m | 1 | focus checkMetas: labEnd \{[32ma[39m}->[47m<<HERE>>[49m |
| 2 | [32m\([34ma[32m : [32mV0~'X[32m)->[32mX[32m[39m[K \ No newline at end of file | 2 | [32m\([34ma[32m : V0~'X)->X[39m[K \ No newline at end of file |