Add missing NFData case for TryImplicit
commit8addb6338800e184cb67160bd5eb80c5705c2504
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 17 Jul 2015, 14:53 (11 years ago)
parent0dd2f06
src/Idris/DeepSeq.hs+1
@@ -274,6 +274,7 @@ instance NFData PTerm where
274274instance NFData PAltType where
275275 rnf (ExactlyOne x1) = rnf x1 `seq` ()
276276 rnf FirstSuccess = ()
277+ rnf TryImplicit = ()
277278
278279instance (NFData t) => NFData (PTactic' t) where
279280 rnf (Intro x1) = rnf x1 `seq` ()