diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-01-29 15:20:29 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-01-29 15:20:29 +0100 |
| commit | 3f228fae209e61879ffa22f55902b65382506683 (patch) | |
| tree | 76186fb53faeed9c5b25c51d48cf58926bd485d9 /testdata/typesig.reject.out | |
| parent | b178ad60e92a8b5fc79a15a1ac6a4c9c01327efb (diff) | |
fix let expression type
Diffstat (limited to 'testdata/typesig.reject.out')
| -rw-r--r-- | testdata/typesig.reject.out | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testdata/typesig.reject.out b/testdata/typesig.reject.out index 58881830..6b643ecd 100644 --- a/testdata/typesig.reject.out +++ b/testdata/typesig.reject.out | |||
| @@ -1 +1,2 @@ | |||
| 1 | focus checkMetas: [32m\([34ma[32m : [32mV0~'X[32m)->[32mX[32m[39m[K \ No newline at end of file | 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 | ||