arity sensitive!

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "lambda_mountain"
-version = "1.20.38"
+version = "1.20.39"
 authors = ["Andrew <[email protected]>"]
 license = "MIT"
 description = "Typed Macro Assembler (backed by Coq proofs-of-correctness)"

Makefile

@@ -1,6 +1,6 @@
 
 dev: install-production
-	lm tests/unit/type-inference.lsts
+	lm tests/regress/3tuple.lsts
 	cc -O3 tmp.c
 	./a.out
 

PLATFORM/C/LIB/tuple.lsts

@@ -1,5 +1,6 @@
 
 type Tuple<x,y> = Tuple { first: x, second: y };
+type Tuple<x,y,z> = Tuple { first: x, second: y, third: z };
 
 let cmp(l: Tuple<x,y>, r: Tuple<x,y>): Ord = (
    cmp(l.first, r.first) && cmp(l.second, r.second)
@@ -13,6 +14,10 @@ let print(io: IO::File, l: Tuple<x,y>): Nil = (
    print(io, "("); print(io, l.first); print(io, ","); print(io, l.second); print(io, ")");
 );
 
+let print(io: IO::File, l: Tuple<x,y,z>): Nil = (
+   print(io, "("); print(io, l.first); print(io, ","); print(io, l.second); print(io, ","); print(io, l.third); print(io, ")");
+);
+
 let $"=="(l: Tuple<x,y>, r: Tuple<x,y>): U64 = (
    l.first == r.first && l.second == r.second
 );

tests/regress/3tuple.lsts

@@ -0,0 +1,7 @@
+
+import LIB/default.lm;
+
+let t2 = Tuple{ 1, 2 };
+print(t2);
+let t3 = Tuple{ 1, 2, 3 };
+print(t3);

tests/regress/3tuple.lsts.out

@@ -0,0 +1 @@
+(1,2)(1,2,3)