Skip to content

Commit

Permalink
Regenerate examples
Browse files Browse the repository at this point in the history
  • Loading branch information
brandonchinn178 committed Jun 14, 2024
1 parent acb9a7b commit 19398dd
Show file tree
Hide file tree
Showing 7 changed files with 8 additions and 19 deletions.
4 changes: 1 addition & 3 deletions data/examples/declaration/class/default-signatures-out.hs
Original file line number Diff line number Diff line change
Expand Up @@ -14,9 +14,7 @@ class Bar a where
( Read a,
Semigroup a
) =>
a ->
a ->
a
a -> a -> a
-- Even more pointless comment
bar
a
Expand Down
4 changes: 1 addition & 3 deletions data/examples/declaration/data/gadt/multiline-out.hs
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,7 @@ data Foo a where
forall a b.
(Show a, Eq b) => -- foo
-- bar
a ->
b ->
Foo 'Int
a -> b -> Foo 'Int
-- | But 'Bar' is also not too bad.
Bar ::
Int -> Maybe Text -> Foo 'Bool
Expand Down
4 changes: 1 addition & 3 deletions data/examples/declaration/rewrite-rule/type-signature-out.hs
Original file line number Diff line number Diff line change
Expand Up @@ -8,9 +8,7 @@
z
( g ::
forall b.
(a -> b -> b) ->
b ->
b
(a -> b -> b) -> b -> b
).
foldr k z (build g) =
g k z
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -6,5 +6,4 @@ wrapError ::
HasCatch innertag inner (t m'),
HasCatch outertag outer m
) =>
(forall m'. (HasCatch innertag inner m') => m' a) ->
m a
(forall m'. (HasCatch innertag inner m') => m' a) -> m a
Original file line number Diff line number Diff line change
Expand Up @@ -6,5 +6,4 @@ magnify ::
HasReader innertag inner (t m'),
HasReader outertag outer m
) =>
(forall m'. (HasReader innertag inner m') => m' a) ->
m a
(forall m'. (HasReader innertag inner m') => m' a) -> m a
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,5 @@ sort' ::
a -> a -> Bool,
?foo :: Int
) =>
[a] ->
[a]
[a] -> [a]
sort' = sort
6 changes: 2 additions & 4 deletions data/examples/other/multiline-forall-out.hs
Original file line number Diff line number Diff line change
Expand Up @@ -22,8 +22,7 @@ data G where
)
(x :: *)
(y :: *).
f x y ->
G
f x y -> G

f ::
forall
Expand All @@ -32,8 +31,7 @@ f ::
)
(x :: *)
(y :: *).
f x y ->
()
f x y -> ()
f = const ()

type family T f x y where
Expand Down

0 comments on commit 19398dd

Please sign in to comment.