diff options
| author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-03-01 14:21:48 -0800 |
|---|---|---|
| committer | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-03-02 15:59:02 -0800 |
| commit | 57ef18a291587999f695e28aa0cdc007d63054c5 (patch) | |
| tree | 22749a306e6d0637985911735c95f0b1c502209c | |
| parent | bba004f2a0642d3bb8c8876543aaa1a48a2f9a43 (diff) | |
| download | haskell-57ef18a291587999f695e28aa0cdc007d63054c5.tar.gz | |
Typofix.
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
| -rw-r--r-- | compiler/typecheck/TcValidity.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcValidity.hs b/compiler/typecheck/TcValidity.hs index 4a56bbea7a..12d4158005 100644 --- a/compiler/typecheck/TcValidity.hs +++ b/compiler/typecheck/TcValidity.hs @@ -658,7 +658,7 @@ applying the instance decl would show up two uses of ?x. Trac #8912. -} checkValidTheta :: UserTypeCtxt -> ThetaType -> TcM () --- Assumes arguemt is fully zonked +-- Assumes argument is fully zonked checkValidTheta ctxt theta = do { env <- tcInitOpenTidyEnv (tyCoVarsOfTypesList theta) ; addErrCtxtM (checkThetaCtxt ctxt theta) $ |