diff options
author | dos-reis <gdr@axiomatics.org> | 2011-04-18 10:18:42 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-04-18 10:18:42 +0000 |
commit | 18cdfe64dbe07358b58d06a70b8d6bc2c276769d (patch) | |
tree | bd6067535d38995b2df9fcb62fc1cde3d4b98566 /src/interp/ax.boot | |
parent | c552f9de83083a649b74510b522ceaebbbc0283b (diff) | |
download | open-axiom-18cdfe64dbe07358b58d06a70b8d6bc2c276769d.tar.gz |
cleanup
Diffstat (limited to 'src/interp/ax.boot')
-rw-r--r-- | src/interp/ax.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/ax.boot b/src/interp/ax.boot index 4b38a678..64364130 100644 --- a/src/interp/ax.boot +++ b/src/interp/ax.boot @@ -177,7 +177,7 @@ axFormatType(typeform) == SUBLISLIS($FormalMapVariableList, $TriangleVariableList, typeform) MEMQ(typeform, $FormalMapVariableList) => typeform axAddLiteral('string, 'Symbol, 'Literal) - ['RestrictTo, ['LitString, PNAME typeform], 'Symbol] + ['RestrictTo, ['LitString, symbolName typeform], 'Symbol] typeform is ['construct,: args] => axAddLiteral('bracket, ['Apply, 'List, 'Symbol], [ 'Apply, 'Tuple, 'Symbol]) axAddLiteral('string, 'Symbol, 'Literal) |