shithub: mc

Info  •  Files  •  Log  •  Branches

Add a new test for matching over generics.

    Currently fails due to a lack of deep unification in post-union
    matching.

--- /dev/null

+++ b/test/genericmatch.myr

@@ -1,0 +1,13 @@

+use std

+

+type t(@a) = union

+	`Foo @a

+	`Bar

+;;

+

+const main = {

+	match `Foo 123

+	`Foo a:	-> 0xf;;

+	`Bar:	-> 0x0;;

+	;;

+}

--- a/test/tests

+++ b/test/tests

@@ -62,6 +62,7 @@

 B genericcall	E	42

 B generictype	E	0

 B genericret	E	42

+B genericmatch	E	15

 B genericrec	E	0

 B sizeof	E	4

 B gsizeof	E	5