Benjamin_Loison/Synchronous_reactive_systems
1
0
Fork 0
Code Issues 7 Pull Requests Packages Projects Releases Wiki Activity

Replace nunmbers to numbers in two comments of src/parser.mly

Browse Source
This commit is contained in:
Benjamin Loison 2022-12-19 19:48:21 +01:00
parent 10838d3f2d
commit 025d25a146
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/parser.mly
View File

@ -63,7 +63,7 @@
let make_binop_nonbool e1 e2 op error_msg = let make_binop_nonbool e1 e2 op error_msg =
let t1 = type_exp e1 in let t2 = type_exp e2 in let t1 = type_exp e1 in let t2 = type_exp e2 in
(** e1 and e2 should be nunmbers here.*) (** e1 and e2 should be numbers here.*)
if list_chk t1 [[TInt]; [TReal]] && list_chk t2 [[TInt]; [TReal]] if list_chk t1 [[TInt]; [TReal]] && list_chk t2 [[TInt]; [TReal]]
then then
begin begin
@ -88,7 +88,7 @@
let make_comp_nonbool e1 e2 op error_msg = let make_comp_nonbool e1 e2 op error_msg =
let t1 = type_exp e1 in let t2 = type_exp e2 in let t1 = type_exp e1 in let t2 = type_exp e2 in
(** e1 and e2 should be nunmbers here.*) (** e1 and e2 should be numbers here.*)
if list_chk t1 [[TInt]; [TReal]] && list_chk t2 [[TInt]; [TReal]] if list_chk t1 [[TInt]; [TReal]] && list_chk t2 [[TInt]; [TReal]]
then then
begin begin