diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-07-24 14:55:10 +0200 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-07-24 15:28:15 +0200 |
| commit | 75eb8a49842075bcaa2878b262443b48aafec2ab (patch) | |
| tree | 94b68b5f76e9b4247235f55c20a05964eb23bac5 /src/continuations | |
| parent | 82dea8af9612ed26ebb01375f369d0c6033662ba (diff) | |
| download | scala-75eb8a49842075bcaa2878b262443b48aafec2ab.tar.gz scala-75eb8a49842075bcaa2878b262443b48aafec2ab.tar.bz2 scala-75eb8a49842075bcaa2878b262443b48aafec2ab.zip | |
use hasAllFlags to detect gadt skolems
trying to compromise between
- easy discovery of what special mix of flags identifies a gadt skolem
- ensuring that hasAllFlags is used and not hasFlag
keeping the secret combo close to the creator/detector methods instead of moving them to Flags
ideally, we'd allocate a new bit in Flags, but that's to invasive right now
these symbols are also relatively short-lived:
thet are created in adaptConstrPattern and removed at the end of typedCase
Diffstat (limited to 'src/continuations')
0 files changed, 0 insertions, 0 deletions