Changeset 12008 for src/Pugs/Val

Timestamp:

08/08/06 18:35:12 (2 years ago)

Author:

gaal

Message:

* Add VV support for PureInt?. The verification is awkward to make with

the hack, so it's commented out.

* Belay the attempts at -boot files since they don't seem to allow

ICoercible. The cost is that instances for that class must be defined
in Pugs.Val.

Location:

src/Pugs/Val

Files:

• Int.hs (added)
• Str.hs (modified) (2 diffs)

src/Pugs/Val/Str.hs

@@ -2 +2 @@
 module Pugs.Val.Str where
 import Pugs.Internals
-import {-# SOURCE #-} Pugs.Val
 import qualified Data.ByteString.Char8 as Char8
 
@@ -11 +10 @@
     deriving (Typeable, Show, Eq, Ord, Data, (:>:) String, (:<:) String, (:>:) ByteString, (:<:) ByteString)
 
+{- regretfully, I couldn't find a way to put this here w/o circularity.
 instance ICoercible P PureStr where
     asStr  = cast
-
-class (Monad m, Functor m, Eq a, Data a, Typeable a) => ICoercible m a | a -> m where
-    asBit    :: a -> m PureBit
-    asBit _ = return True
-    asInt    :: a -> m PureInt
-    asInt x = fail $ "coerce fail: " ++ (show $ typeOf x) ++ " to PureInt"
-    asNum    :: a -> m PureNum
-    asNum x = fail $ "coerce fail: " ++ (show $ typeOf x) ++ " to PureNum"
-    asStr    :: a -> m PureStr
-    asStr x = return (cast "<opaque>") -- XXX wrong
-    -- "$item = VAL"
-    asItem   :: a -> Maybe (m Val)
-    asItem _ = Nothing -- default = do nothing (for Scalar this would return its content)
-    -- "@list = VAL"
-    asList   :: a -> Maybe (m PureList)
-    asList _ = Nothing -- default = do nothing (for Scalar this would return its content wrapped in a 1-seq)
-    asNative :: a -> m ValNative
-    asNative = fmap (NBuf . cast) . asStr
-
+-}