Cosmetic: code formatting.

This commit is contained in:
Robin Heggelund Hansen 2022-04-29 16:18:39 +02:00
parent cf4f41dd53
commit b1ef607368
4 changed files with 8 additions and 9 deletions

View File

@ -91,12 +91,12 @@ data Type
-- CTORS
data Ctor = Ctor
{ _c_home :: ModuleName.Canonical,
_c_type :: Name.Name,
_c_union :: Can.Union,
_c_index :: Index.ZeroBased,
_c_args :: [Can.Type]
}
{ _c_home :: ModuleName.Canonical,
_c_type :: Name.Name,
_c_union :: Can.Union,
_c_index :: Index.ZeroBased,
_c_args :: [Can.Type]
}
-- BINOPS

View File

@ -138,7 +138,7 @@ aliasToType home name alias =
aliasToTypeHelp :: ModuleName.Canonical -> Name.Name -> Can.Alias -> (Env.Type, Env.Exposed Env.Ctor)
aliasToTypeHelp home _ (Can.Alias vars tipe) =
( Env.Alias (length vars) home vars tipe, Map.empty )
(Env.Alias (length vars) home vars tipe, Map.empty)
-- BINOP

View File

@ -228,7 +228,7 @@ canonicalizeAlias env (A.At _ (Src.Alias (A.At _ name) args tipe)) =
let vars = map A.toValue args
ctipe <- Type.canonicalize env tipe
Result.ok
( (name, Can.Alias vars ctipe), Dups.none )
((name, Can.Alias vars ctipe), Dups.none)
-- CANONICALIZE UNION

View File

@ -63,7 +63,6 @@ addCtorNode home opts nodes (Can.Ctor name index numArgs _) =
Can.Enum -> Opt.Enum index
in Map.insert (Opt.Global home name) node nodes
-- ADD EFFECTS
addEffects :: ModuleName.Canonical -> Can.Effects -> Opt.LocalGraph -> Opt.LocalGraph