git.iko.soy/Idris-dev
on master help sign in
Fix DeepSeq matching
commitc88215445e110c17cfb4e4ab3997352c8665ca6c authorEdwin Brady <ecb10@st-andrews.ac.uk> dateSun 7 Jun 2015, 16:42 (11 years ago) parent76b39b1
1 file changed+1
compare with master
unifiedsplit
src/Idris/DeepSeq.hs+1
src/Idris/DeepSeq.hs+1
@@ -120,6 +120,7 @@ instance NFData FnOpt where
120120 rnf (Specialise x1) = rnf x1 `seq` ()
121121 rnf Constructor = ()
122122 rnf AutoHint = ()
123+ rnf PEGenerated = ()
123124
124125instance NFData DataOpt where
125126 rnf Codata = ()