T8274.stdout 803 Bytes
Newer Older
1
2
3
T8274.$trModule2 = GHC.Types.TrNameS "main"#
T8274.$trModule1 = GHC.Types.TrNameS "T8274"#
T8274.$tc'Positives1 = GHC.Types.TrNameS "'Positives"#
4
T8274.$tc'Positives = GHC.Types.TyCon 14732531009298850569## 4925356269917933860## T8274.$trModule T8274.$tc'Positives1
5
T8274.$tcP1 = GHC.Types.TrNameS "P"#
6
T8274.$tcP = GHC.Types.TyCon 11095028091707994303## 9476557054198009608## T8274.$trModule T8274.$tcP1
7
T8274.$tc'Negatives1 = GHC.Types.TrNameS "'Negatives"#
8
T8274.$tc'Negatives = GHC.Types.TyCon 15950179315687996644## 11481167534507418130## T8274.$trModule T8274.$tc'Negatives1
9
T8274.$tcN1 = GHC.Types.TrNameS "N"#
10
T8274.$tcN = GHC.Types.TyCon 7479687563082171902## 17616649989360543185## T8274.$trModule T8274.$tcN1
11
p = T8274.Positives 42# 4.23# 4.23## '4'# 4##
12
n = T8274.Negatives -4# -4.0# -4.0##