Undo more liberal choice of forced arguments
While this Works On My Machine(tm), and there is no obvious reason why
it should behave differently on different machines, it causes an erasure
issue on Travis, so I'm undoing it until I work out what's going on.
commit7c95173b5bb8b8be2660801e2bacfcebaeb69f14
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 2 Dec 2016, 17:38 (10 years ago)
parentdd231d2
src/Idris/Elab/Data.hs+3−1
@@ -278,7 +278,9 @@ forceArgs ctxt ty = forceFrom 0 ty
278278 -- definitely wants, which is particularly the case with 'views'.
279279 -- So perhaps we need a way of marking that in the source?)
280280 | (P _ ty _, args) <- unApply sc
281− = nub (concatMap findForcePos args)
281+ = if null (concatMap (findNonForcePos True) args)
282+ then nub (concatMap findForcePos args)
283+ else []
282284 forceFrom i sc = []
283285
284286 findForcePos (P _ (MN i ff) _)