zaphar/ucg
1
0
Fork 0
mirror of https://github.com/zaphar/ucg.git synced 2025-07-22 18:19:54 -04:00
Code Issues Packages Projects Releases Wiki Activity

feat: module type inference

Browse Source
This commit is contained in:
Jeremy Wall 2023-10-08 19:18:24 -04:00
parent 51d117a040
commit fca5026875
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/ast/mod.rs
View File

@ -926,6 +926,10 @@ impl ModuleDef {
pub fn set_out_expr(&mut self, expr: Expression) { pub fn set_out_expr(&mut self, expr: Expression) {
self.out_expr = Some(Box::new(expr)); self.out_expr = Some(Box::new(expr));
} }
pub fn derive_shape(&mut self, expr: Expression) {
todo!()
}
} }
/// RangeDef defines a range with optional step. /// RangeDef defines a range with optional step.

2
src/ast/typecheck/mod.rs
View File

@ -245,7 +245,7 @@ impl DeriveShape for Expression {
Expression::Func(def) => def.derive_shape(symbol_table), Expression::Func(def) => def.derive_shape(symbol_table),
Expression::Select(def) => def.derive_shape(symbol_table), Expression::Select(def) => def.derive_shape(symbol_table),
Expression::FuncOp(_) => todo!(), Expression::FuncOp(_) => todo!(),
Expression::Module(_) => todo!(), Expression::Module(def) => def.derive_shape(symbol_table),
Expression::Fail(_) => todo!(), Expression::Fail(_) => todo!(),
Expression::Debug(_) => todo!(), Expression::Debug(_) => todo!(),
} }