diff options
Diffstat (limited to 'Sil/Types.dcl')
| -rw-r--r-- | Sil/Types.dcl | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Sil/Types.dcl b/Sil/Types.dcl index 14602d3..f07c3e9 100644 --- a/Sil/Types.dcl +++ b/Sil/Types.dcl @@ -3,7 +3,6 @@ definition module Sil.Types from StdOverloaded import class ==, class +, class toString, class zero from Data.Error import :: MaybeError -from Data.Maybe import :: Maybe from ABC.Assembler import :: BasicType @@ -38,11 +37,11 @@ typeSize :: Type -> TypeSize (+~) infixl 6 :: TypeSize TypeSize -> TypeSize (-~) infixl 6 :: TypeSize TypeSize -> TypeSize -:: TypeResolver :== Name -> Maybe (MaybeError Error Type) +:: TypeResolver :== Name -> ?(MaybeError Error Type) instance zero TypeResolver -class type a :: TypeResolver a -> Maybe (MaybeError Error Type) +class type a :: TypeResolver a -> ?(MaybeError Error Type) instance type Function instance type Expression instance type Name |