diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-12-21 21:03:29 +0100 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-12-25 18:26:44 +0100 |
| commit | e6191d39680351bc69dfb379386c4c5273971030 (patch) | |
| tree | 9652e70935ff5460d9d0a1d3d6fb173ef5a844ee /compiler/GHC/Tc/Solver.hs | |
| parent | 80daefce4ec1169ac3ef0552b8600c71527d84c2 (diff) | |
| download | haskell-e6191d39680351bc69dfb379386c4c5273971030.tar.gz | |
Fix typos
Diffstat (limited to 'compiler/GHC/Tc/Solver.hs')
| -rw-r--r-- | compiler/GHC/Tc/Solver.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/compiler/GHC/Tc/Solver.hs b/compiler/GHC/Tc/Solver.hs index e276ad16d9..aba2ad54a8 100644 --- a/compiler/GHC/Tc/Solver.hs +++ b/compiler/GHC/Tc/Solver.hs @@ -216,7 +216,7 @@ solveEqualities callsite thing_inside simplifyAndEmitFlatConstraints :: WantedConstraints -> TcM () -- See Note [Failure in local type signatures] simplifyAndEmitFlatConstraints wanted - = do { -- Solve and zonk to esablish the + = do { -- Solve and zonk to establish the -- preconditions for floatKindEqualities wanted <- runTcSEqualities (solveWanteds wanted) ; wanted <- TcM.zonkWC wanted @@ -2740,7 +2740,7 @@ findDefaultableGroups (default_tys, (ovl_strings, extended_defaults)) wanteds | otherwise = all is_std_class clss && (any (isNumClass ovl_strings) clss) -- is_std_class adds IsString to the standard numeric classes, - -- when -foverloaded-strings is enabled + -- when -XOverloadedStrings is enabled is_std_class cls = isStandardClass cls || (ovl_strings && (cls `hasKey` isStringClassKey)) @@ -2792,14 +2792,14 @@ disambigGroup (default_ty:default_tys) group@(the_tv, wanteds) -- ill-kinded defaulting attempts like (Eq []) or (Foldable Int) here. -- In interactive mode, or with -XExtendedDefaultRules, --- we default Show a to Show () to avoid graututious errors on "show []" +-- we default Show a to Show () to avoid gratuitous errors on "show []" isInteractiveClass :: Bool -- -XOverloadedStrings? -> Class -> Bool isInteractiveClass ovl_strings cls = isNumClass ovl_strings cls || (classKey cls `elem` interactiveClassKeys) -- isNumClass adds IsString to the standard numeric classes, - -- when -foverloaded-strings is enabled + -- when -XOverloadedStrings is enabled isNumClass :: Bool -- -XOverloadedStrings? -> Class -> Bool isNumClass ovl_strings cls |