diff options
| author | Jonathan French | 2017-07-26 11:38:39 +0000 |
|---|---|---|
| committer | Jonathan French | 2017-07-26 11:38:39 +0000 |
| commit | 18cf235fad35a0e06e26ea91ee0e1c673febddb8 (patch) | |
| tree | 60514356175ebfbc0d2d24f70137fffcb8aba0e6 /language/l2_parse.ml | |
| parent | 2e1ca2e6b77b285168223263e747396ad01cb993 (diff) | |
| parent | 24469b4fda9ef14c7717aac415a398da29e8fbd0 (diff) | |
Merged in ojno/sail (pull request #1)
Footprint exhaustive evaluation fixes
Approved-by: Jonathan French <me@jonathanfrench.net>
Diffstat (limited to 'language/l2_parse.ml')
| -rw-r--r-- | language/l2_parse.ml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/language/l2_parse.ml b/language/l2_parse.ml index 8393207c..42ef8d44 100644 --- a/language/l2_parse.ml +++ b/language/l2_parse.ml @@ -1,8 +1,6 @@ (* generated by Ott 0.25 from: l2_parse.ott *) -type text = string - type l = | Unknown | Int of string * l option @@ -14,8 +12,8 @@ type 'a annot = l * 'a exception Parse_error_locn of l * string -type x = text (* identifier *) -type ix = text (* infix identifier *) +type x = string (* identifier *) +type ix = string (* infix identifier *) type base_kind_aux = (* base kind *) |