Permalink
Browse files

[cleanup] stdlib: deadcode

  • Loading branch information...
1 parent b49c2c1 commit bc3c36bebbc6f5a7affa90b189c25ababb96b977 Raja committed Jun 21, 2011
@@ -53,24 +53,12 @@ type Unicode.character = int
type stringtextavl = textavl
-
-/*type utf8camotextavl = textavl(string)*/
-
type utf8eucatextavl = textavl
type utf8cacttextavl = textavl
-Textavl/*(paramfun_length,
- paramfun_sub,
- paramfun_upper,
- paramfun_lower,
- paramfun_get,
- /*paramfun_applyc,*/
- paramfun_nextchar,
- paramfun_look,
- paramfun_cons,
- description)*/ =
+Textavl =
paramfun_length=Cactutf.length
paramfun_sub=Cactutf.sub
paramfun_sub_opt=Cactutf.sub_opt
@@ -107,8 +95,6 @@ node_lowercase =
paramfun_lower
node_get =
paramfun_get
-/*node_applyc =
- paramfun_applyc*/
node_nextchar =
paramfun_nextchar
node_look =
@@ -397,9 +397,9 @@ Server_private = {{
int2time = %%BslTime.export_t%%
data = [
// Most of identifiers used there are inserted by the compiler, opa_Roots
- // FIXME: use directive @compiletime("key")
("compilation options", if @compiletime("release") then "release" else "debug"),
- ("compilation date", Date.to_string(Date.ll_import(int2time(@compiletime("compilation_date"))))), // FIXME, compilation_date should be time_t, not int
+ // TODO: update compilation_date to time_t
+ ("compilation date", Date.to_string(Date.ll_import(int2time(@compiletime("compilation_date"))))),
("opa compilation date", @compiletime("opa_date")),
("opa git version", Int.to_string(@compiletime("opa_git_version"))),
("opa git version hash", @compiletime("opa_git_version_hash")),
@@ -416,4 +416,4 @@ Server_private = {{
}}
@opacapi Server_private_run_services = Server_private.run_services
-@opacapi Server_private_add_service = Server_private.add_service
+@opacapi Server_private_add_service = Server_private.add_service
@@ -61,30 +61,6 @@ __internal__add_css_entry(k:list, data:map(string,'b), m:ordered_map(Css.entry,
Css_printer =
{{
-/* reverse_color(l) =
- aux =
- | { ~background } -> {color=background}
- | { ~color } -> {background=color}
-/* { color }
- { cursor }
- { padding }
- { margin }
- { overflow }
- { position }
- { display }
- { decoration }
- { height }
- { width }
- { border }
- { font }
- { float }
- { position }
- { top }
- { left }
- { background }
- { not_typed } */
- | TODO -> TODO
- List.map(aux,l)*/
set(lst, old) =
eq(old, new) = match (old, new) with
View
@@ -189,115 +189,6 @@ Queue = {{
aux(q, n, [])
/**
- * {1 Iterators}
- **/
-
- /**
- * {2 fold}
- **/
-
- /**
- * Create a new queue with element in reverse order
- **/
- /*
- rev((l1, s1, l2, s2): Queue.t('a)) : Queue.t('a)
- */
-
- fold(f : ('a, 'acc -> 'acc), (l1, _s1, l2, _s2) : Queue.t('a), acc : 'acc) : 'acc =
- List.foldr(f, l1, List.fold(f, l2, acc))
- /*
- foldi(f : (int, 'a, 'acc -> 'acc), (l1, s1, l2, s2) : Queue.t('a), acc : 'acc) : 'acc
- */
-
- /*
- fold_backwards(f : ('a, 'acc -> 'acc), (l1, s1, l2, s2) : Queue.t('a), acc : 'acc) : 'acc
- foldi_backwards(f : (int, 'a, 'acc -> 'acc), (l1, s1, l2, s2) : Queue.t('a), acc : 'acc) : 'acc
- */
-
- /**
- * {2 map}
- **/
-
- /*
- map(f : ('a -> 'a), (l1, s1, l2, s2) : Queue.t('a)) : Queue.t('a)
- mapi(f : (int, 'a -> 'a), (l1, s1, l2, s2) : Queue.t('a)) : Queue.t('a)
- */
-
- /*
- map_backwards(f : ('a -> 'a), (l1, s1, l2, s2) : Queue.t('a)) : Queue.t('a)
- mapi_backwards(f : (int, 'a -> 'a), (l1, s1, l2, s2) : Queue.t('a)) : Queue.t('a)
- */
-
- /**
- * {2 iter}
- **/
-
- /*
- iter(f : ('a -> void), (l1, s1, l2, s2) : Queue.t('a)) : void
- iteri(f : (int, 'a -> void), (l1, s1, l2, s2) : Queue.t('a)) : void
- */
-
- /*
- iter_backwards(f : ('a -> void), (l1, s1, l2, s2) : Queue.t('a)) : void
- iteri_backwards(f : (int, 'a -> void), (l1, s1, l2, s2) : Queue.t('a)) : void
- */
-
- /**
- * {2 find}
- **/
-
- /*
- find(f : ('a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : 'a
- findi(f : (int, 'a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : 'a
- */
-
- /*
- find_backwards(f : ('a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : 'a
- findi_backwards(f : (int, 'a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : 'a
- */
-
- /**
- * {2 exists}
- **/
-
- /*
- exists(f : ('a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : bool
- existsi(f : (int, 'a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : bool
- */
-
- /*
- exists_backwards(f : ('a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : bool
- existsi_backwards(f : (int, 'a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : bool
- */
-
- /**
- * {2 forall}
- **/
-
- /*
- forall(f : ('a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : bool
- foralli(f : (int, 'a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : bool
- */
-
- /**
- * {2 foldmap}
- **/
-
- /*
- foldmap
- foldmapi
- */
-
- /**
- * {2 filter}
- **/
-
- /*
- filter(f : ('a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : Queue.t('a)
- filteri(f : (int, 'a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : Queue.t('a)
- */
-
- /**
* Export to a iter value.
* @deprecated Not efficient, use rather [Queue.iter]
**/
@@ -619,57 +619,3 @@ WHList = {{
</div> |> WStyler.add(config.stylers.hlist, _)
}}
-
-// private_default_css =
-
-// div._hlist { padding: 5px; }
-// div._hlist a {
-// text-decoration: none;
-// color: black;
-// }
-// div._hlist a:link {
-// text-decoration: none;
-// color: black;
-// }
-// div._hlist a:visited {
-// text-decoration: none;
-// color: black;
-// }
-// div._hlist a:hover {
-// text-decoration: none;
-// color: black;
-// }
-// div._hlist a:active {
-// text-decoration: none;
-// color: black;
-// }
-// div._hlist li._hlist_item {
-// list-style: none;
-// padding: none;
-// display: block;
-// }
-// div._hlist li._hlist_item_content {
-// list-style: none;
-// padding: none;
-// display: block;
-// }
-// div._hlist li._hlist_item_sons {
-// list-style: none;
-// padding: none;
-// display: block;
-// }
-// div._hlist > ul > li._hlist_item > ul > li._hlist_item_content {
-// border: 1px solid #aaaaaa;
-// background: #e1f0ff;
-// margin-bottom: 5px;
-// padding: 0 5px;
-// }
-// div._hlist li._hlist_item_selected > ul > li._hlist_item_content { font-weight: bold; }
-// div._hlist li._hlist_item_sons { padding: 0 10px; }
-// div._hlist li._hlist_item_sons ul li._hlist_item {
-// border-bottom: 1px solid #cccccc;
-// margin-bottom: 3px;
-// }
-// div._hlist li._hlist_item_sons ul li._hlist_item:hover { background: #eeeeee; }
-// div._hlist li._hlist_item_sons ul li._hlist_item:hover a:hover { text-decoration: underline; }
-// div._hlist li._hlist_item_sons ul li._hlist_item > ul > li._hlist_item_content { padding: 0 5px; }
@@ -316,20 +316,4 @@ WPanelview =
if not(current_layout == some.name) then
set_layout(id, panels, some)
- /**
- * {1 Lower-level interface}
- */
-
- /**
- * Fold over all the inside panels in [panel]
- */
- // FIXME: doesn't work
-// fold(f: (jquery, 'a -> 'a), panel: jquery, init: 'a): 'a =
-// acc = f(panel, init)
-// inner_panel = jQuery.next("*_body", panel)
-// |> jQuery.children("*", _)
-// |> Dom.get(_, 0)
-// if Dom.length(inner_panel) == 0 then acc
-// else fold(f, inner_panel, acc)
-
}}

0 comments on commit bc3c36b

Please sign in to comment.