@@ -82,14 +82,14 @@ toType pairs outType (name,args) =
82 "Bool" -> BoolT
82 "Bool" -> BoolT
83 _ -> ADT x []
83 _ -> ADT x []
85−toForiegnType (LambdaPT t1 t2) =
85+toForeignType (LambdaPT t1 t2) =
86− LambdaT <$> toForiegnType t1 <*> toForiegnType t2
86+ LambdaT <$> toForeignType t1 <*> toForeignType t2
87−toForiegnType (ADTPT name args) = do
87+toForeignType (ADTPT name args) = do
88 case name == "JSArray" of
88 case name == "JSArray" of
89− True -> ADT name <$> mapM toForiegnType args
89+ True -> ADT name <$> mapM toForeignType args
90 False -> Left $ "'" ++ name ++
90 False -> Left $ "'" ++ name ++
91 "' is not an exportable type constructor. Only 'JSArray' is exportable."
91 "' is not an exportable type constructor. Only 'JSArray' is exportable."
92−toForiegnType (VarPT x@(c:_))
92+toForeignType (VarPT x@(c:_))
93 | isLower c =
93 | isLower c =
94 Left "All exported types must be concrete types (JSNumber, JSString, etc.)"
94 Left "All exported types must be concrete types (JSNumber, JSString, etc.)"
95 | x `elem` [ "JSString", "JSNumber", "JSElement" ] = Right (ADT x [])
95 | x `elem` [ "JSString", "JSNumber", "JSElement" ] = Right (ADT x [])