Changeset 12960 for src/Pugs/AST.hs

Timestamp:

09/02/06 22:45:03 (2 years ago)

Author:

gaal

Message:

* Support for arbitrary traits in Signatures:

:($moose! is Beautiful is Fair)

* Honor spelled-out 'is required' trait:

:($x = 42 is required) # gives the error you'd expect

* Along the way I broke implicit-optionality, so if you enter

auxillaries, you need either a ?/! or a default value :-(

* Open questions:

• How does Pugs.Val.Code.Param express Dog ::T $fido?
• What does it do with 'does' and other non-is auxillaries?

Files:

• src/Pugs/AST.hs (modified) (1 diff)

src/Pugs/AST.hs

@@ -39 +39 @@
 import Pugs.AST.SIO
 import Pugs.AST.Pad
-import Pugs.Val (val, PureStr, PureInt, PureNum, Capt(..), ValCapt, Feed(..), ValFeed, emptyFeed, Sig(..), SigParam(..), ParamAccess(..), ParamDefault(..))
+import Pugs.Val (val, PureBit, PureBool, PureStr, PureInt, PureNum, Capt(..), ValCapt, Feed(..), ValFeed, emptyFeed, Sig(..), SigParam(..), ParamAccess(..), ParamDefault(..))
 
 {-|