git.iko.soy/Idris-dev
on master help sign in
Add missing cases to warnDisamb
933fcbbDavid Raymond Christiansen
src/Idris/Error.hs+3
compare with master
unifiedsplit
@@ -1,4 +1,5 @@
1{-# LANGUAGE DeriveDataTypeable #-}
1{-# LANGUAGE DeriveDataTypeable #-}
2+{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
2
3
3module Idris.Error where
4module Idris.Error where
4
5
@@ -146,3 +147,5 @@ warnDisamb ist (PQuasiquote tm goal) = warnDisamb ist tm >>
146 Foldable.mapM_ (warnDisamb ist) goal
147 Foldable.mapM_ (warnDisamb ist) goal
147warnDisamb ist (PUnquote tm) = warnDisamb ist tm
148warnDisamb ist (PUnquote tm) = warnDisamb ist tm
148warnDisamb ist (PAs _ _ tm) = warnDisamb ist tm
149warnDisamb ist (PAs _ _ tm) = warnDisamb ist tm
150+warnDisamb ist (PAppImpl tm _) = warnDisamb ist tm
151+warnDisamb ist (PRunTactics _ tm) = warnDisamb ist tm