parsing types

[Thomas Schilling]

On 24 April 2011 03:26, Ranjit Jhala <jhala at cs.ucsd.edu> wrote:
> Does anyone have a clue as to how to get a hold on an appropriate
> environment? (I would have thought that the HscEnv obtained _after_
> compiling some file "f" would populated with at least the names
> needed to compile "f") that is, if I do:
>
>        cm0  <- compileToCoreSimplified f
>        env  <- getSession
>
> then the resulting "env" would suffice, but unfortunately thats not
> the case...

It should work if you go the "setTarget ...; load ..." path.  The
'compileToCoreSimplified' function is intended for rather narrow use
cases.