@@ -41,7 +41,7 @@ inc tipe x =
41 | ctor == "Bool" -> from JSBoolean
41 | ctor == "Bool" -> from JSBoolean
42 | ctor == "String" -> from JSString
42 | ctor == "String" -> from JSString
44− from checks = check x checks (obj ("_J.to" ++ ctor) <| x)
44+ from checks = check x checks x
46 Data ctor [t]
46 Data ctor [t]
47 | ctor == "Maybe.Maybe" ->
47 | ctor == "Maybe.Maybe" ->
@@ -50,7 +50,7 @@ inc tipe x =
50 (obj "Maybe.Just" <| inc t x)
50 (obj "Maybe.Just" <| inc t x)
52 | ctor == "_List" ->
52 | ctor == "_List" ->
53− check x JSArray (obj "_J.toList" <| array)
53+ check x JSArray (obj "_L.fromArray" <| array)
55 array = DotRef () x (var "map") <| incoming t
55 array = DotRef () x (var "map") <| incoming t
@@ -101,7 +101,7 @@ out tipe x =
101 Var _ -> error "type variables should not be allowed through input ports"
101 Var _ -> error "type variables should not be allowed through input ports"
102 Data ctor []
102 Data ctor []
103 | ctor `elem` ["Int","Float","Bool","String"] ->
103 | ctor `elem` ["Int","Float","Bool","String"] ->
104− obj ("_J.from" ++ ctor) <| x
104+ x
106 Data ctor [t]
106 Data ctor [t]
107 | ctor == "Maybe.Maybe" ->
107 | ctor == "Maybe.Maybe" ->
@@ -110,7 +110,7 @@ out tipe x =
110 (out t (DotRef () x (var "_0")))
110 (out t (DotRef () x (var "_0")))
112 | ctor == "_List" ->
112 | ctor == "_List" ->
113− DotRef () (obj "_J.fromList" <| x) (var "map") <| outgoing t
113+ DotRef () (obj "_L.toArray" <| x) (var "map") <| outgoing t
115 Data ctor ts
115 Data ctor ts
116 | Help.isTuple ctor ->
116 | Help.isTuple ctor ->