[email protected]
[Top] [All Lists]

[Haskell-cafe] Re: Atom bug(?)

Subject: [Haskell-cafe] Re: Atom bug?
From: Lee Pike
Date: Tue, 19 Jan 2010 14:50:45 -0800

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
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
Haskell-Cafe mailing list
[email protected]

<Prev in Thread] Current Thread [Next in Thread>