add test

anoma · Sep 14, 2023 · 128b589 · 128b589
1 parent 0945d54
commit 128b589
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/tests/Compilation/positive/out/test061.out b/tests/Compilation/positive/out/test061.out
@@ -10,4 +10,5 @@ just (true) :: nothing :: just (false) :: nil
 just (1 :: nil) :: nothing :: just (2 :: 3 :: nil) :: nil
 abba
 abba!
+abba3
 a :: b :: c :: d :: nil
diff --git a/tests/Compilation/positive/test061.juvix b/tests/Compilation/positive/test061.juvix
@@ -47,6 +47,8 @@ f'3 {A} {{M : Show A}} : A → String := Show.show {{M}};
 
 f'4 {A} {{_ : Show A}} : A → String := Show.show;
 
+f5 {A} {{Show A}} (n : String) (a : A) : String := n ++str Show.show a;
+
 main : IO :=
   printStringLn (Show.show true) >>
   printStringLn (f false) >>
@@ -60,4 +62,5 @@ main : IO :=
   printStringLn (f'4 [just [1]; nothing; just [2; 3]]) >>
   printStringLn (f'3 "abba") >>
   printStringLn (f'3 {{M := mkShow (λ{x := x ++str "!"})}} "abba") >>
+  printStringLn (f5 "abba" 3) >>
   printStringLn (Show.show ["a"; "b"; "c"; "d"]);