Merge pull request #458 from jinko-core/typecheck-generated-fn

Typecheck generated function

tests/ft/generics/generic_fns.jk

@@ -2,3 +2,16 @@
 func returns_generic[T]() -> T { true }
 
 func id[T](value: T) -> T { value }
+
+func call_bark_method[T](instance: T) {
+    instance.bark()
+}
+
+func animal_full_suite[A](animal: A) {
+    animal.bark();
+    animal.eat();
+    animal.scream();
+    animal.run();
+    animal.swim();
+    animal.fly();
+}

tests/ft/generics/generics.yml

@@ -29,3 +29,18 @@ tests:
     args:
       - "tests/ft/generics/valid_call_generic_twice.jk"
     exit_code: 0
+  - name: "Valid use of ducktyping"
+    binary: "target/debug/jinko"
+    args:
+      - "tests/ft/generics/valid_ducktyping.jk"
+    exit_code: 0
+  - name: "Valid multi-use of ducktyping"
+    binary: "target/debug/jinko"
+    args:
+      - "tests/ft/generics/valid_multiple_ducktyping.jk"
+    exit_code: 0
+  - name: "Invalid use of ducktyping"
+    binary: "target/debug/jinko"
+    args:
+      - "tests/ft/generics/invalid_ducktyping.jk"
+    exit_code: 1

tests/ft/generics/invalid_ducktyping.jk

@@ -0,0 +1,14 @@
+incl generic_fns
+
+func bark(dog: int) {
+    println("I'm an integer wtf")
+}
+
+type Cat;
+
+func meow(cat: Cat) {
+    // It's a silent cat
+}
+
+garfield = Cat;
+call_bark_method[Cat](garfield);

tests/ft/generics/valid_ducktyping.jk

@@ -0,0 +1,11 @@
+incl generic_fns
+
+type Dog;
+
+func bark(dog: Dog) {
+    println("Hey!")
+}
+
+// Create an instance of Dog
+rex = Dog;
+call_bark_method[Dog](rex);

tests/ft/generics/valid_multiple_ducktyping.jk

@@ -0,0 +1,13 @@
+incl generic_fns;
+
+type Griffin;
+
+func bark[Griffin](g: Griffin) {}
+func eat[Griffin](g: Griffin) {}
+func scream[Griffin](g: Griffin) {}
+func run[Griffin](g: Griffin) {}
+func swim[Griffin](g: Griffin) {}
+func fly[Griffin](g: Griffin) {}
+
+griffin_instance = Griffin;
+animal_full_suite[Griffin](griffin_instance);