Merge pull request #3304 from mtzguido/rename_queue

FStar.Queue: rename to FStar.FunctionalQueue
FStarLang · May 23, 2024 · 96ba8a7 · 96ba8a7
2 parents 71e299e + acd633e
commit 96ba8a7
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/ocaml/fstar-lib/generated/FStar_Queue.ml → ...ar-lib/generated/FStar_FunctionalQueue.ml b/ocaml/fstar-lib/generated/FStar_Queue.ml → ...ar-lib/generated/FStar_FunctionalQueue.ml
diff --git a/tests/micro-benchmarks/TestQueue.fst b/tests/micro-benchmarks/TestQueue.fst
@@ -1,7 +1,7 @@
 module TestQueue
 
-module Q = FStar.Queue
-open FStar.Queue
+module Q = FStar.FunctionalQueue
+open FStar.FunctionalQueue
 open FStar.Seq
 
 let my_queue = enqueue 3 (enqueue 2 (enqueue 1 Q.empty))
@@ -23,4 +23,4 @@ let _ = assert
 let _ = assert 
   (peek my_queue == 1)
 let _ = assert 
-  (peek (snd (dequeue my_queue)) == 2)
+  (peek (snd (dequeue my_queue)) == 2)
diff --git a/ulib/FStar.Queue.fst → ulib/FStar.FunctionalQueue.fst b/ulib/FStar.Queue.fst → ulib/FStar.FunctionalQueue.fst
@@ -15,7 +15,7 @@
 
    Author: Megan Frisella
 *)
-module FStar.Queue
+module FStar.FunctionalQueue
 
 module L = FStar.List.Tot
 open FStar.List.Tot

diff --git a/ulib/FStar.Queue.fsti → ulib/FStar.FunctionalQueue.fsti b/ulib/FStar.Queue.fsti → ulib/FStar.FunctionalQueue.fsti
@@ -15,7 +15,7 @@
 
    Author: Megan Frisella
 *)
-module FStar.Queue
+module FStar.FunctionalQueue
 
 open FStar.Seq