diff options
Diffstat (limited to 'testdata/language-features/basic-values/fixity02.out')
-rw-r--r-- | testdata/language-features/basic-values/fixity02.out | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/testdata/language-features/basic-values/fixity02.out b/testdata/language-features/basic-values/fixity02.out index 841eda57..973e69be 100644 --- a/testdata/language-features/basic-values/fixity02.out +++ b/testdata/language-features/basic-values/fixity02.out | |||
@@ -16,37 +16,37 @@ infixr 6 @> | |||
16 | 16 | ||
17 | infixr 6 funR | 17 | infixr 6 funR |
18 | 18 | ||
19 | value1 = _rhs (HNil @> 'c' @> "hi" @> 1.2 :: Float) | 19 | value1 = _rhs (() @> 'c' @> "hi" @> 1.2 :: Float) |
20 | 20 | ||
21 | value2 = _rhs (HNil @> 'c' <@ "hi" @> 1.2 :: Float) | 21 | value2 = _rhs (() @> 'c' <@ "hi" @> 1.2 :: Float) |
22 | 22 | ||
23 | value3 = _rhs (HNil <@ 'c' @> "hi" @> 1.2 :: Float) | 23 | value3 = _rhs (() <@ 'c' @> "hi" @> 1.2 :: Float) |
24 | 24 | ||
25 | value4 = _rhs (HNil <@ 'c' <@ "hi" @> 1.2 :: Float) | 25 | value4 = _rhs (() <@ 'c' <@ "hi" @> 1.2 :: Float) |
26 | 26 | ||
27 | value5 = _rhs (HNil @> 'c' @> "hi" <@ 1.2 :: String) | 27 | value5 = _rhs (() @> 'c' @> "hi" <@ 1.2 :: String) |
28 | 28 | ||
29 | value6 = _rhs (HNil @> 'c' <@ "hi" <@ 1.2 :: Char) | 29 | value6 = _rhs (() @> 'c' <@ "hi" <@ 1.2 :: Char) |
30 | 30 | ||
31 | value7 = _rhs (HNil <@ 'c' @> "hi" <@ 1.2 :: String) | 31 | value7 = _rhs (() <@ 'c' @> "hi" <@ 1.2 :: String) |
32 | 32 | ||
33 | value8 = _rhs (HNil <@ 'c' <@ "hi" <@ 1.2 :: HList '[]) | 33 | value8 = _rhs (() <@ 'c' <@ "hi" <@ 1.2 :: ()) |
34 | 34 | ||
35 | funValue1 = _rhs (HNil `funR` 'c' `funR` "hi" `funR` 1.2 :: Float) | 35 | funValue1 = _rhs (() `funR` 'c' `funR` "hi" `funR` 1.2 :: Float) |
36 | 36 | ||
37 | funValue2 = _rhs (HNil `funR` 'c' `funL` "hi" `funR` 1.2 :: Float) | 37 | funValue2 = _rhs (() `funR` 'c' `funL` "hi" `funR` 1.2 :: Float) |
38 | 38 | ||
39 | funValue3 = _rhs (HNil `funL` 'c' `funR` "hi" `funR` 1.2 :: Float) | 39 | funValue3 = _rhs (() `funL` 'c' `funR` "hi" `funR` 1.2 :: Float) |
40 | 40 | ||
41 | funValue4 = _rhs (HNil `funL` 'c' `funL` "hi" `funR` 1.2 :: Float) | 41 | funValue4 = _rhs (() `funL` 'c' `funL` "hi" `funR` 1.2 :: Float) |
42 | 42 | ||
43 | funValue5 = _rhs (HNil `funR` 'c' `funR` "hi" `funL` 1.2 :: String) | 43 | funValue5 = _rhs (() `funR` 'c' `funR` "hi" `funL` 1.2 :: String) |
44 | 44 | ||
45 | funValue6 = _rhs (HNil `funR` 'c' `funL` "hi" `funL` 1.2 :: Char) | 45 | funValue6 = _rhs (() `funR` 'c' `funL` "hi" `funL` 1.2 :: Char) |
46 | 46 | ||
47 | funValue7 = _rhs (HNil `funL` 'c' `funR` "hi" `funL` 1.2 :: String) | 47 | funValue7 = _rhs (() `funL` 'c' `funR` "hi" `funL` 1.2 :: String) |
48 | 48 | ||
49 | funValue8 = _rhs (HNil `funL` 'c' `funL` "hi" `funL` 1.2 :: HList '[]) | 49 | funValue8 = _rhs (() `funL` 'c' `funL` "hi" `funL` 1.2 :: ()) |
50 | ------------ trace | 50 | ------------ trace |
51 | funL :: forall a b . a -> b -> a | 51 | funL :: forall a b . a -> b -> a |
52 | funR :: forall a b . a -> b -> b | 52 | funR :: forall a b . a -> b -> b |