Skip to content

Commit

Permalink
fixup
Browse files Browse the repository at this point in the history
  • Loading branch information
tomjaguarpaw committed Feb 21, 2024
1 parent 5eca9e0 commit dcbe5da
Showing 1 changed file with 1 addition and 7 deletions.
8 changes: 1 addition & 7 deletions bluefin-internal/test/Main.hs
Original file line number Diff line number Diff line change
Expand Up @@ -71,13 +71,7 @@ withSpecInfo ::
SpecInfo r
withSpecInfo x = Forall (Nest x)

newtype Nest h t es r = Nest
{ unNest ::
forall e.
(e :> es) =>
h e ->
t es r
}
newtype Nest h t es r = Nest {unNest :: forall e. (e :> es) => h e -> t es r}

newtype Forall t r = Forall {unForall :: forall es. t es r}

Expand Down

0 comments on commit dcbe5da

Please sign in to comment.