diff options
| author | Camil Staps | 2021-01-04 20:27:45 +0100 |
|---|---|---|
| committer | Camil Staps | 2021-01-04 20:27:45 +0100 |
| commit | 88de5784428bec9a4b32bdf447c160da29b3745e (patch) | |
| tree | 4b5a52c8fe2560e98aca0d74ec8dcd5cb09b2b70 /Sil/Types.dcl | |
| parent | Fix error reporting for illegal command line arguments (diff) | |
Make up to date
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 |