<div dir="ltr"><div><div><div><div><div><div><div><div>Hi all<br><br>If I have a happy parser for an AST that is polymorphic, is there any way to put constraints on the individual rules?<br><br></div>e.g. if I have<br><br></div>data Foo a = Foo String a <br><br></div>and a rule something like<br><br></div>  foo :: { (Show a) => Foo a }<br></div>  foo : otherrule    { Foo (show $1) $1 }<br><br></div>Because of the way the tables are constructed in happy, the Show constraint is not attached to the point where the rule RHS is applied.<br><br></div>Is this simply impossible?<br><br></div>Alan<br></div>