Start typing work

crates/typing/src/checker.rs

@@ -0,0 +1,9 @@
+use crate::{ty::TypeId, reg::TypeRegistry};
+
+pub enum UnifyResult {
+    Success
+}
+
+fn unify(reg: TypeRegistry, a: TypeId, b: TypeId) -> UnifyResult {
+    todo!("unify");
+}

crates/typing/src/lib.rs

@@ -1 +1,4 @@
-pub mod ty;
+pub mod ty;
+pub mod reg;
+pub mod resolver;
+pub mod checker;

crates/typing/src/reg.rs

@@ -0,0 +1,12 @@
+use aplang_parser::ast::ParsedType;
+
+use crate::ty::{Type, TypeId};
+
+pub struct TypeRegistry;
+
+impl TypeRegistry {
+    fn new() -> Self {
+        TypeRegistry {  }
+    }
+}
+

crates/typing/src/resolver.rs

@@ -0,0 +1,12 @@
+use aplang_parser::ast::ParsedType;
+
+use crate::ty::TypeId;
+
+pub struct ContextfulTypeResolver;
+
+impl ContextfulTypeResolver {
+
+    fn type_id_of(&self, ty: ParsedType) -> TypeId {
+        todo!("ContextfulTypeResolver::type_id_of")
+    }
+}

crates/typing/src/ty.rs

@@ -25,4 +25,4 @@ pub enum PrimitiveType {
     Boolean,
     Unit,
     Nothing,
-}
+}