diff options
Diffstat (limited to 'Jennisys/TypeChecker.fs')
-rw-r--r-- | Jennisys/TypeChecker.fs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Jennisys/TypeChecker.fs b/Jennisys/TypeChecker.fs index bf012a11..8227b693 100644 --- a/Jennisys/TypeChecker.fs +++ b/Jennisys/TypeChecker.fs @@ -37,3 +37,7 @@ let TypeCheck prog = let componentNames = decls |> List.choose (function Class(name,_,_) -> Some(name) | _ -> None)
let clist = componentNames |> List.map (fun name -> Component(GetClass name decls, GetModel name decls, GetCode name decls))
Some(Program(clist))
+
+// TODO: implement this
+let InferType prog expr =
+ NamedType("unknown", [])
\ No newline at end of file |