slices (offsets now real in backend)

src/ir/upper/ty.rs

@@ -1,4 +1,4 @@
-use super::{Origin, TypeDef, TypeID};
+use super::{Len, TypeID};
 
 #[derive(Clone)]
 pub enum Type {
@@ -7,47 +7,21 @@ pub enum Type {
     Generic { base: TypeID, args: Vec<Type> },
     Fn { args: Vec<Type>, ret: Box<Type> },
     Ref(Box<Type>),
-    Array(Box<Type>),
+    Slice(Box<Type>),
+    Array(Box<Type>, Len),
     Infer,
     Error,
+    Unit,
 }
 
 impl Type {
     pub fn rf(self) -> Self {
         Self::Ref(Box::new(self))
     }
-    pub fn arr(self) -> Self {
-        Self::Array(Box::new(self))
+    pub fn arr(self, len: Len) -> Self {
+        Self::Array(Box::new(self), len)
+    }
+    pub fn slice(self) -> Self {
+        Self::Slice(Box::new(self))
     }
 }
-
-#[repr(usize)]
-#[derive(Debug, Clone, Copy)]
-pub enum BuiltinType {
-    Unit,
-}
-
-impl BuiltinType {
-    pub fn enumerate() -> &'static [Self; 1] {
-        &[Self::Unit]
-    }
-    pub fn def(&self) -> TypeDef {
-        match self {
-            BuiltinType::Unit => TypeDef {
-                name: "()".to_string(),
-                args: 0,
-                origin: Origin::Builtin,
-            },
-        }
-    }
-    pub fn id(&self) -> TypeID {
-        TypeID::builtin(self)
-    }
-}
-
-impl TypeID {
-    pub fn builtin(ty: &BuiltinType) -> Self {
-        Self(*ty as usize)
-    }
-}
-