diff options
| author | johnvg | 2011-03-22 11:27:18 +0000 |
|---|---|---|
| committer | johnvg | 2011-03-22 11:27:18 +0000 |
| commit | 3e361e4e7c9202efd5a1c26abb163a4d71a4b960 (patch) | |
| tree | 2e16d8088320b247121978a5bb47f639113c5e9e /frontend/syntax.dcl | |
| parent | optimize adapters for generic functions using algebraic types which have (diff) | |
recognize non generic variables in is_bimap_id
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1889 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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 851125e..11b13b2 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -1028,7 +1028,7 @@ cNonRecursiveAppl :== False | TVI_Kind !TypeKind | TVI_ConsInstance !DefinedSymbol //AA: generic cons instance function | TVI_Normalized !Int /* MV - position of type variable in its definition */ - | TVI_Expr !Expression /* AA: Expression corresponding to the type var during generic specialization */ + | TVI_Expr !Bool !Expression /* AA: Expression corresponding to the type var during generic specialization */ | TVI_Iso !DefinedSymbol !DefinedSymbol !DefinedSymbol | TVI_GenTypeVarNumber !Int | TVI_CPSTypeVar !CheatCompiler /* MdM: a pointer to a variable in CleanProverSystem is stored here, using a cast */ |