Tom, Ah, right.
The top-most rule is implied with the compile command. This makes it appear as if the assignment doesn't belong to a rule, when if fact it belongs to the implicit top level rule. The top level rule always has a period of 1. Period constraints are only applied to sub-rules, not the current rule.
So to get the behavior I was expecting, I can name everything explicitly. Then the assignment will inherit the period:
example :: Atom () -- example = period 3 $ do example = period 3 $ atom "ex" $ do a <- word32 "a" 0 a <== 21
Lee _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
