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

[#129] Symbolic identifiers are allowed as strids

Date:
2014-11-14 16:50
Priority:
3
State:
Open
Submitted by:
Bug Submitter (webuser)
Assigned to:
David MacQueen (dbm)
Machine Architecture:
None
Operating System:
Generic Unix
Component:
Compiler
Resolution:
None
Severity:
Minor
OS Version:
any
SML/NJ Version:
110.77
Keywords:
syntax
URL:
Transcript (of reproduction):
jhr@valhalla sml Standard ML of New Jersey v110.77 [built: Sat Aug 23 09:49:47 2014] - structure ## = struct end; structure ## : sig end
Source (for reproduction):
structure ## = struct end
Summary:
Symbolic identifiers are allowed as strids

Detailed description
The definition states that stride must be alphanumeric, but
SML/NJ allows symbolic IDs as structure names too.
Additional comments:
Although the definition does not say so, I would think
that this restriction should apply to signature IDs too.

Submitted via web form by John Reppy jhr@cs.uchicago.edu

Comments:

No Comments Have Been Posted

Attached Files:

Changes

Field Old Value Date By
assigned_tonone2014-11-25 21:39jhr