Still struggling with this. If anyone has any constructive ideas?<br><br>I guess it's not really easy otherwise someone would have come up with a solution by now ;-)<br><br>The issue is the line in makeConstrM'' where we're trying to read (Data a => a) from (String). "read" doesnt work, because read needs a to be an instance of Read, and Data a does not enforce this. Whilst the parent class can be enforced to be Read, there's nothing to enforce this on the child.
<br><br>Anyway, took a look at SYB3, which came up with this little bit of code:<br><br>class Data a => StringParser a where<br> parsestring :: String -> a<br> parsestring x = fst $ head $gread(x)<br>instance StringParser Int where
<br> parsestring x = read x<br>instance StringParser String where<br> parsestring x = read( "\"" ++ x ++ "\"" )<br><br>That looks like it should fix the problem with trying to read primitive child data types: we have a function "parsestring" with various custom methods for each data type we want to handle. On the face of it, it should work with any data type that is an instance of DAta, because of the default parsestring function.
<br><br>Unfortunately (and strangely) not: only data types explicitly added as instances will work with the default function for the Data class, even if the datatypes are in fact members of Data, and logically quite capable of running the default function.
<br><br>So, we cant use this for our Data a=> String -> a function<br><br>There's a bunch of "ext" functions that look potentially useful, but didnt manage to get any of them to work for this. If anyone has any ideas?
<br><br>For the moment, the only functions that build are:<br><br>return (fromJust $ fst $ head $ gread( "(" ++ (fromJust value) ++ ")" ) )<br><br>or:<br><br>return ((fromJust . cast) value)<br><br>... and neither of these work very well. The second works for strings only, not for other datatypes. The first just plain doesnt seem to work, for some reason. (By the way, if anyone knows how to extract debug information from partially executed functions that would be useful).
<br><br>Here's testConstrM'' at the moment:<br><br>testConstrM'' :: forall a. (Data a,Read a, Show a) => a -> [(String, Maybe String, DataType,Constr)] -> a<br>testConstrM'' templateobject fieldvalues = evalState (fromConstrM (do
<br> --value <- gets head<br> (fieldname,value,datatype,constr) <- gets head<br> modify tail<br> --return (fromJust $ (readConstr datatype value) )<br> <br> --return (parsestring (fromJust value))
<br> <br> --return (extR (fromJust $ fst $ head $ gread( "(" ++ (fromJust value) ++ ")" ) ) parsestring(fromJust value ) )<br> return (fromJust $ fst $ head $ gread( "(" ++ (fromJust value) ++ ")" ) )
<br> --return ((fromJust . cast) value)<br> <br> --case constr of<br> -- (toConstr(3::Int)) -> return ((fromJust . cast) value)<br> --IntConstr x -> return ((fromJust . cast) value)<br>
--_ -> return ((fromJust . cast) value)<br> --return (read_helper fieldname value datatype)<br> )(toConstr templateobject)) fieldvalues<br><br>You feed it a template object with the appropriate type, and an array of tuples with the fieldname, fieldvalue, datatype and constructor (we only use the fieldvalue at the moment, so you can leave the others blank).
<br><br>