Skip to content

Commit

Permalink
add test for JustusAdam#167
Browse files Browse the repository at this point in the history
  • Loading branch information
sheaf committed Jun 20, 2020
1 parent 0aa06bf commit 75aa09b
Show file tree
Hide file tree
Showing 2 changed files with 29 additions and 0 deletions.
1 change: 1 addition & 0 deletions test/test.sh
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,7 @@ namedBroken=()
ticketsBroken=(
"T0153.hs"
"T0165.hs"
"T0167.hs"
)

# Colours used to display test outputs.
Expand Down
28 changes: 28 additions & 0 deletions test/tickets/T0167.hs
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
-- SYNTAX TEST "source.haskell" "Interaction between record fields and context arrows"

data BuilderType = Builder
{ (>>=) :: forall m a b. Unrestricted.Monad m => m a -> (a -> m b) -> m b
-- ^^^ variable.other.member.definition.haskell
-- ^^ keyword.operator.double-colon.haskell
-- ^^^^^^ keyword.other.forall.haskell
-- ^ keyword.operator.period.haskell
-- ^^ keyword.operator.big-arrow
, (>>) :: forall m b . Unrestricted.Monad m => m () -> m b -> m b
-- ^^ variable.other.member.definition.haskell
-- ^^ keyword.operator.double-colon.haskell
-- ^^^^^^ keyword.other.forall.haskell
-- ^ keyword.operator.period.haskell
-- ^^ keyword.operator.big-arrow
, fail :: forall m a . Unrestricted.MonadFail m => String -> m a
-- ^^^^ variable.other.member.definition.haskell
-- ^^ keyword.operator.double-colon.haskell
-- ^^^^^^ keyword.other.forall.haskell
-- ^ keyword.operator.period.haskell
-- ^^ keyword.operator.big-arrow
, return :: forall m a . Unrestricted.Monad m => a -> m a
-- ^^^^^^ variable.other.member.definition.haskell
-- ^^ keyword.operator.double-colon.haskell
-- ^^^^^^ keyword.other.forall.haskell
-- ^ keyword.operator.period.haskell
-- ^^ keyword.operator.big-arrow
}

0 comments on commit 75aa09b

Please sign in to comment.