diff options
| author | ronny | 2001-07-12 15:27:32 +0000 |
|---|---|---|
| committer | ronny | 2001-07-12 15:27:32 +0000 |
| commit | e9d77320d373864a19ba1155395a3e4d2a9469cc (patch) | |
| tree | 3183a88ae1e46993af5926b9516ac5643756e8c3 /backend/Clean System Files | |
| parent | made compilable with Clean 2.0 by introducing a typed local function (diff) | |
uniqueness attributes in backend
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@542 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backend/Clean System Files')
| -rw-r--r-- | backend/Clean System Files/backend_library | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/backend/Clean System Files/backend_library b/backend/Clean System Files/backend_library index 6f8e0c7..aa84a37 100644 --- a/backend/Clean System Files/backend_library +++ b/backend/Clean System Files/backend_library @@ -23,6 +23,12 @@ BENoTypeVars BENormalTypeNode BEAnnotateTypeNode BEAttributeTypeNode +BEAttributeKind +BENoAttributeKinds +BEAttributeKinds +BEUniVarEquation +BENoUniVarEquations +BEUniVarEquationsList BENoTypeArgs BETypeArgs BETypeAlt |