Permalink
Browse files

[feature] stdlib,opabsl: removing all S3 occurences

  • Loading branch information...
1 parent 5050d57 commit fe16af9a6add69a29d61329b0ed1c888a52f1af0 @OpaOnWindowsNow OpaOnWindowsNow committed Feb 13, 2012
View
@@ -230,65 +230,6 @@ if (command_line_execution) {
##endmodule
-/*
-function argspush(arg, oldargs){
- var length = arg.length;
- for (var i=0; i < length; i++) oldargs.push(arg[i]);
-}
-
-
-var uncps1 = function(f){
- return function(arg){
- var b = make_barrier();
- cps_apply(f, arg, new Continuation(b.release, b));
- var out = blocking_wait(b);//NOTE: This will fail if function [f] is asynchronous
- return out;
- }
-}
-
-var uncps = function(n, f){
- if (n == 1){
- return uncps1(f);
- }else{
- return function(){
- var args = [];
- argspush(arguments, args);
- var a = args.pop();
- var f1 = uncps(n - 1, f);
- var f2 = f1.apply(this, args);
- var out = uncps1(f2)(a);
- return out;
- }
- }
-}
-
-
-var cps1 = function(f){
- return function(arg, k){
- k._payload(f(arg));
- return js_void;
- }
-}
-
-var cps = function(n, f){
- if (n == 1){
- return cps1(f);
- }else{
- return function_wrapper(
- function(arg, k)
- {
- k._payload(cps(n - 1, f(arg)));
- }, 2, "cps ??")
- }
-}
-*/
-//S2Hack - This dirty hack should be remove for S3. QmlJs compiler
-//should be rewrite this, but it is so dirty and I do not want fix it
-//proprely.
-
-// Mathieu Thu Sep 30 20:05:45 CEST 2010
-// This hack is deprecated, Maxime, please don't you WANT to remove this, properly ?
-
var _directive_thread_context_ = %%BslCps.Notcps_compatibility.thread_context%%;
var _directive_with_thread_context_ = function(context, expression){
return expression
@@ -60,7 +60,7 @@ var LowLevelPingLoop = {};
}
/**
* Set the page number of this client ([page_server] is inserted by
- * the server on S3)
+ * the server)
*/
var page_index = -1;
if (typeof(page_server) != 'undefined') {
@@ -60,7 +60,7 @@ Components that are often used to render the content of the initial home page of
Graphical components should be entirely run on the client-side, unless they are explicitly provided with server functions, or connected to server sessions. (This applies in particular to the graphical part of a general component).
Default configurations must be available on both sides and the functions that they contain must be serializable.
-=> In current version of OPA S3, this means that the functions must be defined at top-level and themselves available on both sides.
+=> In current version, this means that the functions must be defined at top-level and themselves available on both sides or that they should be obtained with @public_env.
CAUTION: Please ensure these properties by testing your components, e.g. by deconnecting the server after the page is loaded. OPA experts may also use the compiler option +--dump-slicer+.
View
@@ -415,10 +415,10 @@ unfold = for
/**
*
* Short cut operators : &&, ||
+ * They have usual lazy usual semantics on first-order call.
*
*/
-/* They are implemented as macro in S3 (see the @expand) */
@expand
`&&`(a,b) =
if a then b
View
@@ -165,7 +165,7 @@ OpaTsc = {{
/**
* {1 Interface for module OpaType}
*/
-/* disabled for S3:
+/* disabled until module type specialisation on coercion works:
type OpaType.interface = {{
/* 1 - String representation */
to_string : OpaType.ty -> string
@@ -502,7 +502,7 @@ OpaType = {{
| {TySum_col = fieldss2} ->
{TySum_col = merge_fieldss(fieldss1,fieldss2)}
-}} /* disabled for S3: : OpaType.interface */
+}} /* disabled : OpaType.interface */
@opacapi OpaType_instantiate_row = OpaType.instantiate_row
@opacapi OpaType_instantiate_col = OpaType.instantiate_col
View
@@ -36,7 +36,7 @@
/**
* {1 Interface for module OpaValue}
*/
-/* disabled for S3:
+/* disabled :
type OpaValue.interface = {{
/* Some magic functions */
typeof : 'a -> OpaType.ty
@@ -37,7 +37,7 @@
* {1 What if I need more?}
*/
-/* disabled for S3:
+/* disabled
type OpaRPC.interface = {{
/* Unserialize */
unserialize : string -> option(OpaRPC.request)
@@ -189,7 +189,7 @@ type OpaRPC.interface = {{
{List=[{List=types},{List=rows},{List=cols},{List=List.rev(request.values)}]} : RPC.Json.json
)
-}} /* disabled for S3: : OpaRPC.interface */
+}} /* disabled : OpaRPC.interface */
@@ -876,7 +876,7 @@ OpaSerializeClosure = {{
}}
-}} /* disabled for S3: : OpaValue.interface */
+}} /* disabled : OpaValue.interface */
/**
* Deprecated, [un]serialize
@@ -51,7 +51,7 @@
type textralist = list(textavl)
-/* disabled for S3:
+/* disabled :
type Textralist('a,'b,'c,'d) =
{{
Internal_module : Textavl('a,'b,'c,'d)
@@ -505,7 +505,7 @@ rstart(l) =
| [_|_] ->
rstart_aux(l, [], Textavl.empty)
-}} /* disabled for S3: : Textralist */
+}} /* disabled for : Textralist */
/*
** Ascii_textralist : RA lists of Ascii-nodes AVLs.
View
@@ -132,7 +132,7 @@ type FGraph.t('edge_label, 'vertex_label) = {
* The string_of functions are used for producing dot.
*
* FIXME: this should be a module interface, not a record interface.
- * Update when this feature will be integrated to S3
+ * Update when this feature will be integrated
*/
type FGraph.X.interface('edge_label, 'vertex_label, 'ordering_edge, 'ordering_vertex) = {
order_edge_label : order('edge_label, 'ordering_edge);
@@ -43,7 +43,7 @@ The creation of the initial xhtml must be feasible on both sides.
Once they are installed (unless they are provided with server-only functions) widgets should be entirely run on the client-side.
Default configurations must be available on both sides and the functions that they contain must be serializable.
-=> In current version of OPA S3, this means that the functions must be defined at top-level and themselves available on both sides.
+=> This means that the functions must be defined at top-level and themselves available on both sides or that they should be obtained with @public_env.
CAUTION: Please ensure these properties by testing your widget, e.g. by deconnecting the server after the page is loaded. For maximum coverability, test examples must generate the xhtml on the server's side. OPA experts may also use the compiler option +--dump-slicer+.
@@ -5,7 +5,7 @@ asciidoc format: use 'asciidoc TODO' to compile into HTML (or not)
////////////////////
.Next tasks
-- Make html(..) efficiently sliceable on both sides in OPA S3 (lambda-lift the local functions so that they are server-side)
+- Make html(..) efficiently sliceable on both sides in OPA (lambda-lift the local functions so that they are server-side or public_env them)
.Short term
- Make the login box actually look like a box (ask for the design)

0 comments on commit fe16af9

Please sign in to comment.