@@ -13,7 +13,7 @@ instance NFData Raw where
13 rnf (RApp x1 x2) = rnf x1 `seq` rnf x2 `seq` ()
13 rnf (RApp x1 x2) = rnf x1 `seq` rnf x2 `seq` ()
14 rnf RType = ()
14 rnf RType = ()
15 rnf (RForce x1) = rnf x1 `seq` ()
15 rnf (RForce x1) = rnf x1 `seq` ()
16− rnf (RConstant x1) = rnf x1 `seq` ()
16+ rnf (RConstant x1) = x1 `seq` ()
18instance NFData FC where
18instance NFData FC where
19 rnf (FC x1 x2 x3) = rnf x1 `seq` rnf x2 `seq` rnf x3 `seq` ()
19 rnf (FC x1 x2 x3) = rnf x1 `seq` rnf x2 `seq` rnf x3 `seq` ()
@@ -32,26 +32,6 @@ instance NFData SpecialName where
32 rnf (MethodN x1) = rnf x1 `seq` ()
32 rnf (MethodN x1) = rnf x1 `seq` ()
33 rnf (CaseN x1) = rnf x1 `seq` ()
33 rnf (CaseN x1) = rnf x1 `seq` ()
35−instance NFData Const where
36− rnf (I x1) = rnf x1 `seq` ()
37− rnf (BI x1) = rnf x1 `seq` ()
38− rnf (Fl x1) = rnf x1 `seq` ()
39− rnf (Ch x1) = rnf x1 `seq` ()
40− rnf (Str x1) = rnf x1 `seq` ()
41− rnf (B8 x1) = rnf x1 `seq` ()
42− rnf (B16 x1) = rnf x1 `seq` ()
43− rnf (B32 x1) = rnf x1 `seq` ()
44− rnf (B64 x1) = rnf x1 `seq` ()
45− rnf (B8V x1) = rnf x1 `seq` ()
46− rnf (B16V x1) = rnf x1 `seq` ()
47− rnf (B32V x1) = rnf x1 `seq` ()
48− rnf (B64V x1) = rnf x1 `seq` ()
49− rnf (AType x1) = rnf x1 `seq` ()
55instance NFData IntTy where
35instance NFData IntTy where
56 rnf (ITFixed x1) = rnf x1 `seq` ()
36 rnf (ITFixed x1) = rnf x1 `seq` ()
57 rnf ITNative = ()
37 rnf ITNative = ()
@@ -132,7 +112,7 @@ instance (NFData n) => NFData (TT n) where
132 rnf (V x1) = rnf x1 `seq` ()
112 rnf (V x1) = rnf x1 `seq` ()
133 rnf (Bind x1 x2 x3) = rnf x1 `seq` rnf x2 `seq` rnf x3 `seq` ()
113 rnf (Bind x1 x2 x3) = rnf x1 `seq` rnf x2 `seq` rnf x3 `seq` ()
134 rnf (App x1 x2) = rnf x1 `seq` rnf x2 `seq` ()
114 rnf (App x1 x2) = rnf x1 `seq` rnf x2 `seq` ()
135− rnf (Constant x1) = rnf x1 `seq` ()
115+ rnf (Constant x1) = x1 `seq` ()
136 rnf (Proj x1 x2) = rnf x1 `seq` rnf x2 `seq` ()
116 rnf (Proj x1 x2) = rnf x1 `seq` rnf x2 `seq` ()
137 rnf Erased = ()
117 rnf Erased = ()
138 rnf Impossible = ()
118 rnf Impossible = ()
@@ -271,7 +251,7 @@ instance NFData PTerm where
271 rnf PType = ()
251 rnf PType = ()
272 rnf (PGoal x1 x2 x3 x4)
252 rnf (PGoal x1 x2 x3 x4)
273 = rnf x1 `seq` rnf x2 `seq` rnf x3 `seq` rnf x4 `seq` ()
253 = rnf x1 `seq` rnf x2 `seq` rnf x3 `seq` rnf x4 `seq` ()
274− rnf (PConstant x1) = rnf x1 `seq` ()
254+ rnf (PConstant x1) = x1 `seq` ()
275 rnf Placeholder = ()
255 rnf Placeholder = ()
276 rnf (PDoBlock x1) = rnf x1 `seq` ()
256 rnf (PDoBlock x1) = rnf x1 `seq` ()
277 rnf (PIdiom x1 x2) = rnf x1 `seq` rnf x2 `seq` ()
257 rnf (PIdiom x1 x2) = rnf x1 `seq` rnf x2 `seq` ()