diff options
Diffstat (limited to 'Sil/Check.dcl')
| -rw-r--r-- | Sil/Check.dcl | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Sil/Check.dcl b/Sil/Check.dcl index c2ba86f..306e7d5 100644 --- a/Sil/Check.dcl +++ b/Sil/Check.dcl @@ -2,9 +2,7 @@ definition module Sil.Check from StdOverloaded import class toString -from Data.Maybe import :: Maybe - from Sil.Error import :: Error from Sil.Syntax import :: Program -checkProgram :: *(Maybe *File) Program -> *([Error], *Maybe *File) +checkProgram :: *(? *File) Program -> *([Error], * ? *File) |