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

[#77] strange error message for syntax error

Date:
2011-08-19 19:01
Priority:
3
State:
Closed
Submitted by:
Bug Submitter (webuser)
Assigned to:
David MacQueen (dbm)
Machine Architecture:
All
Operating System:
Generic Unix
Component:
Compiler
Resolution:
Fixed
Severity:
Minor
OS Version:
any
SML/NJ Version:
110.73
Keywords:
datatype replication syntax
URL:
Transcript (of reproduction):
- structure S = struct = datatype foo = A | B of bar = and bar = Bar of int = end; structure S : sig datatype foo = A | B of bar datatype bar = Bar of int end - datatype foo = datatype S.foo = and bar = datatype S.bar; stdIn:14.1-15.25 Error: argument type variables in datatype replication
Source (for reproduction):
structure S = struct datatype foo = A | B of bar and bar = Bar of int end; datatype foo = datatype S.foo and bar = datatype S.bar; (* using and here is incorrect *)
Summary:
strange error message for syntax error

Detailed description
A syntax error results in a strange type error message.
Submitted via web form by John Reppy jar@cs.uchicago.edu

Comments:

Message  ↓
Date: 2012-01-17 05:02
Sender: David MacQueen

Fixed by changing ml.grm so that this example causes a syntax error instead, as it should. Changes required revising art, with follow-up changes to elaborator, cm, etc.

Attached Files:

Changes

Field Old Value Date By
status_idOpen2012-01-17 05:02dbm
close_date2012-01-17 05:022012-01-17 05:02dbm
Machine ArchitectureNone2012-01-17 05:02dbm
ResolutionNone2012-01-17 05:02dbm
assigned_tonone2011-09-12 15:25jhr