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

[#197] Typechecker hangs with a large number of curried arguments

Date:
2018-03-25 09:39
Priority:
3
State:
Open
Submitted by:
Jackson Woodruff (jwoodruff)
Assigned to:
David MacQueen (dbm)
Machine Architecture:
None
Operating System:
None
Component:
Compiler
Resolution:
Accepted As Bug
Severity:
Minor
OS Version:
SML/NJ Version:
110.82
Keywords:
typechecker, hangs
URL:
Transcript (of reproduction):
Source (for reproduction):
(* Takes unbearably long to typecheck. The correct version typechecks quickly. *) fun f' 0 b c d e f g h i j k l m n p q r s = 0 | f' a b c d e f g h i j k l m n p q r s = f' (a - 1) b c d e f g h i j k l m n p q r
Summary:
Typechecker hangs with a large number of curried arguments

Detailed description
Hi all,

The typechecker appears to undergo some sort of exponential blowup when the number of curried arguments is increased to about 15. I've included an example above.

Tested on 110.79 and a trunk I built a few months ago. FWIW, MosML and PolyML have no issues detecting the error.

Thanks,

Jackson

Comments:

No Comments Have Been Posted

Attached Files:

Changes

Field Old Value Date By
assigned_tonone2018-03-25 11:45jhr
ComponentNone2018-03-25 11:45jhr
ResolutionNone2018-03-25 11:45jhr
SeverityNone2018-03-25 11:45jhr