Renaming things to gator

cucapra · Jul 23, 2019 · ba03b3d · ba03b3d
1 parent 3b01d3e
commit ba03b3d
Show file tree

Hide file tree

Showing 12 changed files with 23 additions and 23 deletions.
diff --git a/Makefile b/Makefile
@@ -1,7 +1,7 @@
 .PHONY: all clean repl run build
 
 all:
-	dune exec bin/lingc.bc
+	dune exec bin/gatorc.bc
 
 repl:
 	dune utop src
@@ -13,7 +13,7 @@ run:
 	cd examples/; SRC=$(src) yarn run start
 
 build:
-	dune build bin/lingc.bc
+	dune build bin/gatorc.bc
 	dune build && dune install
 
 clean:

diff --git a/bin/dune b/bin/dune
@@ -1,4 +1,4 @@
 (executable
- (name lingc)
- (public_name lingc)
- (libraries lingl))
+ (name gatorc)
+ (public_name gatorc)
+ (libraries gatorl))
diff --git a/bin/lingc.ml → bin/gatorc.ml b/bin/lingc.ml → bin/gatorc.ml
@@ -1,4 +1,4 @@
-open Lingl
+open Gatorl
 
 let program : TagAst.prog option ref = ref None
 
@@ -12,11 +12,11 @@ let run_interp : bool ref = ref false
 
 let emit_ts : bool ref = ref false
 
-let usage_msg = "Linguine Help Center\n"
+let usage_msg = "Gator Help Center\n"
 let spec_list : (Arg.key * Arg.spec * Arg.doc) list =
     [
         ("-i", Arg.Set run_interp,
-        "Runs the given file with the linguine interpreter (replaces standard output)");
+        "Runs the given file with the gator interpreter (replaces standard output)");
         ("-t", Arg.Set emit_ts,
         "Emits Typescript (replaces standard output)")
     ]

diff --git a/gator.opam b/gator.opam
diff --git a/src/check.ml b/src/check.ml
@@ -1,6 +1,6 @@
 open CoreAst
-open TagAst
-open TagAstPrinter
+open GatorAst
+open GatorAstPrinter
 open Util
 open Printf
 open Str

diff --git a/src/checkDriver.ml b/src/checkDriver.ml
@@ -1,8 +1,8 @@
 (* Main driver for type checking, for unit testing*)
 
 open CoreAst
-open TagAst
-open TagAstPrinter
+open GatorAst
+open GatorAstPrinter
 
 (* Current program file and parsed program. *)
 let file : string option ref = ref None

diff --git a/src/dune b/src/dune
@@ -4,5 +4,5 @@
 (ocamllex lexer)
 
 (library
-  (name lingl)
+  (name gatorl)
   (libraries str))
diff --git a/src/tagAst.ml → src/gatorAst.ml b/src/tagAst.ml → src/gatorAst.ml
diff --git a/src/tagAstPrinter.ml → src/gatorAstPrinter.ml b/src/tagAstPrinter.ml → src/gatorAstPrinter.ml
@@ -2,7 +2,7 @@
 
 open CoreAst
 open Util
-open TagAst
+open GatorAst
 
 let rec string_of_dexp (d : dexp) : string = 
     match d with

diff --git a/src/parseDriver.ml b/src/parseDriver.ml
@@ -1,8 +1,8 @@
 (* Main driver for parsing, for unit testing*)
 
 open CoreAst
-open TagAst
-open TagAstPrinter
+open GatorAst
+open GatorAstPrinter
 
 (* Current program file and parsed program. *)
 let file : string option ref = ref None

diff --git a/src/parser.mly b/src/parser.mly
@@ -1,7 +1,7 @@
 
 %{
 open CoreAst
-open TagAst
+open GatorAst
 open Str
 
 exception ParseException of string
@@ -102,14 +102,14 @@ let mat = Str.regexp "mat\\([0-9]+\\)"
    the starting point is for parsing the language.  The following
    declaration says to start with a rule (defined below) named [prog].
    The declaration also says that parsing a [prog] will return an OCaml
-   value of type [TagAst.expr]. *)
+   value of type [GatorAst.expr]. *)
 
 %start main
 (* The explicit types of some key parser expressions to help with debugging *)
-%type <TagAst.prog> main
-%type <TagAst.exp> exp
-%type <TagAst.comm> comm  
-%type <TagAst.term> term 
+%type <GatorAst.prog> main
+%type <GatorAst.exp> exp
+%type <GatorAst.comm> comm  
+%type <GatorAst.term> term 
 
 (* The following %% ends the declarations section of the grammar definition. *)
 

diff --git a/src/typedAstPrinter.ml b/src/typedAstPrinter.ml
@@ -2,7 +2,7 @@
 
 open CoreAst
 open Util
-open TagAstPrinter
+open GatorAstPrinter
 open TypedAst
 
 let string_of_vec (v: vec) : string =