@@ -41,7 +41,7 @@ inc tipe x =
4141 | ctor == "Bool" -> from JSBoolean
4242 | ctor == "String" -> from JSString
4343 where
44− from checks = check x checks (obj ("_J.to" ++ ctor) <| x)
44+ from checks = check x checks x
4545
4646 Data ctor [t]
4747 | ctor == "Maybe.Maybe" ->
@@ -50,7 +50,7 @@ inc tipe x =
5050 (obj "Maybe.Just" <| inc t x)
5151
5252 | ctor == "_List" ->
53− check x JSArray (obj "_J.toList" <| array)
53+ check x JSArray (obj "_L.fromArray" <| array)
5454 where
5555 array = DotRef () x (var "map") <| incoming t
5656
@@ -101,7 +101,7 @@ out tipe x =
101101 Var _ -> error "type variables should not be allowed through input ports"
102102 Data ctor []
103103 | ctor `elem` ["Int","Float","Bool","String"] ->
104− obj ("_J.from" ++ ctor) <| x
104+ x
105105
106106 Data ctor [t]
107107 | ctor == "Maybe.Maybe" ->
@@ -110,7 +110,7 @@ out tipe x =
110110 (out t (DotRef () x (var "_0")))
111111
112112 | ctor == "_List" ->
113− DotRef () (obj "_J.fromList" <| x) (var "map") <| outgoing t
113+ DotRef () (obj "_L.toArray" <| x) (var "map") <| outgoing t
114114
115115 Data ctor ts
116116 | Help.isTuple ctor ->