Fix pattern warning in DeepSeq
commit76b39b1b74fea2b1f6149681846bf2fc5b3431f1
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 7 Jun 2015, 10:26 (11 years ago)
parentbfacfbc
src/Idris/Core/DeepSeq.hs+1
@@ -198,6 +198,7 @@ instance NFData Totality where
198198 rnf Productive = ()
199199 rnf (Partial x1) = rnf x1 `seq` ()
200200 rnf Unchecked = ()
201+ rnf Generated = ()
201202
202203instance NFData PReason where
203204 rnf (Other x1) = rnf x1 `seq` ()