diff options
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index 1b243bf..479374e 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -608,7 +608,7 @@ from convertDynamics import :: TypeCodeVariableInfo, :: DynamicValueAliasInfo :: VI_TypeInfo = VITI_Empty | VITI_Coercion CoercionPosition - | VITI_PatternType [AType] AType VI_TypeInfo + | VITI_PatternType [AType] /*module*/!Index /*constructor*/!Index VI_TypeInfo //:: VarInfo = VI_Empty | VI_Type !AType !(Optional CoercionPosition) | VI_FAType ![ATypeVar] !AType !(Optional CoercionPosition) | :: VarInfo = VI_Empty | VI_Type !AType !VI_TypeInfo | VI_FAType ![ATypeVar] !AType !VI_TypeInfo | |