Rename in ML code.

This commit is contained in:
Tony Garnock-Jones 2012-05-01 17:36:38 -04:00
parent 477ba1eef5
commit c059bcbfa4
39 changed files with 158 additions and 158 deletions

View File

@ -1,4 +1,4 @@
APP=ocamlmsg APP=hop_server
TEMPLATES=$(wildcard web/bootstrap/templates/*.xml) TEMPLATES=$(wildcard web/bootstrap/templates/*.xml)
HTML=$(subst web/bootstrap/templates/,web/,$(subst .xml,.html,$(TEMPLATES))) HTML=$(subst web/bootstrap/templates/,web/,$(subst .xml,.html,$(TEMPLATES)))

View File

@ -1,38 +1,38 @@
## Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. ## Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>.
## ##
## This file is part of Ocamlmsg. ## This file is part of Hop.
## ##
## Ocamlmsg is free software: you can redistribute it and/or modify it ## Hop is free software: you can redistribute it and/or modify it
## under the terms of the GNU General Public License as published by the ## under the terms of the GNU General Public License as published by the
## Free Software Foundation, either version 3 of the License, or (at your ## Free Software Foundation, either version 3 of the License, or (at your
## option) any later version. ## option) any later version.
## ##
## Ocamlmsg is distributed in the hope that it will be useful, but ## Hop is distributed in the hope that it will be useful, but
## WITHOUT ANY WARRANTY; without even the implied warranty of ## WITHOUT ANY WARRANTY; without even the implied warranty of
## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
## General Public License for more details. ## General Public License for more details.
## ##
## You should have received a copy of the GNU General Public License ## You should have received a copy of the GNU General Public License
## along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. ## along with Hop. If not, see <http://www.gnu.org/licenses/>.
## ##
from __future__ import with_statement from __future__ import with_statement
copyright_stmt = '''(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) copyright_stmt = '''(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
''' '''
import sys import sys

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
open Unix open Unix
open Printf open Printf

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
open Sexp open Sexp

View File

@ -1,21 +1,21 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
let product = "ocamlmsg" let product = "hop"
let version = "ALPHA" let version = "ALPHA"
let copyright = "Copyright (C) 2012 Tony Garnock-Jones." let copyright = "Copyright (C) 2012 Tony Garnock-Jones."
let homepage = "the GNU General Public License (version 3 or later)" (* TODO: real homepage *) let homepage = "the GNU General Public License (version 3 or later)" (* TODO: real homepage *)

View File

@ -1,19 +1,19 @@
## Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. ## Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>.
## ##
## This file is part of Ocamlmsg. ## This file is part of Hop.
## ##
## Ocamlmsg is free software: you can redistribute it and/or modify it ## Hop is free software: you can redistribute it and/or modify it
## under the terms of the GNU General Public License as published by the ## under the terms of the GNU General Public License as published by the
## Free Software Foundation, either version 3 of the License, or (at your ## Free Software Foundation, either version 3 of the License, or (at your
## option) any later version. ## option) any later version.
## ##
## Ocamlmsg is distributed in the hope that it will be useful, but ## Hop is distributed in the hope that it will be useful, but
## WITHOUT ANY WARRANTY; without even the implied warranty of ## WITHOUT ANY WARRANTY; without even the implied warranty of
## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
## General Public License for more details. ## General Public License for more details.
## ##
## You should have received a copy of the GNU General Public License ## You should have received a copy of the GNU General Public License
## along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. ## along with Hop. If not, see <http://www.gnu.org/licenses/>.
## ##
from __future__ import with_statement from __future__ import with_statement

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
open Hof open Hof

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
open Unix open Unix
open Printf open Printf

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
module StringSet = Set.Make(String) module StringSet = Set.Make(String)
module StringMap = Map.Make(String) module StringMap = Map.Make(String)

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
open Sexp open Sexp
open Datastructures open Datastructures

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
open Printf open Printf
open Sexp open Sexp

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
open Sexp open Sexp
open Datastructures open Datastructures

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
(* Functional queue. *) (* Functional queue. *)

8
hof.ml
View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
(* Higher-order function utilities, based on the interfaces in Ocaml (* Higher-order function utilities, based on the interfaces in Ocaml
Batteries. *) Batteries. *)

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
let hook_log () = let hook_log () =
let old_hook = !Log.hook in let old_hook = !Log.hook in

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
type html_content = type html_content =
| Tag of string * (string * string) list * html_content list * bool | Tag of string * (string * string) list * html_content list * bool

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
open Unix open Unix

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
open Unix open Unix

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
let visible_path_component s = let visible_path_component s =
match s with match s with

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
type t = { type t = {
mutable pos: int; mutable pos: int;

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
type t = type t =
| Num of float | Num of float

8
log.ml
View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
open Sexp open Sexp

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
open Sexp open Sexp

8
net.ml
View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
open Unix open Unix

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
open Printf open Printf
open Datastructures open Datastructures

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
open Sexp open Sexp
open Status open Status

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
open Unix open Unix
open Printf open Printf

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
open Datastructures open Datastructures

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
(* SPKI SEXP *) (* SPKI SEXP *)

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
open Sexp open Sexp

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
(* Shared queue *) (* Shared queue *)

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
type ('success, 'failure) t = type ('success, 'failure) t =
| Ok of 'success | Ok of 'success

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
type t = Stream of (unit -> (string * bool * t) option) type t = Stream of (unit -> (string * bool * t) option)

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
open Datastructures open Datastructures

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
#use "fqueue.ml" #use "fqueue.ml"

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
open Html open Html
open Hof open Hof

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
open Hof open Hof

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
open Sexp open Sexp
open Printf open Printf

View File

@ -1,19 +1,19 @@
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *) (* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
(* This file is part of Ocamlmsg. *) (* This file is part of Hop. *)
(* Ocamlmsg is free software: you can redistribute it and/or modify it *) (* Hop is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License as published by the *) (* under the terms of the GNU General Public License as published by the *)
(* Free Software Foundation, either version 3 of the License, or (at your *) (* Free Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version. *) (* option) any later version. *)
(* Ocamlmsg is distributed in the hope that it will be useful, but *) (* Hop is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of *) (* WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
(* General Public License for more details. *) (* General Public License for more details. *)
(* You should have received a copy of the GNU General Public License *) (* You should have received a copy of the GNU General Public License *)
(* along with Ocamlmsg. If not, see <http://www.gnu.org/licenses/>. *) (* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
type t = string type t = string