Differential D4789

Force the result of seq#
AbandonedPublic
Actions

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.

Diff Detail

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.
simonmar added a subscriber: simonmar.Jun 5 2018, 5:19 AM

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.

Revision Contents
Changeset List

PathPackages
Mlibraries/base/GHC/IO.hs (18 lines)

Diff 16703

View Options

libraries/base/GHC/IO.hs

Loading...