aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/sex.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-12-20 14:49:58 +0000
committerdos-reis <gdr@axiomatics.org>2008-12-20 14:49:58 +0000
commit70962cd1ef47767d4cb623a129b5c955a5aec41e (patch)
tree707fb471ad0ed35c02fbeec25f8dc64a7fd7df92 /src/algebra/sex.spad.pamphlet
parentb91f52ba52fc76bc9700f69a21f65042c805409b (diff)
downloadopen-axiom-70962cd1ef47767d4cb623a129b5c955a5aec41e.tar.gz
* interp/define.boot (checkRepresentation): Take a second
argument. For domain extensions, warn about useless assignment to Rep, and syntactically conflicting assignment to Rep.
Diffstat (limited to 'src/algebra/sex.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions