v0.4.1

CHANGELOG.md

@@ -1,5 +1,10 @@
 # Changelog
 
+## v0.4.1 - 2019-09-29
+
+- Struct types with parameterised fields are now registered with the correct
+  number of type parameters.
+
 ## v0.4.0 - 2019-09-19
 
 - The struct data type has be introduced. Structs are pre-declared user

gleam/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "gleam"
-version = "0.4.0"
+version = "0.4.1"
 authors = ["Louis Pilfold <[email protected]>"]
 edition = "2018"
 

gleam/src/typ.rs

@@ -1643,7 +1643,7 @@ pub fn infer_module(
                     TypeConstructorInfo {
                         module: module_name.clone(),
                         public,
-                        arity: fields.len(),
+                        arity: type_args.len(),
                     },
                 );
                 // Build return type and collect type vars that can be used by the constructor
@@ -3699,6 +3699,14 @@ pub fn two() { one() + zero() }",
                 ("third", "fn(Tup(a, b, c)) -> c"),
             ],
         },
+        Case {
+            src: "pub struct Box(x) { label: String contents: x }
+                  pub fn id(x: Box(y)) { x }",
+            module: vec![
+                ("Box", "fn(String, a) -> Box(a)"),
+                ("id", "fn(Box(a)) -> Box(a)"),
+            ],
+        },
         // Case {
         //     src: "pub struct Box(a) { boxed: a }
         //           pub fn unbox_int(b: Box(Int)) { b.boxed }",