diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2.lem | 3 | ||||
| -rw-r--r-- | language/l2.ott | 3 | ||||
| -rw-r--r-- | language/l2_parse.ml | 1 | ||||
| -rw-r--r-- | language/l2_parse.ott | 1 |
4 files changed, 6 insertions, 2 deletions
diff --git a/language/l2.lem b/language/l2.lem index 7abd595c..dbfcb832 100644 --- a/language/l2.lem +++ b/language/l2.lem @@ -7,8 +7,9 @@ open import Set_extra type l = | Unknown - | Int of string * maybe l (*Internally generated*) + | Int of string * l option (*internal types, functions*) | Range of string * nat * nat * nat * nat + | Generated of l (*location for a generated node, where l is the location of the closest original source*) type annot 'a = l * 'a diff --git a/language/l2.ott b/language/l2.ott index fcd3abe8..94362c44 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -57,8 +57,9 @@ open import Set_extra type l = | Unknown - | Int of string * maybe l (*Internally generated*) + | Int of string * l option (*internal types, functions*) | Range of string * nat * nat * nat * nat + | Generated of l (*location for a generated node, where l is the location of the closest original source*) type annot 'a = l * 'a diff --git a/language/l2_parse.ml b/language/l2_parse.ml index 76fa09b8..db50ecb6 100644 --- a/language/l2_parse.ml +++ b/language/l2_parse.ml @@ -6,6 +6,7 @@ type text = string type l = | Unknown | Int of string * l option + | Generated of l | Range of Lexing.position * Lexing.position type 'a annot = l * 'a diff --git a/language/l2_parse.ott b/language/l2_parse.ott index 83da93ad..ae6d89bb 100644 --- a/language/l2_parse.ott +++ b/language/l2_parse.ott @@ -46,6 +46,7 @@ type text = string type l = | Unknown | Int of string * l option + | Generated of l | Range of Lexing.position * Lexing.position type 'a annot = l * 'a |