Re: Toolbox typecheck throws MatchError for higher-kinded path-dependent type

Thanks Jason!

So, if I only need to compare the compiled code's Types with the host code,
and not to export or import Trees, then the ToolBox doesn't do anything
that Global can't do better?

Can I use per-thread instances of Global in parallel as I do with ToolBox?
The name 'Global' is a bit worrying in that regard.

Daniel Armak

On Wed, Jul 29, 2015 at 3:59 PM, Jason Zaugg <[email protected]> wrote:

> On Wed, Jul 29, 2015 at 6:18 PM Daniel Armak <[email protected]> wrote:
>
>> This example produces an untyped tree (run.units.toList.head.body.tpe is
>> NoType).
>>
> An untyped tree has a null type, NoType is the result of typechecking
> things like PackageDef / ClassDef / DefDef trees.
>
> I’ve updated the gist to include the output of show(tree, printTypes =
> true) that shows the types you’ll find deeper in the tree.
>
> -jason
> ​
>
> --
> You received this message because you are subscribed to the Google Groups
> "scala-language" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups "scala-language" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
For more options, visit https://groups.google.com/d/optout.