From 5a13a06991b339fa8d7cff2fafc3175d0615c28a Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 21 May 2013 00:32:29 +0000 Subject: Use DB data structure directly. --- src/interp/database.boot | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/interp/database.boot') diff --git a/src/interp/database.boot b/src/interp/database.boot index 7517e834..fc13f773 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -72,7 +72,7 @@ makeConstructor(s,k == nil,a == nil) == --% -getConstructorAbbreviationFromDB: %Symbol -> %Symbol +getConstructorAbbreviationFromDB: %Symbol -> %Maybe %Symbol getConstructorAbbreviationFromDB ctor == db := constructorDB ctor => dbAbbreviation db nil @@ -85,7 +85,8 @@ getConstructorCategory ctor == getConstructorKindFromDB: %Symbol -> %Maybe %ConstructorKind getConstructorKindFromDB ctor == - GETDATABASE(ctor,"CONSTRUCTORKIND") + db := constructorDB ctor => dbConstructorKind db + nil getConstructorAncestorsFromDB: %Symbol -> %List %Constructor getConstructorAncestorsFromDB ctor == -- cgit v1.2.3