testBoundParameter :: Assertion
testBoundParameter = testParse "testBoundParameter" "f 01a=10a." checkResult
  where
    checkResult [PartialDef (Identifier _ "f")
                            [ParamBound _ [False,True] (Identifier _ "a")]
                            [UnparsedLiteral _ [True,False],
                             UnparsedIdentifier (Identifier _ "a")]] = True
    checkResult _ = False
testBoundParameter :: Assertion
testBoundParameter = testParse "testBoundParameter" "f 01a=10a." checkResult
  where
    checkResult [PartialDef (Identifier _ "f")
                            [ParamBound _ [False,True] (Identifier _ "a")]
                            [UnparsedLiteral _ [True,False],
                             UnparsedIdentifier (Identifier _ "a")]] = True
    checkResult _ = False
testBoundParameter = testParse "testBoundParameter" "f 01a=10a." checkResult
  where
    checkResult [PartialDef (Identifier _ "f")
                            [ParamBound _ [False,True] (Identifier _ "a")]
                            [UnparsedLiteral _ [True,False],
                             UnparsedIdentifier (Identifier _ "a")]] = True
    checkResult _ = False