Making rule application less fragile

Johan Tibell johan.tibell at
Thu Mar 13 18:31:08 EDT 2008

On Thu, Mar 13, 2008 at 11:24 PM, Don Stewart <dons at> wrote:
> Hey Johan,
>  The main thing to remember is that anything you wish to match on
>  in a rule needs to not be inlined in the first pass.
>  So to match "many" or "satisfy" robustly, you'll need:
>     {-# NOINLINE [1] many #-}
>  For example.

Does that mean that I should add a [2] to my rules so they are run
after? I guess it doesn't hurt to try them earlier.

-- Johan

More information about the Glasgow-haskell-users mailing list