diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-02-04 16:50:05 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-04 16:50:05 +0100 |
| commit | 6a72593b019fdd3a1a144b73b518babf1cc33b54 (patch) | |
| tree | 380687ce015be39f75348f089e30bed74739587c /testdata/Internals.out | |
| parent | 91b08d7eb8b3ba2e26862e389e1a58d6c7290a91 (diff) | |
bugfix & improvements
Diffstat (limited to 'testdata/Internals.out')
| -rw-r--r-- | testdata/Internals.out | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/testdata/Internals.out b/testdata/Internals.out index b464a451..74350852 100644 --- a/testdata/Internals.out +++ b/testdata/Internals.out | |||
| @@ -357,3 +357,12 @@ testdata/Internals.lc 127:24-128:29 Nat->Bool | |||
| 357 | testdata/Internals.lc 127:26-127:28 {a} -> {b : Eq a} -> a -> a->Bool | 357 | testdata/Internals.lc 127:26-127:28 {a} -> {b : Eq a} -> a -> a->Bool |
| 358 | testdata/Internals.lc 127:29-127:30 Nat | 358 | testdata/Internals.lc 127:29-127:30 Nat |
| 359 | testdata/Internals.lc 128:24-128:29 Bool | Nat->Bool | 359 | testdata/Internals.lc 128:24-128:29 Bool | Nat->Bool |
| 360 | testdata/Internals.lc 130:6-130:10 Type | Type->Type | ||
| 361 | testdata/Internals.lc 130:6-130:25 Type | ||
| 362 | testdata/Internals.lc 130:6-130:36 Type | ||
| 363 | testdata/Internals.lc 130:15-130:18 List V1 | {a} -> List a | ||
| 364 | testdata/Internals.lc 130:21-130:25 List V4 | Type | {a} -> a -> List a -> List a | ||
| 365 | testdata/Internals.lc 130:26-130:27 Type | ||
| 366 | testdata/Internals.lc 130:28-130:36 Type | ||
| 367 | testdata/Internals.lc 130:29-130:33 Type->Type | ||
| 368 | testdata/Internals.lc 130:34-130:35 Type | ||