Permalink
Browse files

[fix] Stdlib: Adapt to new unification with abbreviations heights.

Some cyclic types appeared due ti the fact that unwinding of type is now
different.
  • Loading branch information...
1 parent b12589b commit e130710c7318f53ac757c0fc764b0dfcc67b3d46 @fpessaux fpessaux committed Aug 8, 2011
@@ -1553,7 +1553,7 @@ CTable = {{
*/
@both
send(table : CTable.t('a, 'state, 'row, 'col), message : CTable.msg('a, 'state, 'row, 'col)) =
- Session.send(table,@opensums(message))
+ Session.send(table, @opensums(message) : CTable.internal_msg)
default_data_writer = {
initial_state = { Init }
View
@@ -446,7 +446,7 @@ Map_private =
min_binding(m : Map_private.map) =
rec aux(a_map : Map_private.map) =
match a_map with
- | { left = { empty } ~key ~value right = _ ... } -> (key, value)
+ | { left = ({ empty } : map) ~key ~value right = _ ... } -> (key, value)
| { ~left key = _ value = _ right = _ ... } -> aux(left)
| { empty } -> error("Map.min_binding: Not Found")
aux(m)
@@ -97,7 +97,7 @@ type OpaRPC.interface = {{
unserialize(str:string): option(OpaRPC.request) =
match Json.deserialize_opt(str) with
- | {some={List=[{List=(types : list(RPC.Json.json))},
+ | {some={List=[{List=(types : list(RPC.Json.json))} : RPC.Json.json,
{List=(rows : list(RPC.Json.json))},
{List=(cols : list(RPC.Json.json))},
{List=(values : list(RPC.Json.json))}]}} ->
@@ -186,7 +186,7 @@ type OpaRPC.interface = {{
rows = serialize_aux(request.rows)
cols = serialize_aux(request.cols)
Json.serialize_opt(
- {List=[{List=types},{List=rows},{List=cols},{List=List.rev(request.values)}]}
+ {List=[{List=types},{List=rows},{List=cols},{List=List.rev(request.values)}]} : RPC.Json.json
)
}} /* disabled for S3: : OpaRPC.interface */
@@ -258,7 +258,7 @@ Session = {{
Hlnet.setup_respond(chan,
((tystate, tymessage, state, on_message) ->
/* Unserialize state and handler */
- tyonmessage =
+ tyonmessage : OpaType.ty =
tyret = {TyName_ident = "Session.instruction";
TyName_args = [tystate]}
{TyArrow_params = [tystate, tymessage];
@@ -547,7 +547,7 @@ import stdlib.web.client
| _ -> []
parse_node(conf, tag, args, children, _xmlns, xmlns_parser) =
- match Template.merge_outcome_content(List.map(xmlns_parser, children)) with
+ match Template.merge_outcome_content(List.map(xmlns_parser, children)) /* : outcome(Template.content(either(void, 'b)), Template.failure) */ with
| { success = content } ->
match tag with
| "a" -> parse_attributes(conf, args , anchor_attrs,(anchor_attribute -> { anchor; ~anchor_attribute; ~content } ) )

0 comments on commit e130710

Please sign in to comment.