on master help sign in
Fix DeepSeq matching
c882154Edwin Brady
src/Idris/DeepSeq.hs+1
@@ -120,6 +120,7 @@ instance NFData FnOpt where
120 rnf (Specialise x1) = rnf x1 `seq` ()
120 rnf (Specialise x1) = rnf x1 `seq` ()
121 rnf Constructor = ()
121 rnf Constructor = ()
122 rnf AutoHint = ()
122 rnf AutoHint = ()
123+ rnf PEGenerated = ()
123
124
124instance NFData DataOpt where
125instance NFData DataOpt where
125 rnf Codata = ()
126 rnf Codata = ()