Skip to content

Commit

Permalink
Merge branch 'master' into gstreamer_encoder
Browse files Browse the repository at this point in the history
  • Loading branch information
toots committed Dec 17, 2012
2 parents baa5e16 + 9a924f3 commit 748fb5b
Showing 1 changed file with 18 additions and 1 deletion.
19 changes: 18 additions & 1 deletion src/lang/lang_builtins.ml
Expand Up @@ -1030,6 +1030,23 @@ let () =
(Lang.of_list_t l.Lang.t)
(List.sort sort (Lang.to_list l)))

let () =
add_builtin "list.filter" ~cat:List
~descr:"Filter a list according to a filtering function."
["",
Lang.fun_t [false,"",Lang.univ_t 1] Lang.bool_t,
None, None ;
"",Lang.list_t (Lang.univ_t 1),None,None] (Lang.list_t (Lang.univ_t 1))
(fun p ->
let f = Lang.assoc "" 1 p in
let filter x =
Lang.to_bool (Lang.apply ~t:Lang.bool_t f ["",x])
in
let l = Lang.assoc "" 2 p in
Lang.list
(Lang.of_list_t l.Lang.t)
(List.filter filter (Lang.to_list l)))

let () =
add_builtin "list.tl" ~cat:List
~descr:"Return the list without its first element."
Expand Down Expand Up @@ -1447,7 +1464,7 @@ let () =
Lang.string default)

let () =
add_builtin "server.register" ~cat:Sys
add_builtin "server.register" ~cat:Interaction
~descr:"Register a command. You can then execute this function \
through the server, either telnet or socket."
[ "namespace",Lang.string_t,Some (Lang.string ""),None ;
Expand Down

0 comments on commit 748fb5b

Please sign in to comment.