diff options
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
|