diff --git a/ml-proto/given/lib.ml b/ml-proto/given/lib.ml index c8b82e24cd..d6bf1b3d16 100644 --- a/ml-proto/given/lib.ml +++ b/ml-proto/given/lib.ml @@ -1,7 +1,3 @@ -(* - * (c) 2014 Andreas Rossberg - *) - module List = struct let rec take n xs = diff --git a/ml-proto/given/lib.mli b/ml-proto/given/lib.mli index 6818d46939..3428f95bc3 100644 --- a/ml-proto/given/lib.mli +++ b/ml-proto/given/lib.mli @@ -1,7 +1,3 @@ -(* - * (c) 2014 Andreas Rossberg - *) - (* Things that should be in the OCaml library... *) module List : diff --git a/ml-proto/given/source.ml b/ml-proto/given/source.ml index 83bccea9ad..93ef7de420 100644 --- a/ml-proto/given/source.ml +++ b/ml-proto/given/source.ml @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - type pos = {file : string; line : int; column : int} type region = {left : pos; right : pos} type 'a phrase = { at : region; it : 'a} diff --git a/ml-proto/given/source.mli b/ml-proto/given/source.mli index 3ee1467c24..0a91fbc0ef 100644 --- a/ml-proto/given/source.mli +++ b/ml-proto/given/source.mli @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - type pos = {file : string; line : int; column : int} type region = {left : pos; right : pos} type 'a phrase = {at : region; it : 'a} diff --git a/ml-proto/host/flags.ml b/ml-proto/host/flags.ml index 2bb65d54f3..204e1b6e07 100644 --- a/ml-proto/host/flags.ml +++ b/ml-proto/host/flags.ml @@ -1,9 +1,5 @@ -(* - * (c) 2015 Andreas Rossberg - *) - let name = "wasm" -let version = "0.1" +let version = "0.2" let interactive = ref false let trace = ref false diff --git a/ml-proto/host/lexer.mli b/ml-proto/host/lexer.mli index 7ba4e8a016..c34aefe7d1 100644 --- a/ml-proto/host/lexer.mli +++ b/ml-proto/host/lexer.mli @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - val convert_pos : Lexing.position -> Source.pos val token : Lexing.lexbuf -> Parser.token (* raises Source.Error *) diff --git a/ml-proto/host/lexer.mll b/ml-proto/host/lexer.mll index 1c141b63d0..f8d6e2c3e8 100644 --- a/ml-proto/host/lexer.mll +++ b/ml-proto/host/lexer.mll @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - { open Parser open Ast diff --git a/ml-proto/host/main.ml b/ml-proto/host/main.ml index a126d76dbe..3a484f8ffb 100644 --- a/ml-proto/host/main.ml +++ b/ml-proto/host/main.ml @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - let name = "wasm" let version = "0.1" diff --git a/ml-proto/host/parser.mly b/ml-proto/host/parser.mly index 82e26307b8..11e1dd95e6 100644 --- a/ml-proto/host/parser.mly +++ b/ml-proto/host/parser.mly @@ -1,7 +1,3 @@ -/* - * (c) 2015 Andreas Rossberg - */ - %{ open Source open Ast diff --git a/ml-proto/host/print.ml b/ml-proto/host/print.ml index 7ba63b784e..7ed206a9eb 100644 --- a/ml-proto/host/print.ml +++ b/ml-proto/host/print.ml @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - open Ast open Source open Printf diff --git a/ml-proto/host/print.mli b/ml-proto/host/print.mli index df70541ee0..bf2f74d3d4 100644 --- a/ml-proto/host/print.mli +++ b/ml-proto/host/print.mli @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - val print_module : Ast.module_ -> unit val print_module_sig : Ast.module_ -> unit val print_value : Values.value option -> unit diff --git a/ml-proto/host/script.ml b/ml-proto/host/script.ml index cc71f2830a..ab223c34a0 100644 --- a/ml-proto/host/script.ml +++ b/ml-proto/host/script.ml @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - open Source diff --git a/ml-proto/host/script.mli b/ml-proto/host/script.mli index 4214ae2eb1..ae65c9c215 100644 --- a/ml-proto/host/script.mli +++ b/ml-proto/host/script.mli @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - type command = command' Source.phrase and command' = | Define of Ast.module_ diff --git a/ml-proto/spec/arithmetic.ml b/ml-proto/spec/arithmetic.ml index 97f35228a5..a662b35842 100644 --- a/ml-proto/spec/arithmetic.ml +++ b/ml-proto/spec/arithmetic.ml @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - open Types open Values diff --git a/ml-proto/spec/arithmetic.mli b/ml-proto/spec/arithmetic.mli index eefd5d822e..fce5039818 100644 --- a/ml-proto/spec/arithmetic.mli +++ b/ml-proto/spec/arithmetic.mli @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - open Values exception TypeError of int * value * Types.value_type diff --git a/ml-proto/spec/ast.ml b/ml-proto/spec/ast.ml index 61d79ebe39..e3aaa7240d 100644 --- a/ml-proto/spec/ast.ml +++ b/ml-proto/spec/ast.ml @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - (* * Throughout the implementation we use consistent naming conventions for * syntactic elements, associated with the types defined here and in a few diff --git a/ml-proto/spec/check.ml b/ml-proto/spec/check.ml index 0f9a6cc31e..bf29cb5ce4 100644 --- a/ml-proto/spec/check.ml +++ b/ml-proto/spec/check.ml @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - open Ast open Source open Types diff --git a/ml-proto/spec/check.mli b/ml-proto/spec/check.mli index fc780d6b8d..3db17e284d 100644 --- a/ml-proto/spec/check.mli +++ b/ml-proto/spec/check.mli @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - exception Invalid of Source.region * string val check_module : Ast.module_ -> unit (* raise Invalid *) diff --git a/ml-proto/spec/error.ml b/ml-proto/spec/error.ml index 926428a183..ed1d218bcd 100644 --- a/ml-proto/spec/error.ml +++ b/ml-proto/spec/error.ml @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - module Make () = struct exception Error of Source.region * string diff --git a/ml-proto/spec/error.mli b/ml-proto/spec/error.mli index d9fcb82946..f044bf18d0 100644 --- a/ml-proto/spec/error.mli +++ b/ml-proto/spec/error.mli @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - module Make () : sig exception Error of Source.region * string diff --git a/ml-proto/spec/eval.ml b/ml-proto/spec/eval.ml index 3d8a3dd839..a6e9d3c292 100644 --- a/ml-proto/spec/eval.ml +++ b/ml-proto/spec/eval.ml @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - open Values open Types open Ast diff --git a/ml-proto/spec/eval.mli b/ml-proto/spec/eval.mli index 71c4905757..ae856b9663 100644 --- a/ml-proto/spec/eval.mli +++ b/ml-proto/spec/eval.mli @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - type instance type value = Values.value type import = value list -> value option diff --git a/ml-proto/spec/memory.ml b/ml-proto/spec/memory.ml index a6f31231eb..22ce1eb7c2 100644 --- a/ml-proto/spec/memory.ml +++ b/ml-proto/spec/memory.ml @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - open Bigarray open Types open Values diff --git a/ml-proto/spec/memory.mli b/ml-proto/spec/memory.mli index 0130d90205..2e60e8eb66 100644 --- a/ml-proto/spec/memory.mli +++ b/ml-proto/spec/memory.mli @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - type memory type t = memory type address = int64 diff --git a/ml-proto/spec/types.ml b/ml-proto/spec/types.ml index 71b04a0801..5081be252d 100644 --- a/ml-proto/spec/types.ml +++ b/ml-proto/spec/types.ml @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - (* Types *) type value_type = Int32Type | Int64Type | Float32Type | Float64Type diff --git a/ml-proto/spec/values.ml b/ml-proto/spec/values.ml index 1b90adc37d..5f6838379d 100644 --- a/ml-proto/spec/values.ml +++ b/ml-proto/spec/values.ml @@ -1,7 +1,3 @@ -(* - * (c) 2015 Andreas Rossberg - *) - open Types @@ -12,6 +8,7 @@ type ('i32, 'i64, 'f32, 'f64) op = type value = (I32.t, I64.t, F32.t, F64.t) op + (* Typing *) let type_of = function diff --git a/ml-proto/test/fac.wast b/ml-proto/test/fac.wast index d5ab0abd3f..8b656e66a7 100644 --- a/ml-proto/test/fac.wast +++ b/ml-proto/test/fac.wast @@ -1,5 +1,3 @@ -;; (c) 2015 Andreas Rossberg - (module ;; Recursive factorial (func (param i64) (result i64) diff --git a/ml-proto/test/forward.wast b/ml-proto/test/forward.wast index 944954abaf..cbe9656b14 100644 --- a/ml-proto/test/forward.wast +++ b/ml-proto/test/forward.wast @@ -1,5 +1,3 @@ -;; (c) 2015 Andreas Rossberg - (module (export "even" $even) (export "odd" $odd) diff --git a/ml-proto/test/memory.wast b/ml-proto/test/memory.wast index 7ddc338307..dbda0bcc87 100644 --- a/ml-proto/test/memory.wast +++ b/ml-proto/test/memory.wast @@ -1,5 +1,3 @@ -;; (c) 2015 Andreas Rossberg - ;; Test memory section structure (module (memory 0 0)) (module (memory 0 1)) diff --git a/ml-proto/test/switch.wast b/ml-proto/test/switch.wast index 6e0961556c..d357ca3d83 100644 --- a/ml-proto/test/switch.wast +++ b/ml-proto/test/switch.wast @@ -1,5 +1,3 @@ -;; (c) 2015 Andreas Rossberg - (module ;; Statement switch (func $stmt (param $i i32) (result i32)