on master help sign in
Fix mistake in Data.hs
commitdd231d2b520c49c1afbdd4b2ac6053cb1b3c3f3a authorEdwin Brady <ecb10@st-andrews.ac.uk> dateFri 2 Dec 2016, 10:28 (10 years ago) parentfe68986
1 file changed+1−1
src/Idris/Elab/Data.hs+1−1
src/Idris/Elab/Data.hs+1−1
@@ -278,7 +278,7 @@ 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− = null (concatMap (findNonForcePos True) args)
281+ = nub (concatMap findForcePos args)
282282 forceFrom i sc = []
283283
284284 findForcePos (P _ (MN i ff) _)