separate library for sanguinello

Author: aatxe

Cargo.toml

@@ -5,6 +5,10 @@ authors = ["aaron weiss <aweiss@hey.com>"]
 license = "BSD-2-Clause"
 edition = "2021"
 
+[lib]
+name = "sanguinello"
+path = "lib/sanguinello.rs"
+
 [dependencies]
 nom = "7.1.3"
 thiserror = "1.0.40"

lib/sanguinello.rs

@@ -0,0 +1,2 @@
+pub mod sgir;
+pub mod syntax;

src/sgir/mod.rs lib/sgir/mod.rs

@@ -0,0 +1,2 @@
+pub mod lexer;
+pub mod tokens;

src/sgir/tests.rs lib/sgir/tests.rs

@@ -1,11 +1,8 @@
-use crate::sgir::{Binding, TypeBinding};
-
-mod sgir;
-mod syntax;
+use sanguinello::sgir::{Binding, TypeBinding};
 
 fn main() {
-    use sgir::Expression::*;
-    use sgir::{Kind, Type};
+    use sanguinello::sgir::Expression::*;
+    use sanguinello::sgir::{Kind, Type};
 
     let identity = Quantify {
         parameters: vec![TypeBinding { id: "X".to_owned(), kind: Kind::Star }],
@@ -49,7 +46,7 @@ fn main() {
         ]
     };
 
-    let typ = match sgir::check(prog.clone()) {
+    let typ = match sanguinello::sgir::check(prog.clone()) {
         Ok(typ) => typ,
         Err(type_error) => {
             eprintln!("[ERROR] {:?}", type_error);
@@ -58,6 +55,6 @@ fn main() {
     };
     println!("TYPE: {:?}", typ);
 
-    let result = sgir::run(prog);
+    let result = sanguinello::sgir::run(prog);
     println!("{:?}", result);
 }