Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/compiler/Parse/ast/ast.sml
ViewVC logotype

Diff of /sml/trunk/compiler/Parse/ast/ast.sml

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

revision 4089, Thu Aug 13 11:31:29 2015 UTC revision 4090, Fri Aug 14 08:54:34 2015 UTC
# Line 65  Line 65 
65  and rule = Rule of {pat:pat,exp:exp}  and rule = Rule of {pat:pat,exp:exp}
66    
67  (* PATTERN *)  (* PATTERN *)
68  and pat = WildPat                               (* empty pattern *)  and pat
69      = WildPat                             (* empty pattern *)
70          | VarPat of path                        (* variable pattern *)          | VarPat of path                        (* variable pattern *)
71          | IntPat of literal                     (* integer *)          | IntPat of literal                     (* integer *)
72          | WordPat of literal                    (* word literal *)          | WordPat of literal                    (* word literal *)
# Line 76  Line 77 
77          | ListPat of pat list                  (*  [list,in,square,brackets] *)          | ListPat of pat list                  (*  [list,in,square,brackets] *)
78          | TuplePat of pat list                  (* tuple *)          | TuplePat of pat list                  (* tuple *)
79          | FlatAppPat of pat fixitem list (* patterns before fixity parsing *)          | FlatAppPat of pat fixitem list (* patterns before fixity parsing *)
80          | AppPat of {constr:pat,argument:pat}   (* application *)    | AppPat of {constr:pat,argument:pat} (* constructor application *)
81          | ConstraintPat of {pattern:pat,constraint:ty}          | ConstraintPat of {pattern:pat,constraint:ty}
82                                                  (* constraint *)                                                  (* constraint *)
83          | LayeredPat of {varPat:pat,expPat:pat} (* as expressions *)    | LayeredPat of {varPat:pat,expPat:pat} (* as patterns *)
84          | MarkPat of pat * region       (* mark a pattern *)          | MarkPat of pat * region       (* mark a pattern *)
85          | VectorPat of pat list                 (* vector pattern *)          | VectorPat of pat list                 (* vector pattern *)
86          | OrPat of pat list                     (* or-pattern *)          | OrPat of pat list                     (* or-pattern *)

Legend:
Removed from v.4089  
changed lines
  Added in v.4090

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