CBE: re-introduce bgamari's fixes
ClosedPublic

Authored by michalt on Feb 6 2018, 1:28 PM.

Details

Summary

During some recent work on CBE we discovered that zipWith is used to
check for equality, but that doesn't quite work if lists are of
different lengths! This was fixed by bgamari, but unfortunately the fix
had to be rolled back due to other changes in CBE in
50adbd7c5fe5894d3e6e2a58b353ed07e5f8949d. Since I wanted to have another
look at CBE anyway, we agreed that the first thing to do would be to
re-introduce the fix.

Sadly I don't have any actual test case that would exercise this.

Signed-off-by: Michal Terepeta <michal.terepeta@gmail.com>

Test Plan

./validate

Diff Detail

Repository
rGHC Glasgow Haskell Compiler
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.
michalt created this revision.Feb 6 2018, 1:28 PM
This revision is now accepted and ready to land.Feb 12 2018, 6:49 PM
This revision was automatically updated to reflect the committed changes.