summaryrefslogtreecommitdiff
path: root/Jennisys/TypeChecker.fs
diff options
context:
space:
mode:
Diffstat (limited to 'Jennisys/TypeChecker.fs')
-rw-r--r--Jennisys/TypeChecker.fs4
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