Move the i32, i64, f32, and f64 modules from given to spec.

WebAssembly · Sep 22, 2015 · 7227305 · 7227305
1 parent 09dc24f
commit 7227305
Show file tree

Hide file tree

Showing 19 changed files with 2 additions and 2 deletions.
diff --git a/ml-proto/src/Makefile b/ml-proto/src/Makefile
@@ -6,8 +6,8 @@ NAME = wasm
 INCLUDES = -I host -I given -I spec
 MODULES = \
   host/params host/flags given/lib given/source \
-  given/numerics given/f32 given/f64 given/i32 given/i64 \
-  given/i32_convert given/i64_convert given/f32_convert given/f64_convert \
+  spec/numerics spec/f32 spec/f64 spec/i32 spec/i64 \
+  spec/i32_convert spec/i64_convert spec/f32_convert spec/f64_convert \
   spec/error \
   spec/types spec/values spec/memory spec/ast \
   spec/check spec/arithmetic spec/eval \

diff --git a/ml-proto/src/given/f32.ml → ml-proto/src/spec/f32.ml b/ml-proto/src/given/f32.ml → ml-proto/src/spec/f32.ml
diff --git a/ml-proto/src/given/f32.mli → ml-proto/src/spec/f32.mli b/ml-proto/src/given/f32.mli → ml-proto/src/spec/f32.mli
diff --git a/ml-proto/src/given/f32_convert.ml → ml-proto/src/spec/f32_convert.ml b/ml-proto/src/given/f32_convert.ml → ml-proto/src/spec/f32_convert.ml
diff --git a/ml-proto/src/given/f32_convert.mli → ml-proto/src/spec/f32_convert.mli b/ml-proto/src/given/f32_convert.mli → ml-proto/src/spec/f32_convert.mli
diff --git a/ml-proto/src/given/f64.ml → ml-proto/src/spec/f64.ml b/ml-proto/src/given/f64.ml → ml-proto/src/spec/f64.ml
diff --git a/ml-proto/src/given/f64.mli → ml-proto/src/spec/f64.mli b/ml-proto/src/given/f64.mli → ml-proto/src/spec/f64.mli
diff --git a/ml-proto/src/given/f64_convert.ml → ml-proto/src/spec/f64_convert.ml b/ml-proto/src/given/f64_convert.ml → ml-proto/src/spec/f64_convert.ml
diff --git a/ml-proto/src/given/f64_convert.mli → ml-proto/src/spec/f64_convert.mli b/ml-proto/src/given/f64_convert.mli → ml-proto/src/spec/f64_convert.mli
diff --git a/ml-proto/src/given/i32.ml → ml-proto/src/spec/i32.ml b/ml-proto/src/given/i32.ml → ml-proto/src/spec/i32.ml
diff --git a/ml-proto/src/given/i32.mli → ml-proto/src/spec/i32.mli b/ml-proto/src/given/i32.mli → ml-proto/src/spec/i32.mli
diff --git a/ml-proto/src/given/i32_convert.ml → ml-proto/src/spec/i32_convert.ml b/ml-proto/src/given/i32_convert.ml → ml-proto/src/spec/i32_convert.ml
diff --git a/ml-proto/src/given/i32_convert.mli → ml-proto/src/spec/i32_convert.mli b/ml-proto/src/given/i32_convert.mli → ml-proto/src/spec/i32_convert.mli
diff --git a/ml-proto/src/given/i64.ml → ml-proto/src/spec/i64.ml b/ml-proto/src/given/i64.ml → ml-proto/src/spec/i64.ml
diff --git a/ml-proto/src/given/i64.mli → ml-proto/src/spec/i64.mli b/ml-proto/src/given/i64.mli → ml-proto/src/spec/i64.mli
diff --git a/ml-proto/src/given/i64_convert.ml → ml-proto/src/spec/i64_convert.ml b/ml-proto/src/given/i64_convert.ml → ml-proto/src/spec/i64_convert.ml
diff --git a/ml-proto/src/given/i64_convert.mli → ml-proto/src/spec/i64_convert.mli b/ml-proto/src/given/i64_convert.mli → ml-proto/src/spec/i64_convert.mli
diff --git a/ml-proto/src/given/numerics.ml → ml-proto/src/spec/numerics.ml b/ml-proto/src/given/numerics.ml → ml-proto/src/spec/numerics.ml
diff --git a/ml-proto/src/given/numerics.mli → ml-proto/src/spec/numerics.mli b/ml-proto/src/given/numerics.mli → ml-proto/src/spec/numerics.mli