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

This example produces an untyped tree (run.units.toList.head.body.tpe is
NoType).

Is there a way to use Global to produce typed trees? Otherwise I won’t be
able to do effective typechecking when compiling values whose type is
subject to erasure.
​

Daniel Armak

On Wed, Jul 29, 2015 at 2:51 AM, Jason Zaugg <[email protected]> wrote:

> On Wed, Jul 29, 2015 at 9:13 AM Simon Schäfer <[email protected]> wrote:
>
>>  It is known that the ToolBox is full of bugs. I wouldn't bother with it
>> at all - use a regular instance of Global instead.
>>
>
> That's good advice, but your example doesn't quite follow it :)
>
> Here's how to use the regular global (rather than the presentation
> compiler global)
>
> https://gist.github.com/retronym/3f8b68abe7817a722a8a
>
> -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.