summaryrefslogtreecommitdiff
path: root/test/trait-builtin.myr
diff options
context:
space:
mode:
Diffstat (limited to 'test/trait-builtin.myr')
-rw-r--r--test/trait-builtin.myr4
1 files changed, 2 insertions, 2 deletions
diff --git a/test/trait-builtin.myr b/test/trait-builtin.myr
index 93c5bda..cdb8735 100644
--- a/test/trait-builtin.myr
+++ b/test/trait-builtin.myr
@@ -7,7 +7,7 @@ comparing to 42 wouldn't work.
exits with 42.
*/
-generic max = {a:@a::numeric, b:@a::numeric
+generic max = {a : @a, b : @a :: numeric @a
if a > b
-> a
else
@@ -15,7 +15,7 @@ generic max = {a:@a::numeric, b:@a::numeric
;;
}
-generic intlike_is42 = {a : @a::(numeric,integral)
+generic intlike_is42 = {a : @a :: numeric,integral @a
-> a == 42
}