diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 16:19:37 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 16:19:37 +0200 |
commit | 28279936966115e65bfc02bd1cab564af947cf63 (patch) | |
tree | 93bed62633c427a2df440c6e0ad40350c9aaa8c5 /testdata/Prelude.out | |
parent | 4742062dea52956de1490ae2e46b25b458ba94a5 (diff) |
fix: parens around operators
Diffstat (limited to 'testdata/Prelude.out')
-rw-r--r-- | testdata/Prelude.out | 110 |
1 files changed, 55 insertions, 55 deletions
diff --git a/testdata/Prelude.out b/testdata/Prelude.out index 0d9a2657..971fc3a3 100644 --- a/testdata/Prelude.out +++ b/testdata/Prelude.out | |||
@@ -7,9 +7,9 @@ infixr 3 *** | |||
7 | infixr 0 $ | 7 | infixr 0 $ |
8 | const = \(a :: _) _ -> _rhs a | 8 | const = \(a :: _) _ -> _rhs a |
9 | otherwise = _rhs True | 9 | otherwise = _rhs True |
10 | & = \(a :: _) (b :: _) -> _rhs (b a) | 10 | (&) = \(a :: _) (b :: _) -> _rhs (b a) |
11 | $ = _rhs \(a :: _) (b :: _) -> a b | 11 | ($) = _rhs \(a :: _) (b :: _) -> a b |
12 | . = _rhs \(a :: _) (b :: _) (c :: _) -> a (b c) | 12 | (.) = _rhs \(a :: _) (b :: _) (c :: _) -> a (b c) |
13 | uncurry | 13 | uncurry |
14 | = \(a :: _) (b :: _) -> hlistConsCase | 14 | = \(a :: _) (b :: _) -> hlistConsCase |
15 | (_ :: _) | 15 | (_ :: _) |
@@ -18,7 +18,7 @@ uncurry | |||
18 | (\(e :: _) (f :: _) -> hlistNilCase (_ :: _) (_rhs (a c e)) f) | 18 | (\(e :: _) (f :: _) -> hlistNilCase (_ :: _) (_rhs (a c e)) f) |
19 | d) | 19 | d) |
20 | b | 20 | b |
21 | *** | 21 | (***) |
22 | = \(a :: _) (b :: _) (c :: _) -> hlistConsCase | 22 | = \(a :: _) (b :: _) (c :: _) -> hlistConsCase |
23 | (_ :: _) | 23 | (_ :: _) |
24 | (\(d :: _) (e :: _) -> hlistConsCase | 24 | (\(d :: _) (e :: _) -> hlistConsCase |
@@ -180,9 +180,9 @@ snd | |||
180 | (\(c :: _) (d :: _) -> hlistNilCase (_ :: _) (_rhs c) d) | 180 | (\(c :: _) (d :: _) -> hlistNilCase (_ :: _) (_rhs c) d) |
181 | b) | 181 | b) |
182 | a | 182 | a |
183 | ||| = \(a :: _) (b :: _) -> case'Bool (\_ -> _ :: _) (_rhs b) (_rhs True) a | 183 | (|||) = \(a :: _) (b :: _) -> case'Bool (\_ -> _ :: _) (_rhs b) (_rhs True) a |
184 | infixr 2 ||| | 184 | infixr 2 ||| |
185 | &&& = \(a :: _) (b :: _) -> case'Bool (\_ -> _ :: _) (_rhs False) (_rhs b) a | 185 | (&&&) = \(a :: _) (b :: _) -> case'Bool (\_ -> _ :: _) (_rhs False) (_rhs b) a |
186 | infixr 3 &&& | 186 | infixr 3 &&& |
187 | data RecItem :: Type where | 187 | data RecItem :: Type where |
188 | RecItem :: String -> Type -> RecItem | 188 | RecItem :: String -> Type -> RecItem |
@@ -346,36 +346,36 @@ infix 7 cross | |||
346 | infixr 7 *. | 346 | infixr 7 *. |
347 | infixl 7 .* | 347 | infixl 7 .* |
348 | infixl 7 .*. | 348 | infixl 7 .*. |
349 | + = \(a :: _) (b :: _) -> _rhs (PrimAdd a b) | 349 | (+) = \(a :: _) (b :: _) -> _rhs (PrimAdd a b) |
350 | - = \(a :: _) (b :: _) -> _rhs (PrimSub a b) | 350 | (-) = \(a :: _) (b :: _) -> _rhs (PrimSub a b) |
351 | * = \(a :: _) (b :: _) -> _rhs (PrimMul a b) | 351 | (*) = \(a :: _) (b :: _) -> _rhs (PrimMul a b) |
352 | / = \(a :: _) (b :: _) -> _rhs (PrimDiv a b) | 352 | (/) = \(a :: _) (b :: _) -> _rhs (PrimDiv a b) |
353 | % = \(a :: _) (b :: _) -> _rhs (PrimMod a b) | 353 | (%) = \(a :: _) (b :: _) -> _rhs (PrimMod a b) |
354 | neg = \(a :: _) -> _rhs (PrimNeg a) | 354 | neg = \(a :: _) -> _rhs (PrimNeg a) |
355 | /= = \(a :: _) (b :: _) -> _rhs (PrimNotEqual a b) | 355 | (/=) = \(a :: _) (b :: _) -> _rhs (PrimNotEqual a b) |
356 | < = \(a :: _) (b :: _) -> _rhs (PrimLessThan a b) | 356 | (<) = \(a :: _) (b :: _) -> _rhs (PrimLessThan a b) |
357 | <= = \(a :: _) (b :: _) -> _rhs (PrimLessThanEqual a b) | 357 | (<=) = \(a :: _) (b :: _) -> _rhs (PrimLessThanEqual a b) |
358 | >= = \(a :: _) (b :: _) -> _rhs (PrimGreaterThanEqual a b) | 358 | (>=) = \(a :: _) (b :: _) -> _rhs (PrimGreaterThanEqual a b) |
359 | > = \(a :: _) (b :: _) -> _rhs (PrimGreaterThan a b) | 359 | (>) = \(a :: _) (b :: _) -> _rhs (PrimGreaterThan a b) |
360 | && = \(a :: _) (b :: _) -> _rhs (PrimAnd a b) | 360 | (&&) = \(a :: _) (b :: _) -> _rhs (PrimAnd a b) |
361 | || = \(a :: _) (b :: _) -> _rhs (PrimOr a b) | 361 | (||) = \(a :: _) (b :: _) -> _rhs (PrimOr a b) |
362 | xor = _rhs PrimXor | 362 | xor = _rhs PrimXor |
363 | not = \(a :: _) -> _rhs (PrimNot a) | 363 | not = \(a :: _) -> _rhs (PrimNot a) |
364 | any = \(a :: _) -> _rhs (PrimAny a) | 364 | any = \(a :: _) -> _rhs (PrimAny a) |
365 | all = \(a :: _) -> _rhs (PrimAll a) | 365 | all = \(a :: _) -> _rhs (PrimAll a) |
366 | .*. = \(a :: _) (b :: _) -> _rhs (PrimMulMatMat a b) | 366 | (.*.) = \(a :: _) (b :: _) -> _rhs (PrimMulMatMat a b) |
367 | *. = \(a :: _) (b :: _) -> _rhs (PrimMulMatVec a b) | 367 | (*.) = \(a :: _) (b :: _) -> _rhs (PrimMulMatVec a b) |
368 | .* = \(a :: _) (b :: _) -> _rhs (PrimMulVecMat a b) | 368 | (.*) = \(a :: _) (b :: _) -> _rhs (PrimMulVecMat a b) |
369 | infixl 7 *! | 369 | infixl 7 *! |
370 | infixl 7 /! | 370 | infixl 7 /! |
371 | infixl 7 %! | 371 | infixl 7 %! |
372 | infixl 6 +! | 372 | infixl 6 +! |
373 | infixl 6 -! | 373 | infixl 6 -! |
374 | +! = \(a :: _) (b :: _) -> _rhs (PrimAddS a b) | 374 | (+!) = \(a :: _) (b :: _) -> _rhs (PrimAddS a b) |
375 | -! = \(a :: _) (b :: _) -> _rhs (PrimSubS a b) | 375 | (-!) = \(a :: _) (b :: _) -> _rhs (PrimSubS a b) |
376 | *! = \(a :: _) (b :: _) -> _rhs (PrimMulS a b) | 376 | (*!) = \(a :: _) (b :: _) -> _rhs (PrimMulS a b) |
377 | /! = \(a :: _) (b :: _) -> _rhs (PrimDivS a b) | 377 | (/!) = \(a :: _) (b :: _) -> _rhs (PrimDivS a b) |
378 | %! = \(a :: _) (b :: _) -> _rhs (PrimModS a b) | 378 | (%!) = \(a :: _) (b :: _) -> _rhs (PrimModS a b) |
379 | perspective | 379 | perspective |
380 | = (\(a :: _) (b :: _) (c :: _) (d :: _) -> _rhs | 380 | = (\(a :: _) (b :: _) (c :: _) (d :: _) -> _rhs |
381 | \(e := _rhs (a * tan (c / fromInt 2))) | 381 | \(e := _rhs (a * tan (c / fromInt 2))) |
@@ -459,7 +459,7 @@ fromTo | |||
459 | (_rhs []) | 459 | (_rhs []) |
460 | (a > b)) | 460 | (a > b)) |
461 | :: Float -> Float -> [Float] | 461 | :: Float -> Float -> [Float] |
462 | !! | 462 | (!!) |
463 | = (\(a :: _) (b :: _) -> case'List | 463 | = (\(a :: _) (b :: _) -> case'List |
464 | (\_ -> _ :: _) | 464 | (\_ -> _ :: _) |
465 | (_rhs undefined) | 465 | (_rhs undefined) |
@@ -474,11 +474,11 @@ main is not found | |||
474 | ------------ trace | 474 | ------------ trace |
475 | const :: forall a b . a -> b -> a | 475 | const :: forall a b . a -> b -> a |
476 | otherwise :: Bool | 476 | otherwise :: Bool |
477 | & :: forall a b . a -> (a -> b) -> b | 477 | (&) :: forall a b . a -> (a -> b) -> b |
478 | $ :: forall a b . (a -> b) -> a -> b | 478 | ($) :: forall a b . (a -> b) -> a -> b |
479 | . :: forall a b c . (b -> c) -> (a -> b) -> a -> c | 479 | (.) :: forall a b c . (b -> c) -> (a -> b) -> a -> c |
480 | uncurry :: forall a b c . (a -> c -> b) -> (a, c) -> b | 480 | uncurry :: forall a b c . (a -> c -> b) -> (a, c) -> b |
481 | *** :: forall a b c d . (a -> c) -> (b -> d) -> (a, b) -> (c, d) | 481 | (***) :: forall a b c d . (a -> c) -> (b -> d) -> (a, b) -> (c, d) |
482 | pi :: Float | 482 | pi :: Float |
483 | zip :: forall a b . [a] -> [b] -> [(a, b)] | 483 | zip :: forall a b . [a] -> [b] -> [(a, b)] |
484 | unzip :: forall a b . [(a, b)] -> ([a], [b]) | 484 | unzip :: forall a b . [(a, b)] -> ([a], [b]) |
@@ -493,8 +493,8 @@ sortBy :: forall a . (a -> a -> Ordering) -> [a] -> [a] | |||
493 | iterate :: forall a . (a -> a) -> a -> [a] | 493 | iterate :: forall a . (a -> a) -> a -> [a] |
494 | fst :: forall a b . (a, b) -> a | 494 | fst :: forall a b . (a, b) -> a |
495 | snd :: forall a b . (a, b) -> b | 495 | snd :: forall a b . (a, b) -> b |
496 | ||| :: Bool -> Bool -> Bool | 496 | (|||) :: Bool -> Bool -> Bool |
497 | &&& :: Bool -> Bool -> Bool | 497 | (&&&) :: Bool -> Bool -> Bool |
498 | 'RecItem :: Type | 498 | 'RecItem :: Type |
499 | RecItem :: String -> Type -> RecItem | 499 | RecItem :: String -> Type -> RecItem |
500 | case'RecItem | 500 | case'RecItem |
@@ -635,45 +635,45 @@ floatBitsToInt :: forall (a :: Nat) . VecScalar a Float -> VecScalar a Int | |||
635 | floatBitsToWord :: forall (a :: Nat) . VecScalar a Float -> VecScalar a Word | 635 | floatBitsToWord :: forall (a :: Nat) . VecScalar a Float -> VecScalar a Word |
636 | intBitsToFloat :: forall (a :: Nat) . VecScalar a Int -> VecScalar a Float | 636 | intBitsToFloat :: forall (a :: Nat) . VecScalar a Int -> VecScalar a Float |
637 | wordBitsToFloat :: forall (a :: Nat) . VecScalar a Word -> VecScalar a Float | 637 | wordBitsToFloat :: forall (a :: Nat) . VecScalar a Word -> VecScalar a Float |
638 | + :: forall a . Num (MatVecScalarElem a) => a -> a -> a | 638 | (+) :: forall a . Num (MatVecScalarElem a) => a -> a -> a |
639 | - :: forall a . Num (MatVecScalarElem a) => a -> a -> a | 639 | (-) :: forall a . Num (MatVecScalarElem a) => a -> a -> a |
640 | * :: forall a . Num (MatVecScalarElem a) => a -> a -> a | 640 | (*) :: forall a . Num (MatVecScalarElem a) => a -> a -> a |
641 | / | 641 | (/) |
642 | :: forall a (b :: Nat) | 642 | :: forall a (b :: Nat) |
643 | . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a | 643 | . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a |
644 | % | 644 | (%) |
645 | :: forall a (b :: Nat) | 645 | :: forall a (b :: Nat) |
646 | . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a | 646 | . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a |
647 | neg :: forall a . Signed (MatVecScalarElem a) => a -> a | 647 | neg :: forall a . Signed (MatVecScalarElem a) => a -> a |
648 | /= :: forall a . a -> a -> Bool | 648 | (/=) :: forall a . a -> a -> Bool |
649 | < | 649 | (<) |
650 | :: forall (a :: Nat) b | 650 | :: forall (a :: Nat) b |
651 | . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool | 651 | . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool |
652 | <= | 652 | (<=) |
653 | :: forall (a :: Nat) b | 653 | :: forall (a :: Nat) b |
654 | . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool | 654 | . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool |
655 | >= | 655 | (>=) |
656 | :: forall (a :: Nat) b | 656 | :: forall (a :: Nat) b |
657 | . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool | 657 | . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool |
658 | > | 658 | (>) |
659 | :: forall (a :: Nat) b | 659 | :: forall (a :: Nat) b |
660 | . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool | 660 | . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool |
661 | && :: Bool -> Bool -> Bool | 661 | (&&) :: Bool -> Bool -> Bool |
662 | || :: Bool -> Bool -> Bool | 662 | (||) :: Bool -> Bool -> Bool |
663 | xor :: Bool -> Bool -> Bool | 663 | xor :: Bool -> Bool -> Bool |
664 | not :: forall (a :: Nat) . VecScalar a Bool -> VecScalar a Bool | 664 | not :: forall (a :: Nat) . VecScalar a Bool -> VecScalar a Bool |
665 | any :: forall (a :: Nat) . VecScalar a Bool -> Bool | 665 | any :: forall (a :: Nat) . VecScalar a Bool -> Bool |
666 | all :: forall (a :: Nat) . VecScalar a Bool -> Bool | 666 | all :: forall (a :: Nat) . VecScalar a Bool -> Bool |
667 | .*. | 667 | (.*.) |
668 | :: forall (a :: Nat) (b :: Nat) c (d :: Nat) | 668 | :: forall (a :: Nat) (b :: Nat) c (d :: Nat) |
669 | . Mat a b c -> Mat b d c -> Mat a d c | 669 | . Mat a b c -> Mat b d c -> Mat a d c |
670 | *. :: forall (a :: Nat) (b :: Nat) c . Mat a b c -> VecS c b -> Vec a c | 670 | (*.) :: forall (a :: Nat) (b :: Nat) c . Mat a b c -> VecS c b -> Vec a c |
671 | .* :: forall (a :: Nat) b (c :: Nat) . VecS b a -> Mat a c b -> Vec c b | 671 | (.*) :: forall (a :: Nat) b (c :: Nat) . VecS b a -> Mat a c b -> Vec c b |
672 | +! :: forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a | 672 | (+!) :: forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a |
673 | -! :: forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a | 673 | (-!) :: forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a |
674 | *! :: forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a | 674 | (*!) :: forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a |
675 | /! :: forall a (b :: Nat) . Num a => VecScalar b a -> a -> VecScalar b a | 675 | (/!) :: forall a (b :: Nat) . Num a => VecScalar b a -> a -> VecScalar b a |
676 | %! :: forall a (b :: Nat) . Num a => VecScalar b a -> a -> VecScalar b a | 676 | (%!) :: forall a (b :: Nat) . Num a => VecScalar b a -> a -> VecScalar b a |
677 | perspective :: Float -> Float -> Float -> Float -> Mat 4 4 Float | 677 | perspective :: Float -> Float -> Float -> Float -> Mat 4 4 Float |
678 | rotMatrixZ :: VecScalar 1 Float -> Mat 4 4 Float | 678 | rotMatrixZ :: VecScalar 1 Float -> Mat 4 4 Float |
679 | rotMatrixY :: VecScalar 1 Float -> Mat 4 4 Float | 679 | rotMatrixY :: VecScalar 1 Float -> Mat 4 4 Float |
@@ -683,7 +683,7 @@ translateBefore4 :: Vec 3 Float -> Mat 4 4 Float | |||
683 | lookat :: Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 4 4 Float | 683 | lookat :: Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 4 4 Float |
684 | scale :: Float -> VecS Float 4 -> VecS Float 4 | 684 | scale :: Float -> VecS Float 4 -> VecS Float 4 |
685 | fromTo :: Float -> Float -> [Float] | 685 | fromTo :: Float -> Float -> [Float] |
686 | !! :: forall a . [a] -> Int -> a | 686 | (!!) :: forall a . [a] -> Int -> a |
687 | ------------ tooltips | 687 | ------------ tooltips |
688 | testdata/Prelude.lc 16:1-16:6 | 688 | testdata/Prelude.lc 16:1-16:6 |
689 | forall a b . a -> b -> a | 689 | forall a b . a -> b -> a |
@@ -3550,4 +3550,4 @@ Uncovered pattern(s) at testdata/Prelude.lc:388:10: | |||
3550 | (x : _) !! 0 = x | 3550 | (x : _) !! 0 = x |
3551 | (_ : xs) !! n = xs !! (n-1) | 3551 | (_ : xs) !! n = xs !! (n-1) |
3552 | Missing case(s): | 3552 | Missing case(s): |
3553 | !! [] _ \ No newline at end of file | 3553 | [] !! _ \ No newline at end of file |