diff options
Diffstat (limited to 'lib/qparser/parser.mly')
| -rw-r--r-- | lib/qparser/parser.mly | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/lib/qparser/parser.mly b/lib/qparser/parser.mly index 63b9577..d84e534 100644 --- a/lib/qparser/parser.mly +++ b/lib/qparser/parser.mly @@ -1,4 +1,3 @@ - %{ module T = Qsp_syntax.T open StdLabels @@ -6,8 +5,7 @@ type action_block = { loc : Qsp_syntax.S.pos ; expression : - Qsp_syntax.Report.t list - -> Analyzer.Expression.t' * Qsp_syntax.Report.t list + Analyzer.Expression.t' * Qsp_syntax.Report.t list ; body : Analyzer.Instruction.t Qsp_syntax.S.repr list ; pos : Qsp_syntax.S.pos ; clauses : ( @@ -21,7 +19,7 @@ %} %parameter<Analyzer: Qsp_syntax.S.Analyzer> -%start <Analyzer.Location.t Qsp_syntax.S.repr>main +%start <(Analyzer.Location.t * Qsp_syntax.Report.t list) Qsp_syntax.S.repr>main %on_error_reduce expression instruction unary_operator assignation_operator %% @@ -77,7 +75,7 @@ line_statement: END TOKEN? line_sep { - let expression = Helper.v e in + let expression = Helper.v' e in let clauses = match b with | None -> None | Some (elifs, clauses) -> @@ -86,7 +84,7 @@ line_statement: | _ -> List.map elifs ~f:(fun ((pos:Qsp_syntax.S.pos), e, instructions) -> - let e = Helper.v e in + let e = Helper.v' e in (pos, e, instructions) ) |