@@ -1,4 +1,5 @@
11{-# LANGUAGE DeriveDataTypeable #-}
2+{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
23
34module Idris.Error where
45
@@ -146,3 +147,5 @@ warnDisamb ist (PQuasiquote tm goal) = warnDisamb ist tm >>
146147 Foldable.mapM_ (warnDisamb ist) goal
147148warnDisamb ist (PUnquote tm) = warnDisamb ist tm
148149warnDisamb ist (PAs _ _ tm) = warnDisamb ist tm
150+warnDisamb ist (PAppImpl tm _) = warnDisamb ist tm
151+warnDisamb ist (PRunTactics _ tm) = warnDisamb ist tm