diff options
Diffstat (limited to 'Sil/Types.dcl')
| -rw-r--r-- | Sil/Types.dcl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Sil/Types.dcl b/Sil/Types.dcl index 1659436..5fd159e 100644 --- a/Sil/Types.dcl +++ b/Sil/Types.dcl @@ -1,6 +1,6 @@ definition module Sil.Types -from StdOverloaded import class ==, class toString +from StdOverloaded import class ==, class toString, class zero from Data.Error import :: MaybeError from Data.Maybe import :: Maybe @@ -28,6 +28,8 @@ typeSize :: Type -> Int :: TypeResolver :== Name -> Maybe (MaybeError TypeError Type) +instance zero TypeResolver + class type a :: TypeResolver a -> Maybe (MaybeError TypeError Type) instance type Function instance type Expression |