Minor improvements

tjammer · Nov 8, 2024 · 1828e2a · 1828e2a
1 parent ecae667
commit 1828e2a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lib/parser.mly b/lib/parser.mly
@@ -75,7 +75,7 @@
 
 %left And Or
 %left Eq_op
-%nonassoc Cmp_op
+%left Cmp_op
 %left Plus_op
 %left Mult_op
 %left Dot Ampersand Exclamation

diff --git a/lib/typing/exclusivity.ml b/lib/typing/exclusivity.ml
@@ -582,7 +582,7 @@ let get_closed_make_usage_delayed tree b =
             (* Move the closed variable into the closure *)
             (move_closed tree c, Umove)
       | None -> (* Touched but not closed? Let's read it *) (tree, Uread))
-  | Tfun _ -> failwith "Oh really?!"
+  | Tfun _ -> (tree, Usage.Uread)
   | _ -> failwith "Internal Error: Not a function type"
 
 let make_usage tree (use : touched) = (tree, Usage.of_attr use.tattr)