Home My Page Projects Code Snippets Project Openings SML/NJ Bugs
Summary Activity Tracker Lists

[#143] Closure thinning is broken.

Date:
2015-10-04 15:06
Priority:
3
State:
Open
Submitted by:
John Reppy (jhr)
Assigned to:
Zhong Shao (shao)
Machine Architecture:
All
Operating System:
All
Component:
Compiler
Resolution:
Accepted As Bug
Severity:
Major
OS Version:
SML/NJ Version:
110.78
Keywords:
FLINT, closure conversion
URL:
Transcript (of reproduction):
See bug [#140] for details.
Source (for reproduction):
Try to build the twelf solvers library using version 110.78.
Summary:
Closure thinning is broken.

Detailed description
See bug [#140] for more information.

This bug was caused by the switch in 110.78 to a new implementation of ListMergeSort.sort. The old implementation reversed the order of equal elements, whereas the new implementation is a stable sort. I have tracked the bug down to a specific instance of the sort in FLINT/clos/closure.sml, but I not been able to figure out what the fix is. We patched [#140] by switching back to the old sort, but we should understand why thinning depends on the order.


Comments:

No Comments Have Been Posted

Attached Files:

Changes

No Changes Have Been Made to This Item