diff options
| author | Brian Campbell | 2017-08-28 11:29:37 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-08-28 11:29:37 +0100 |
| commit | b0dbd56a224497d91bc2f1950b2f3246247b02b3 (patch) | |
| tree | fdfd3009958ea22a4693b7f52fcb43af3a17a8e7 /src/parser2.mly | |
| parent | 0025734876be60e2de6fba935cb507a6158d870a (diff) | |
| parent | beb2279dcab654d6e7c6ff16247dd93c743a27ba (diff) | |
Merge branch 'experiments' of bitbucket.org:Peter_Sewell/sail into mono-experiments
# Conflicts:
# src/gen_lib/sail_values.lem
Diffstat (limited to 'src/parser2.mly')
| -rw-r--r-- | src/parser2.mly | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/parser2.mly b/src/parser2.mly index bde542e0..42e13721 100644 --- a/src/parser2.mly +++ b/src/parser2.mly @@ -153,6 +153,8 @@ let rec desugar_rchain chain s e = %token <string> Op0r Op1r Op2r Op3r Op4r Op5r Op6r Op7r Op8r Op9r %start file +%start typschm +%type <Parse_ast.typschm> typschm %type <Parse_ast.defs> defs %type <Parse_ast.defs> file @@ -1022,4 +1024,3 @@ defs: file: | defs Eof { $1 } - |