aboutsummaryrefslogtreecommitdiff
path: root/lib/qparser/parser.mly
diff options
context:
space:
mode:
authorChimrod <>2023-10-22 07:14:20 +0200
committerChimrod <>2023-10-25 17:56:30 +0200
commit2a2198e91063684a1b19974acc19c25b55266724 (patch)
treeb43e4b1b62c61fd828a53d6b261c790ffa797ae0 /lib/qparser/parser.mly
parent2cad3abf180c14e0c026033d65f4fb895b5348f7 (diff)
Refactoring the API
Diffstat (limited to 'lib/qparser/parser.mly')
-rw-r--r--lib/qparser/parser.mly10
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)
)