WebAssembly · rossberg · Nov 13, 2015 · Nov 13, 2015
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -1,7 +1,3 @@
-(*
- * (c) 2015 Andreas Rossberg
- *)
-
 open Source
 
 

diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -1,5 +1,3 @@
-;; (c) 2015 Andreas Rossberg
-
 (module
   ;; Statement switch
   (func $stmt (param $i i32) (result i32)