diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-10 03:05:26 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-10 03:06:01 +0200 |
commit | 99319080348a59bc699503c93997c6bc9e27fac6 (patch) | |
tree | 991389abad687c3c4e752d1dcf235dd6fb075a43 /testdata/Builtins.out | |
parent | 487d66f40ebcce72e6999a353198e41d137e4c33 (diff) |
finish maxDB --> freeVars
Diffstat (limited to 'testdata/Builtins.out')
-rw-r--r-- | testdata/Builtins.out | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/testdata/Builtins.out b/testdata/Builtins.out index e5a33d12..e27f95cd 100644 --- a/testdata/Builtins.out +++ b/testdata/Builtins.out | |||
@@ -3490,8 +3490,8 @@ testdata/Builtins.lc 20:21-20:29 | |||
3490 | testdata/Builtins.lc 20:21-20:35 | 3490 | testdata/Builtins.lc 20:21-20:35 |
3491 | VecS _f 2 | 3491 | VecS _f 2 |
3492 | testdata/Builtins.lc 20:21-21:43 | 3492 | testdata/Builtins.lc 20:21-21:43 |
3493 | (_e -> _e -> _e -> _e -> VecS _d 4) | 3493 | (forall (a :: _e) (b :: _e) (c :: _e) -> _e -> VecS _d 4) |
3494 | -> forall (a :: Nat) . VecS _e a -> VecS _d a | 3494 | -> forall (d :: Nat) . VecS _e d -> VecS _d d |
3495 | testdata/Builtins.lc 20:21-22:51 | 3495 | testdata/Builtins.lc 20:21-22:51 |
3496 | forall (a :: Nat) . VecS _e a -> VecS _d a | 3496 | forall (a :: Nat) . VecS _e a -> VecS _d a |
3497 | testdata/Builtins.lc 20:25-20:26 | 3497 | testdata/Builtins.lc 20:25-20:26 |
@@ -7294,7 +7294,8 @@ testdata/Builtins.lc 340:27-340:28 | |||
7294 | testdata/Builtins.lc 340:27-341:28 | 7294 | testdata/Builtins.lc 340:27-341:28 |
7295 | _d -> _d -> Swizz -> _d | _c | 7295 | _d -> _d -> Swizz -> _d | _c |
7296 | testdata/Builtins.lc 340:27-344:30 | 7296 | testdata/Builtins.lc 340:27-344:30 |
7297 | (_a -> _a -> _a -> _a -> _a) -> forall (a :: Nat) . VecS _a a -> _a | 7297 | (forall (a :: _a) (b :: _a) (c :: _a) -> _a -> _a) |
7298 | -> forall (d :: Nat) . VecS _a d -> _a | ||
7298 | testdata/Builtins.lc 340:27-348:32 | 7299 | testdata/Builtins.lc 340:27-348:32 |
7299 | forall (a :: Nat) . VecS _a a -> _a | _d | 7300 | forall (a :: Nat) . VecS _a a -> _a | _d |
7300 | testdata/Builtins.lc 341:27-341:28 | 7301 | testdata/Builtins.lc 341:27-341:28 |
@@ -7342,7 +7343,8 @@ testdata/Builtins.lc 352:1-352:11 | |||
7342 | testdata/Builtins.lc 352:23-352:27 | 7343 | testdata/Builtins.lc 352:23-352:27 |
7343 | Bool | 7344 | Bool |
7344 | testdata/Builtins.lc 352:23-353:29 | 7345 | testdata/Builtins.lc 352:23-353:29 |
7345 | (_a -> _a -> _a -> _a -> Bool) -> forall (a :: Nat) . VecS _a a -> Bool | 7346 | (forall (a :: _a) (b :: _a) (c :: _a) -> _a -> Bool) |
7347 | -> forall (d :: Nat) . VecS _a d -> Bool | ||
7346 | testdata/Builtins.lc 352:23-354:31 | 7348 | testdata/Builtins.lc 352:23-354:31 |
7347 | forall (a :: Nat) . VecS _a a -> Bool | Bool | 7349 | forall (a :: Nat) . VecS _a a -> Bool | Bool |
7348 | testdata/Builtins.lc 353:25-353:29 | 7350 | testdata/Builtins.lc 353:25-353:29 |