diff options
| author | ronny | 2004-03-17 12:26:47 +0000 |
|---|---|---|
| committer | ronny | 2004-03-17 12:26:47 +0000 |
| commit | a613de0b391f5f95b0496515ec73ac41639af7b2 (patch) | |
| tree | aef2a99b4618c4c8d6588ca53d3f039f6defe9f0 /frontend/predef.dcl | |
| parent | ignore rank > 1 quantors in type_io (diff) | |
reification of type definitions
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1465 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/predef.dcl')
| -rw-r--r-- | frontend/predef.dcl | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/frontend/predef.dcl b/frontend/predef.dcl index 4101092..7097ac8 100644 --- a/frontend/predef.dcl +++ b/frontend/predef.dcl @@ -248,7 +248,20 @@ PD_FromThenToU :== 259 PD_FromThenToUTS :== 260 PD_FromThenToO :== 261 -PD_NrOfPredefSymbols :== 262 +/* Clean Type introspection */ +PD_CleanTypes :== 262 +PD_CTTypeDef :== 263 +PD_CTAlgType :== 264 +PD_CTRecordType :== 265 +PD_CTSynType :== 266 +PD_CTPredefined :== 267 +PD_CTConsDef :== 268 +PD__CTToCons :== 269 +PD_CTFieldDef :== 270 + +PD_Dyn__to_TypeCodeConstructor :== 271 + +PD_NrOfPredefSymbols :== 272 GetTupleConsIndex tup_arity :== PD_Arity2TupleSymbol + tup_arity - 2 GetTupleTypeIndex tup_arity :== PD_Arity2TupleType + tup_arity - 2 |