diff options
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/database.boot | 6 | ||||
| -rw-r--r-- | src/interp/define.boot | 8 |
2 files changed, 8 insertions, 6 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index 867c40c0..278630d9 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -1,6 +1,6 @@ -- Copyright (c) 1991-2002, The Numerical Algorithms Group Ltd. -- All rights reserved. --- Copyright (C) 2007-2011, Gabriel Dos Reis. +-- Copyright (C) 2007-2012, Gabriel Dos Reis. -- All rights reserved. -- -- Redistribution and use in source and binary forms, with or without @@ -173,6 +173,10 @@ getConstructorKind ctor == builtinCategoryName? ctor => "category" nil +categoryConstructor? ctor == + getConstructorKindFromDB ctor is "category" + or builtinCategoryName? ctor + --% Functions for manipulating MODEMAP DATABASE ++ We are about to finish the elaboration of the category `form' with diff --git a/src/interp/define.boot b/src/interp/define.boot index 66d8c458..608f34bd 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -1,6 +1,6 @@ -- Copyright (c) 1991-2002, The Numerical Algorithms Group Ltd. -- All rights reserved. --- Copyright (C) 2007-2011, Gabriel Dos Reis. +-- Copyright (C) 2007-2012, Gabriel Dos Reis. -- All rights reserved. -- -- Redistribution and use in source and binary forms, with or without @@ -915,12 +915,10 @@ mkEvalableCategoryForm c == op is "mkCategory" => c builtinCategoryName? op => ([x,m,$e]:= compOrCroak(c,$EmptyMode,$e); m=$Category => x) - --loadIfNecessary op - getConstructorKindFromDB op = 'category or - get(op,"isCategory",$CategoryFrame) => - [op,:[MKQ x for x in argl]] + categoryConstructor? op => [op,:[MKQ x for x in argl]] [x,m,$e]:= compOrCroak(c,$EmptyMode,$e) m=$Category => x + MKQ c MKQ c evalCategoryForm(x,e) == |