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

[#261] Weird "calc_strictness" message being printed

Date:
2020-07-06 18:24
Priority:
3
State:
Closed
Submitted by:
John Reppy (jhr)
Assigned to:
David MacQueen (dbm)
Machine Architecture:
All
Operating System:
All
Component:
Compiler
Resolution:
Accepted As Bug
Severity:
Cosmetic
OS Version:
SML/NJ Version:
110.97
Keywords:
type checker, type error messages
URL:
Transcript (of reproduction):
Standard ML of New Jersey (64-bit) v110.97 [built: Tue Apr 21 17:39:48 2020] - type t = 'a; stdIn:1.8-1.14 Error: unbound type variable in type declaration: 'a #### calc_strictness ####
Source (for reproduction):
type t = 'a;
Summary:
Weird "calc_strictness" message being printed

Detailed description
Weird message about "calc_strictness" printed

Comments:

Message  ↓
Date: 2020-07-07 01:12
Sender: David MacQueen

Fixed by rewriting the function ElabUtil.calc_strictness and moving it to TypesUtil.

Date: 2020-07-06 18:39
Sender: John Reppy

This "calc_strictness" message comes from line 411 of Elaborator/elaborate/elabutil.sml

Attached Files:

Changes

Field Old Value Date By
status_idOpen2020-07-07 01:12dbm
close_dateNone2020-07-07 01:12dbm