Force the result of seq#
AbandonedPublic

Authored by dfeuer on Jun 4 2018, 1:57 PM.

Details

Reviewers
hvr
bgamari
Trac Issues
#15226
Summary

Make evaluate force the result of seq#. This is a pretty strange
thing to do, because the result of seq# is guaranteed to be in
WHNF! However, the demand signature of seq# does not reveal this
fact.

dfeuer created this revision.Jun 4 2018, 1:57 PM
dfeuer updated this revision to Diff 16703.Jun 4 2018, 2:24 PM
  • Add note.

The cure seems a bit worse than the disease to me. In exchange for removing a thunk in some rare cases, we get an extra case every time we use evaluate.

dfeuer abandoned this revision.Jun 5 2018, 11:49 AM

I've opened D4796 to fix the problem in the simplifier.