on master help sign in
Undo more liberal choice of forced arguments
7c95173Edwin Brady
src/Idris/Elab/Data.hs+3−1
@@ -278,7 +278,9 @@ forceArgs ctxt ty = forceFrom 0 ty
278 -- definitely wants, which is particularly the case with 'views'.
278 -- definitely wants, which is particularly the case with 'views'.
279 -- So perhaps we need a way of marking that in the source?)
279 -- So perhaps we need a way of marking that in the source?)
280 | (P _ ty _, args) <- unApply sc
280 | (P _ ty _, args) <- unApply sc
281+ = if null (concatMap (findNonForcePos True) args)
281− = nub (concatMap findForcePos args)
282+ then nub (concatMap findForcePos args)
283+ else []
282 forceFrom i sc = []
284 forceFrom i sc = []
283
285
284 findForcePos (P _ (MN i ff) _)
286 findForcePos (P _ (MN i ff) _)