testsuite/tests/primops/should_compile/T22152b.stderr


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
45
46
47


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

b = \ x -> case x of { I# x1 -> I# (quotInt# x1 200#) }

c = \ x -> case x of { W# x# -> W# (quotWord# x# 200##) }

d = \ x -> case x of { W8# x# -> W8# (quotWord8# x# 200#Word8) }

e = \ x ->
      case x of { W16# x# -> W16# (quotWord16# x# 200#Word16) }

f = \ x ->
      case x of { W32# x# -> W32# (quotWord32# x# 200#Word32) }

g = \ x ->
      case x of { W64# x# ->
      case quotWord64# x# 10#Word64 of ds1 { __DEFAULT ->
      case quotWord64# ds1 20#Word64 of ds2 { __DEFAULT -> W64# ds2 }
      }
      }

h = \ x ->
      case x of { I8# x# ->
      I8# (quotInt8# (quotInt8# x# 10#Int8) 20#Int8)
      }

i = \ x -> case x of { I16# x# -> I16# (quotInt16# x# 200#Int16) }

j = \ x -> case x of { I32# x# -> I32# (quotInt32# x# 200#Int32) }

a = \ x ->
      case x of { I32# x# ->
      I32# (quotInt32# (quotInt32# x# 2147483647#Int32) 2147483647#Int32)
      }

k = \ x ->
      case x of { I64# x# ->
      case quotInt64# x# 10#Int64 of ds { __DEFAULT ->
      case quotInt64# ds 20#Int64 of ds1 { __DEFAULT -> I64# ds1 }
      }
      }