diff options
author | dos-reis <gdr@axiomatics.org> | 2013-06-06 01:39:23 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-06-06 01:39:23 +0000 |
commit | d43b15394d47a7c5222508062976e84c6ebba098 (patch) | |
tree | bc58cc31100beb2ea048d609506a252f1c9acdc3 /src/interp/showimp.boot | |
parent | d42a9b5ea16ff7ed26467cf80bd693228ddee626 (diff) | |
download | open-axiom-d43b15394d47a7c5222508062976e84c6ebba098.tar.gz |
Do not call allConstructors from compiler.
Diffstat (limited to 'src/interp/showimp.boot')
-rw-r--r-- | src/interp/showimp.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/showimp.boot b/src/interp/showimp.boot index deb1f816..ce18ef0c 100644 --- a/src/interp/showimp.boot +++ b/src/interp/showimp.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-2013, Gabriel Dos Reis. -- All rights reserved. -- -- Redistribution and use in source and binary forms, with or without @@ -258,7 +258,7 @@ formatLazyDomainForm(dom,x) == dc(:r) == con := KAR r options := KDR r - ok := symbolMember?(con,allConstructors()) or (con := abbreviation? con) + ok := constructorDB con or (con := abbreviation? con) null ok => sayBrightly '"Format is: dc(<constructor name or abbreviation>,option)" sayBrightly |