wip: work on supporting dynamic typing

Author: rahulk29

core/compiler/src/compile.rs

@@ -477,6 +477,10 @@ pub enum Ty {
     /// Suppresses type checking of dependent properties.
     #[default]
     Unknown,
+    /// Catch-all any type.
+    ///
+    /// Should eventually be removed.
+    Any,
     Bool,
     Float,
     Int,
@@ -498,6 +502,7 @@ impl Ty {
         match name {
             "Float" => Some(Ty::Float),
             "Rect" => Some(Ty::Rect),
+            "Any" => Some(Ty::Any),
             "Int" => Some(Ty::Int),
             "String" => Some(Ty::String),
             "()" => Some(Ty::Nil),
@@ -728,7 +733,7 @@ impl<'a> VarIdTyPass<'a> {
     }
 
     fn assert_eq_ty(&mut self, span: cfgrammar::Span, found: &Ty, expected: &Ty) {
-        if *found != *expected {
+        if *found != *expected && !(*found == Ty::Any || *expected == Ty::Any) {
             self.errors.push(StaticError {
                 span: self.span(span),
                 kind: StaticErrorKind::IncorrectTy {
@@ -740,7 +745,7 @@ impl<'a> VarIdTyPass<'a> {
     }
 
     fn assert_ty_is_cell(&mut self, span: cfgrammar::Span, ty: &Ty) {
-        if !matches!(ty, Ty::Cell(_)) {
+        if !matches!(ty, Ty::Cell(_) | Ty::Any) {
             self.errors.push(StaticError {
                 span: self.span(span),
                 kind: StaticErrorKind::IncorrectTyCategory {
@@ -752,7 +757,7 @@ impl<'a> VarIdTyPass<'a> {
     }
 
     fn assert_ty_is_enum(&mut self, span: cfgrammar::Span, ty: &Ty) {
-        if !matches!(ty, Ty::Enum(_)) {
+        if !matches!(ty, Ty::Enum(_) | Ty::Any) {
             self.errors.push(StaticError {
                 span: self.span(span),
                 kind: StaticErrorKind::IncorrectTyCategory {

core/compiler/src/lib.rs

@@ -19,7 +19,7 @@ mod tests {
     use approx::assert_relative_eq;
     use const_format::concatcp;
 
-    use crate::compile::{compile, CellArg, CompileInput};
+    use crate::compile::{CellArg, CompileInput, compile};
     const EPSILON: f64 = 1e-10;
 
     const EXAMPLES_DIR: &str = concat!(env!("CARGO_MANIFEST_DIR"), "/../../examples");
@@ -55,6 +55,7 @@ mod tests {
     const ARGON_WORKSPACE: &str = concatcp!(EXAMPLES_DIR, "/argon_workspace/lib.ar");
     const ARGON_EXTERNAL_MODS: &str = concatcp!(EXAMPLES_DIR, "/external_mods/main_crate/lib.ar");
     const ARGON_TEXT: &str = concatcp!(EXAMPLES_DIR, "/text/lib.ar");
+    const ARGON_ANY_TYPE_INST: &str = concatcp!(EXAMPLES_DIR, "/any_type_inst/lib.ar");
 
     #[test]
     fn argon_scopes() {
@@ -694,4 +695,24 @@ mod tests {
         assert_relative_eq!(t.x, 0., epsilon = EPSILON);
         assert_relative_eq!(t.y, 10., epsilon = EPSILON);
     }
+
+    #[test]
+    fn argon_any_type_inst() {
+        let o = parse_workspace_with_std(ARGON_ANY_TYPE_INST);
+        assert!(o.static_errors().is_empty());
+        let ast = o.ast();
+        let cells = compile(
+            &ast,
+            CompileInput {
+                cell: &["top"],
+                args: Vec::new(),
+                lyp_file: &PathBuf::from(SKY130_LYP),
+            },
+        );
+        println!("{cells:#?}");
+
+        let cells = cells.unwrap_valid();
+        let cell = &cells.cells[&cells.top];
+        assert_eq!(cell.objects.len(), 2);
+    }
 }

examples/any_type_inst/lib.ar

@@ -0,0 +1,15 @@
+
+cell bot() {
+    let met1 = rect("met1", x0=0., y0=0., x1=100., y1=100.);
+}
+
+fn double(cell_: Any) -> [Any] {
+    let i1 = inst(cell_, x=0., y=0.);
+    let i2 = inst(cell_, x=200., y=0.);
+    cons(i1, cons(i2, []))
+}
+
+cell top() {
+    let bot_cell = bot();
+    double(bot_cell);
+}