diff options
author | Unknown <t-alekm@A3479878.redmond.corp.microsoft.com> | 2011-06-24 10:06:10 -0700 |
---|---|---|
committer | Unknown <t-alekm@A3479878.redmond.corp.microsoft.com> | 2011-06-24 10:06:10 -0700 |
commit | 530e6f14cb99f3b444a82eb58d096b5a5d0e48aa (patch) | |
tree | 2c51979a74317b31761ceb17a0a1680cfe465e35 /Jennisys/TypeChecker.fs | |
parent | 8aab55358f04b6b6be84c362ee64f715ee7bd12a (diff) |
- implemented reading models from a BVD model file
Diffstat (limited to 'Jennisys/TypeChecker.fs')
-rw-r--r-- | Jennisys/TypeChecker.fs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Jennisys/TypeChecker.fs b/Jennisys/TypeChecker.fs index 41ffbb5d..6ca13453 100644 --- a/Jennisys/TypeChecker.fs +++ b/Jennisys/TypeChecker.fs @@ -24,6 +24,7 @@ let IsUserType prog tpo = let tpname = match tp with
| NamedType(tname) -> tname
| InstantiatedType(tname, _) -> tname
+ | _ -> ""
match prog with
| Program(components) -> components |> List.filter (function Component(Class(name,_,_),_,_) when name = tpname -> true
| _ -> false) |> List.isEmpty |> not
|