diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-03-10 17:58:32 +0100 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-03-10 18:05:01 +0100 |
| commit | abf5736bcad2d740b5854e2e4a9b3547b9b06639 (patch) | |
| tree | 6ce982e8fb785f48fbefcb766890849272d9b415 /compiler/GHC/Hs/Decls.hs | |
| parent | 3300eeacbbf7a3d1f961f809be5d236c48827b28 (diff) | |
| download | haskell-abf5736bcad2d740b5854e2e4a9b3547b9b06639.tar.gz | |
Typos in comments [skip ci]
Diffstat (limited to 'compiler/GHC/Hs/Decls.hs')
| -rw-r--r-- | compiler/GHC/Hs/Decls.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/GHC/Hs/Decls.hs b/compiler/GHC/Hs/Decls.hs index 490113f2eb..b09e0d9eea 100644 --- a/compiler/GHC/Hs/Decls.hs +++ b/compiler/GHC/Hs/Decls.hs @@ -898,9 +898,9 @@ NOTE THAT * The CUSK completely fixes the kind of the type constructor, forever. - * The precise rules, for each declaration form, for whethher a declaration + * The precise rules, for each declaration form, for whether a declaration has a CUSK are given in the user manual section "Complete user-supplied - kind signatures and polymorphic recursion". BUt they simply implement + kind signatures and polymorphic recursion". But they simply implement PRINCIPLE above. * Open type families are interesting: |