@@ -13,7 +13,7 @@ instance NFData Raw where
1313 rnf (RApp x1 x2) = rnf x1 `seq` rnf x2 `seq` ()
1414 rnf RType = ()
1515 rnf (RForce x1) = rnf x1 `seq` ()
16− rnf (RConstant x1) = rnf x1 `seq` ()
16+ rnf (RConstant x1) = x1 `seq` ()
1717
1818instance NFData FC where
1919 rnf (FC x1 x2 x3) = rnf x1 `seq` rnf x2 `seq` rnf x3 `seq` ()
@@ -32,26 +32,6 @@ instance NFData SpecialName where
3232 rnf (MethodN x1) = rnf x1 `seq` ()
3333 rnf (CaseN x1) = rnf x1 `seq` ()
3434
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` ()
50− rnf StrType = ()
51− rnf PtrType = ()
52− rnf VoidType = ()
53− rnf Forgot = ()
54−
5535instance NFData IntTy where
5636 rnf (ITFixed x1) = rnf x1 `seq` ()
5737 rnf ITNative = ()
@@ -132,7 +112,7 @@ instance (NFData n) => NFData (TT n) where
132112 rnf (V x1) = rnf x1 `seq` ()
133113 rnf (Bind x1 x2 x3) = rnf x1 `seq` rnf x2 `seq` rnf x3 `seq` ()
134114 rnf (App x1 x2) = rnf x1 `seq` rnf x2 `seq` ()
135− rnf (Constant x1) = rnf x1 `seq` ()
115+ rnf (Constant x1) = x1 `seq` ()
136116 rnf (Proj x1 x2) = rnf x1 `seq` rnf x2 `seq` ()
137117 rnf Erased = ()
138118 rnf Impossible = ()
@@ -271,7 +251,7 @@ instance NFData PTerm where
271251 rnf PType = ()
272252 rnf (PGoal x1 x2 x3 x4)
273253 = 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` ()
275255 rnf Placeholder = ()
276256 rnf (PDoBlock x1) = rnf x1 `seq` ()
277257 rnf (PIdiom x1 x2) = rnf x1 `seq` rnf x2 `seq` ()