diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-12 01:41:21 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-12 01:41:21 +0200 |
| commit | 66564f335975837f748f2eb86345b28eae9a8cc8 (patch) | |
| tree | 90e336c5e45685cb8d0e2b3b41bb98a168022d3d /testdata | |
| parent | 9c3e2fee74ae5ae9885aff40154ec4c1db04a646 (diff) | |
adjust .out file
Diffstat (limited to 'testdata')
| -rw-r--r-- | testdata/loopIssue.out | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/loopIssue.out b/testdata/loopIssue.out index 86b64220..6413ce9b 100644 --- a/testdata/loopIssue.out +++ b/testdata/loopIssue.out | |||
| @@ -69,7 +69,7 @@ inf :: Inf | |||
| 69 | inf = primFix _ \a -> _rhs (Inf a) | 69 | inf = primFix _ \a -> _rhs (Inf a) |
| 70 | 70 | ||
| 71 | inf2 :: Inf | 71 | inf2 :: Inf |
| 72 | inf2 = _rhs (Inf inf) | 72 | inf2 = _rhs inf |
| 73 | 73 | ||
| 74 | main :: Bool | 74 | main :: Bool |
| 75 | main = _rhs True | 75 | main = _rhs True |
| @@ -81,7 +81,7 @@ match'Inf :: forall (a :: Type -> Type) -> a Inf -> forall b -> a b -> a b | |||
| 81 | match'Inf = \a b c d -> <<type case function>> | 81 | match'Inf = \a b c d -> <<type case function>> |
| 82 | 82 | ||
| 83 | primes :: [Bool] | 83 | primes :: [Bool] |
| 84 | primes = _rhs (True : repeatT) | 84 | primes = _rhs repeatT |
| 85 | 85 | ||
| 86 | repeat :: Bool -> [Bool] | 86 | repeat :: Bool -> [Bool] |
| 87 | repeat = primFix _ \a b -> _rhs (typeAnn b : a b) | 87 | repeat = primFix _ \a b -> _rhs (typeAnn b : a b) |