I don't have an answer for you, but you might want to look at what :k does in ghci, since that needs to parse a type.
On Sat, Apr 23, 2011 at 2:06 PM, Ranjit Jhala <[email protected]> wrote: > Hi all, > > can someone give me a hint as to the best way to parse a type from a > string. > Ideally, I'd like a function > > stringType :: String -> Maybe Type > > or possibly, > > stringType :: (GhcMonad m) => String -> m (Maybe Type) > > such that, > > stringType s == Just t > > if in the current GHC context the string s is the name of the type t. For > example, I'd like: > > stringType "Int" > > to return a value equal to intTy (from TysWiredIn). My investigations have > led me to > > parseType :: P (LHsType RdrName) > > and I suspect that with some work (mainly creating an appropriate PState, > and mapping the name back, I can extract what I want, but I was wondering > if there is some simpler route that I've overlooked. > > Thanks! > > Ranjit. > > _______________________________________________ > Glasgow-haskell-users mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users >
_______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
