Merge pull request #365 from EliasC/fix/arrow-type-result-map

Fix #364

src/tests/encore/basic/functionCast.enc

@@ -0,0 +1,11 @@
+def fun() : (String, String) {
+  ("Hello", "world")
+}
+
+class Main {
+  def main() : void {
+    let foo = fun : () -> (String, String);
+    match foo() with
+      (h, w) => print("{} {}\n", h, w)
+  }
+}

src/tests/encore/basic/functionCast.out

@@ -0,0 +1 @@
+Hello world

src/types/Types.hs

@@ -375,7 +375,7 @@ typeMapM f ty@CapabilityType{capability} = do
   f ty{capability = capability'}
 typeMapM f ty@ArrowType{argTypes, resultType} = do
   argTypes' <- mapM (typeMapM f) argTypes
-  resultType' <- f resultType
+  resultType' <- typeMapM f resultType
   f ty{argTypes = argTypes'
       ,resultType = resultType'}
 typeMapM f ty@TupleType{argTypes} = do