You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This is a schematic implementation of global and request fragments given converters:
type%server 'a frag =Global of int|Request of inttype%server fragment = { clojure_id : string;args : polyarray }
Two tables, on both side
On the server side:
global_fragments : id_r -> fragment
request_fragments : id_g -> fragment
The tables are built during execution of Eliom_runtime.fragment. On the first request, both tables are sent. On subsequent requests, only request_fragments is sent.
On the client side,
global_fragments : id_r -> Obj.t
request_fragments : id_g -> Obj.t close_server_section populates the global table. A function in init (to be implemented) executes fragment requests and populates the fragment table.
The deserialize function for fragments will do a lookup in the appropriate table and return the value of the fragment.
The text was updated successfully, but these errors were encountered:
This is a schematic implementation of global and request fragments given converters:
Two tables, on both side
On the server side:
global_fragments : id_r -> fragment
request_fragments : id_g -> fragment
The tables are built during execution of
Eliom_runtime.fragment
. On the first request, both tables are sent. On subsequent requests, onlyrequest_fragments
is sent.On the client side,
global_fragments : id_r -> Obj.t
request_fragments : id_g -> Obj.t
close_server_section
populates the global table. A function ininit
(to be implemented) executes fragment requests and populates the fragment table.The
deserialize
function for fragments will do a lookup in the appropriate table and return the value of the fragment.The text was updated successfully, but these errors were encountered: