unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-10-05 06:07:21 +03:00
Code Issues Projects Releases Wiki Activity

ormolu

Browse Source
This commit is contained in:
Travis Staton 2023-03-27 21:28:25 -04:00
parent c9bfb5d7aa
commit bce88c3d98
No known key found for this signature in database
GPG Key ID: 431DD911A00DAE49
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
parser-typechecker/src/Unison/PatternMatchCoverage/Constraint.hs
View File

@ -68,7 +68,7 @@ prettyConstraint ppe = \case
Effectful var -> "!" <> prettyVar var
Eq v0 v1 -> sep " " [prettyVar v0, "=", prettyVar v1]
where
pany :: Show a => a -> Pretty ColorText
pany :: (Show a) => a -> Pretty ColorText
pany = string . show
pc = prettyConstructorReference ppe

2
parser-typechecker/src/Unison/PatternMatchCoverage/Pretty.hs
View File

@ -10,7 +10,7 @@ import Unison.Util.Pretty
import qualified Unison.Util.Pretty as P
import Unison.Var
prettyVar :: Var v => v -> Pretty ColorText
prettyVar :: (Var v) => v -> Pretty ColorText
prettyVar v =
let go x =
let (d, m) = divMod x 26

4
parser-typechecker/src/Unison/Syntax/DeclPrinter.hs
View File

@ -75,7 +75,7 @@ prettyGADT env ctorType r name dd =
constructor (n, (_, _, t)) =
prettyPattern env ctorType name (ConstructorReference r n)
<> fmt S.TypeAscriptionColon " :"
`P.hang` TypePrinter.prettySyntax env t
`P.hang` TypePrinter.prettySyntax env t
header = prettyEffectHeader name (DD.EffectDeclaration dd) <> fmt S.ControlKeyword " where"
prettyPattern ::
@ -129,7 +129,7 @@ prettyDataDecl (PrettyPrintEnvDecl unsuffixifiedPPE suffixifiedPPE) r name dd =
P.group $
styleHashQualified'' (fmt (S.TypeReference r)) fname
<> fmt S.TypeAscriptionColon " :"
`P.hang` runPretty suffixifiedPPE (TypePrinter.prettyRaw Map.empty (-1) typ)
`P.hang` runPretty suffixifiedPPE (TypePrinter.prettyRaw Map.empty (-1) typ)
header = prettyDataHeader name dd <> fmt S.DelimiterChar (" = " `P.orElse` "\n = ")
-- Comes up with field names for a data declaration which has the form of a