Add tests.

savonet · Nov 12, 2023 · c4a1f26 · c4a1f26
1 parent 1806f98
commit c4a1f26
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 0 deletions.
diff --git a/tests/core/types.ml b/tests/core/types.ml
@@ -395,3 +395,9 @@ let () =
   in
 
   Typing.(a <: b)
+
+let () =
+  for _ = 0 to 20 do
+    let idx = Random.int 10_000 in
+    assert (Liquidsoap_lang.Type_base.(var_index (var_name idx) = idx))
+  done
diff --git a/tests/language/type_errors.liq b/tests/language/type_errors.liq
@@ -105,6 +105,20 @@ def f() =
   incorrect('fallback(transitions=[],transitions=[])')
   section("FUNCTIONS")
 
+  incorrect(
+    'def f((x:univ(a)), (y:univ(a))) = 1 end f(123, "aabb")'
+  )
+  correct(
+    'def f((x:univ(a)), (y:univ(b))) = 1 end f(123, "aabb")'
+  )
+
+  incorrect(
+    'def x = (1:univ?) end x + 1'
+  )
+  correct(
+    'def x = (1:univ) end x + 1'
+  )
+
   # Partial application is not supported anymore
   incorrect(
     'def f(x,y) = y end ignore(f(2))'