From 02cc31c996e4e1f644d5c976898a29f82ca416a3 Mon Sep 17 00:00:00 2001
From: Alan Schmitt <alan.schmitt@polytechnique.org>
Date: Tue, 2 Feb 2016 10:51:14 +0100
Subject: [PATCH] cleaning up
---
generator/stdlib_ml/stdlib.mli | 6 ------
generator/tests/jsref/JsCommon.ml | 1 -
generator/tests/jsref/JsInit.ml | 3 +--
generator/tests/jsref/JsSyntax.ml | 1 -
generator/tests/jsref/LibStream.ml | 4 ----
5 files changed, 1 insertion(+), 14 deletions(-)
delete mode 100644 generator/tests/jsref/LibStream.ml
diff --git a/generator/stdlib_ml/stdlib.mli b/generator/stdlib_ml/stdlib.mli
index 3ab8fa9..34aeb5d 100644
--- a/generator/stdlib_ml/stdlib.mli
+++ b/generator/stdlib_ml/stdlib.mli
@@ -86,12 +86,6 @@ module Int64 : sig
val float_of_bits : int64 -> float
end
-(* This may be awkward! *)
-module Lazy : sig
- type 'a t
- val force : 'a t -> 'a (* ARTHUR added *)
-end
-
module List : sig
val map : ('a -> 'b) -> 'a list -> 'b list
val rev : 'a list -> 'a list
diff --git a/generator/tests/jsref/JsCommon.ml b/generator/tests/jsref/JsCommon.ml
index 8c8b346..8ed80b0 100644
--- a/generator/tests/jsref/JsCommon.ml
+++ b/generator/tests/jsref/JsCommon.ml
@@ -6,7 +6,6 @@ open JsSyntaxAux
open LibList
open LibNat
open LibOption
-open LibStream
open LibString
open List0
open Shared
diff --git a/generator/tests/jsref/JsInit.ml b/generator/tests/jsref/JsInit.ml
index 91b3f8a..a218c6c 100644
--- a/generator/tests/jsref/JsInit.ml
+++ b/generator/tests/jsref/JsInit.ml
@@ -4,9 +4,8 @@ open JsPreliminary
open JsSyntax
open JsSyntaxAux
open LibInt
-open LibStream
-(** val prop_attributes_for_global_object : value -> attributes_data **)
+(** Val prop_attributes_for_global_object : value -> attributes_data **)
let prop_attributes_for_global_object v =
{ attributes_data_value = v; attributes_data_writable = true;
diff --git a/generator/tests/jsref/JsSyntax.ml b/generator/tests/jsref/JsSyntax.ml
index 90952b1..541bbb9 100644
--- a/generator/tests/jsref/JsSyntax.ml
+++ b/generator/tests/jsref/JsSyntax.ml
@@ -1,7 +1,6 @@
open JsNumber
open LibHeap
open LibReflect
-open LibStream
open Shared
module Heap = HeapGen(HeapList)
diff --git a/generator/tests/jsref/LibStream.ml b/generator/tests/jsref/LibStream.ml
deleted file mode 100644
index bca633d..0000000
--- a/generator/tests/jsref/LibStream.ml
+++ /dev/null
@@ -1,4 +0,0 @@
-type 'a stream = 'a __stream Lazy.t
-and 'a __stream =
-| Coq_stream_intro [@f label0, label1] of 'a * 'a stream (** Auto Generated Attributes **)
-
--
GitLab