UCSD-PL/refscript

No mutability for Enums

Opened this issue · 0 comments

This should flag a malformed-type error:

enum SyntaxKind {
    ClassDeclaration
}

export interface Node<M extends ReadOnly> {
    /*@ (Immutable) kind: SyntaxKind<Immutable> */     // FLAG ERROR HERE
    kind: SyntaxKind;
}