Update examples

hkust-taco · Sep 10, 2023 · 92b2566 · 92b2566
1 parent 1070b77
commit 92b2566
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/shared/src/test/diff/ocaml/OriginalDraftIntro.mls b/shared/src/test/diff/ocaml/OriginalDraftIntro.mls
@@ -154,23 +154,23 @@ let g x = ( not x
           , if true then x else 5)
 //│ [ERROR] Type `int` does not match `bool`
 //│ 
-//│         (int) ---> (?a) <--- (?b) ---> (bool)
+//│         (int) ---> (?b) <--- (?a) ---> (bool)
 //│ 
 //│ ◉ (int) comes from
 //│ │  - l.2            , if true then x else 5)
 //│ │                                         ^
 //│ │  - l.2            , if true then x else 5)
 //│ │                     ^^^^^^^^^^^^^^^^^^^^^
 //│ ▼ 
-//│ ◉ (?a) is assumed for
+//│ ◉ (?b) is assumed for
 //│ ▲  - l.2            , if true then x else 5)
 //│ │                     ^^^^^^^^^^^^^^^^^^^^^
 //│ │  - l.2            , if true then x else 5)
 //│ │                                  ^
 //│ │  - l.1  let g x = ( not x
 //│ │               ^
 //│ │ 
-//│ ◉ (?b) is assumed for
+//│ ◉ (?a) is assumed for
 //│ │  - l.1  let g x = ( not x
 //│ │               ^
 //│ │  - l.1  let g x = ( not x

diff --git a/shared/src/test/diff/ocaml/SurveyHard2.mls b/shared/src/test/diff/ocaml/SurveyHard2.mls
@@ -45,27 +45,27 @@ let bigAdd l1 l2 =
 //│                   ^^^^^^^
 //│ [ERROR] Type `int` does not match `_ * _`
 //│ 
-//│         (int) <--- (?a) ~~~~ (?b) ---> (_ * _)
+//│         (int) <--- (?b) ~~~~ (?a) ---> (_ * _)
 //│ 
 //│ ◉ (int) comes from
 //│ ▲  - lib. let (+): int -> int -> int
 //│ │                  ^^^
 //│ │  - l.11     let f a x = (a + x) mod 10 in
 //│ │                          ^
 //│ │ 
-//│ ◉ (?a) is assumed for
+//│ ◉ (?b) is assumed for
 //│    - l.11     let f a x = (a + x) mod 10 in
 //│                     ^
-//│   ◉ (?a -> _ -> int) comes from
+//│   ◉ (?b -> _ -> int) comes from
 //│   │  - l.11     let f a x = (a + x) mod 10 in
 //│   │                   ^^^^^^^^^^^^^^^^^^^^
 //│   │  - l.14     let (_,res) = List.fold_left f base args in res in
 //│   │                                          ^
 //│   ▼ 
-//│   ◉ (?b -> _ -> ?b) comes from
+//│   ◉ (?a -> _ -> ?a) comes from
 //│      - lib. let List.fold_left : ('a -> 'b -> 'a) -> 'a -> 'b list -> 'a
 //│                                   ^^^^^^^^^^^^^^
-//│ ◉ (?b) is assumed for
+//│ ◉ (?a) is assumed for
 //│ │  - l.14     let (_,res) = List.fold_left f base args in res in
 //│ │                           ^^^^^^^^^^^^^^^^^^^^^^^^^^
 //│ ▼