testsuite/tests/numeric/should_compile/T16402.stderr-ws-64


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44


==================== Tidy Core ====================
Result size of Tidy Core
  = {terms: 55, types: 22, coercions: 0, joins: 0/0}

$trModule4 = "main"#

$trModule3 = TrNameS $trModule4

$trModule2 = "T16402"#

$trModule1 = TrNameS $trModule2

$trModule = Module $trModule3 $trModule1

smallWord_bar
  = \ x ->
      case x of { W64# x# ->
      W64#
        (int64ToWord64#
           (intToInt64# (word2Int# (and# (word64ToWord# x#) 0xffff##))))
      }

smallWord_foo = smallWord_bar

smallInt_bar
  = \ x ->
      case x of { I64# x1 ->
      I64# (intToInt64# (int16ToInt# (intToInt16# (int64ToInt# x1))))
      }

smallInt_foo
  = \ x ->
      case x of { I64# x# ->
      I64#
        (intToInt64#
           (int16ToInt#
              (intToInt16#
                 (int64ToInt#
                    (word64ToInt64# (and64# (int64ToWord64# x#) 0x0012ffff##64))))))
      }