UCSD-PL / refscript

Refinement Types for Scripting Languages
BSD 3-Clause "New" or "Revised" License
65 stars 3 forks source link

No mutability for Enums #143

Open panagosg7 opened 8 years ago

panagosg7 commented 8 years ago

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;
}