diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-04-25 10:29:14 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-25 10:29:14 +0200 |
commit | 9dc447d89c05d8d38b6f3d0592f13a031e0bab68 (patch) | |
tree | a607ab56f0a7a3d2d5784c487575a4377dc88cd1 /testdata/Internals.out | |
parent | ccb994a7ee997723d4634ca7a6a79b62394a9296 (diff) |
refactoring
Diffstat (limited to 'testdata/Internals.out')
-rw-r--r-- | testdata/Internals.out | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testdata/Internals.out b/testdata/Internals.out index 568351c5..53aa127d 100644 --- a/testdata/Internals.out +++ b/testdata/Internals.out | |||
@@ -338,8 +338,10 @@ testdata/Internals.lc 119:26-119:28 {a} -> {b : Eq a} -> a -> a->Bool | |||
338 | testdata/Internals.lc 119:29-119:30 Nat | 338 | testdata/Internals.lc 119:29-119:30 Nat |
339 | testdata/Internals.lc 120:24-120:29 Bool | Nat->Bool | 339 | testdata/Internals.lc 120:24-120:29 Bool | Nat->Bool |
340 | testdata/Internals.lc 122:6-122:10 Type | Type->Type | 340 | testdata/Internals.lc 122:6-122:10 Type | Type->Type |
341 | testdata/Internals.lc 122:6-122:12 Type | ||
341 | testdata/Internals.lc 122:6-122:25 Type | 342 | testdata/Internals.lc 122:6-122:25 Type |
342 | testdata/Internals.lc 122:6-122:36 Type | 343 | testdata/Internals.lc 122:6-122:36 Type |
344 | testdata/Internals.lc 122:11-122:12 Type | ||
343 | testdata/Internals.lc 122:15-122:18 List V1 | {a} -> List a | 345 | testdata/Internals.lc 122:15-122:18 List V1 | {a} -> List a |
344 | testdata/Internals.lc 122:21-122:25 List V4 | Type | {a} -> a -> List a -> List a | 346 | testdata/Internals.lc 122:21-122:25 List V4 | Type | {a} -> a -> List a -> List a |
345 | testdata/Internals.lc 122:26-122:27 Type | 347 | testdata/Internals.lc 122:26-122:27 Type |