Fix for simple applications
When checking if it's okay to assume it's a simply typed application,
need to check PAlternative in case the name is overloaded. Fixes #2133.
commite8e7cd80a83fb09cedf47139d302047ff89675ce
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 17 May 2015, 20:28 (11 years ago)
parent58c7834
src/Idris/Elab/Term.hs+1
@@ -850,6 +850,7 @@ elab ist info emode opts fn tm
850850 solve
851851 where headRef (PRef _ _) = True
852852 headRef (PApp _ f _) = headRef f
853+ headRef (PAlternative _ as) = all headRef as
853854 headRef _ = False
854855
855856 elab' ina fc (PAppImpl f es) = do appImpl (reverse es) -- not that we look...