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/Check.dcl | |
| parent | Fix error reporting for illegal command line arguments (diff) | |
Make up to date
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) |