Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/typechecker/type-error.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/typechecker/type-error.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3417, Thu Nov 12 23:41:06 2015 UTC revision 3418, Fri Nov 13 00:00:26 2015 UTC
# Line 9  Line 9 
9  structure TypeError : sig  structure TypeError : sig
10    
11      datatype token      datatype token
12        = S of string | A of Atom.atom        = S of string             (* literal string *)
13        | V of AST.var | TY of Types.ty | TYS of Types.ty list        | A of Atom.atom          (* atom; will print in single quotes ('...') *)
14        | LN of Error.location        | V of AST.var            (* AST variable; will print name in single quotes ('...') *)
15          | TY of Types.ty          (* type expression *)
16          | TYS of Types.ty list    (* list of types *)
17          | LN of Error.location    (* source-code location; prints as a line number *)
18    
19    (* format an error message *)    (* format an error message *)
20      val format : token list -> string list      val format : token list -> string list

Legend:
Removed from v.3417  
changed lines
  Added in v.3418

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0