@@ -267,7 +267,8 @@ eval traceon ctxt ntimes genv tm opts = ev ntimes [] True [] tm where
267267 t' <- ev ntimes stk top env t
268268-- tfull' <- reapply ntimes stk top env t' []
269269 return (doProj t' (getValArgs t'))
270− where doProj t' (VP (DCon _ _) _ _, args) | i < length args = args!!i
270+ where doProj t' (VP (DCon _ _) _ _, args)
271+ | i >=0 && i < length args = args!!i
271272 doProj t' _ = VProj t' i
272273
273274 ev ntimes stk top env (Constant c) = return $ VConstant c