diff options
Diffstat (limited to 'src/interp/g-cndata.boot')
-rw-r--r-- | src/interp/g-cndata.boot | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/interp/g-cndata.boot b/src/interp/g-cndata.boot index ea0c974c..541aa188 100644 --- a/src/interp/g-cndata.boot +++ b/src/interp/g-cndata.boot @@ -51,9 +51,9 @@ mkLowerCaseConTable() == augmentLowerCaseConTable x == y:=getConstructorAbbreviationFromDB x item:=[x,y,nil] - HPUT($lowerCaseConTb,x,item) - HPUT($lowerCaseConTb,DOWNCASE x,item) - HPUT($lowerCaseConTb,y,item) + tableValue($lowerCaseConTb,x) := item + tableValue($lowerCaseConTb,DOWNCASE x) := item + tableValue($lowerCaseConTb,y) := item getCDTEntry(info,isName) == not IDENTP info => nil @@ -122,8 +122,8 @@ installConstructor(cname,type) == (entry := getCDTEntry(cname,true)) => entry item := [cname,getConstructorAbbreviationFromDB cname,nil] if $lowerCaseConTb then - HPUT($lowerCaseConTb,cname,item) - HPUT($lowerCaseConTb,DOWNCASE cname,item) + tableValue($lowerCaseConTb,cname) := item + tableValue($lowerCaseConTb,DOWNCASE cname) := item constructorNameConflict(name,kind) == userError |