Fix the type of append

chrisdone · chrisdone · commit a2b23a095741 · 2018-04-10T14:54:01.000+01:00
diff --git a/src/JL/Functions.hs b/src/JL/Functions.hs
@@ -413,7 +413,7 @@ appendf =
                     (ConstantCore (StringConstant xs'), ConstantCore (StringConstant ys')) ->
                       (ConstantCore (StringConstant (xs' <> ys')))
                     _ -> error "can only append two sequences of the same type"))))
-  , definitionType = FunctionType JSONType JSONType
+  , definitionType = FunctionType JSONType (FunctionType JSONType JSONType)
   }
 
 nubf :: Definition

Original file line number	Diff line number	Diff line change
`@@ -413,7 +413,7 @@ appendf =`
`413`	`413`	`(ConstantCore (StringConstant xs'), ConstantCore (StringConstant ys')) ->`
`414`	`414`	`(ConstantCore (StringConstant (xs' <> ys')))`
`415`	`415`	`_ -> error "can only append two sequences of the same type"))))`
`416`		`- , definitionType = FunctionType JSONType JSONType`
	`416`	`+ , definitionType = FunctionType JSONType (FunctionType JSONType JSONType)`
`417`	`417`	`}`
`418`	`418`
`419`	`419`	`nubf :: Definition`