Fix error with coercions in function arguments
commitf8e41c5cecd4d13ad7220feeb09c95befb634ecf
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateMon 25 Feb 2013, 13:07 (14 years ago)
parent15cdb1a
src/Idris/ElabTerm.hs+1−1
@@ -483,7 +483,7 @@ elab ist info pattern tcgen fn tm
483483-- if r
484484-- then try (do focus n; elabE ina t; return failed)
485485-- (return ((n,(lazy, t)):failed))
486− do focus n; elabE ina t'; return failed
486+ do focus n; elab' ina t'; return failed
487487 False -> return failed
488488 elabArgs ina failed fc r ns args
489489