Add missing pattern in warnDisamb
commit73bad9f506d4f3b7e4a0c8409961e164ecd2c49a
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 23 Dec 2014, 11:28 (12 years ago)
parent10ec065
src/Idris/Error.hs+1
@@ -145,3 +145,4 @@ warnDisamb ist (PNoImplicits tm) = warnDisamb ist tm
145145warnDisamb ist (PQuasiquote tm goal) = warnDisamb ist tm >>
146146 Foldable.mapM_ (warnDisamb ist) goal
147147warnDisamb ist (PUnquote tm) = warnDisamb ist tm
148+warnDisamb ist (PAs _ _ tm) = warnDisamb ist tm