Re: Toolbox typecheck throws MatchError for higher-kinded path-dependent type
Jason Zaugg <[email protected]>
| Newsgroups | gmane.comp.lang.scala |
|---|---|
| Message-ID | <CAG3_yeVmyOhzuB_EZVp35bKJrmWg9dsoOCq1ejLynzjw6tKJKg@mail.gmail.com> |
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.