diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-19 01:39:44 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-19 01:39:44 +0000 |
| commit | d04de33ba92d864ae4e4f80fce2261a35fc79c31 (patch) | |
| tree | 66e444c0c4223b905825c1511e1a7d1d923e61d9 | |
| parent | aa129f3b4eaacbeae2837fb7e5c67a1a1a373eaa (diff) | |
| download | open-axiom-d04de33ba92d864ae4e4f80fce2261a35fc79c31.tar.gz | |
* interp/i-analy.boot (bottomUpDefaultEval): A declared variable
with no definition may be a symbolic variable with a specified type.
| -rw-r--r-- | src/ChangeLog | 5 | ||||
| -rw-r--r-- | src/interp/i-analy.boot | 10 |
2 files changed, 14 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index cc5e60bc..9a81c214 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2009-05-18 Gabriel Dos Reis <gdr@cse.tamu.edu> + + * interp/i-analy.boot (bottomUpDefaultEval): A declared variable + with no definition may be a symbolic variable with a specified type. + 2009-05-18 Gabriel Dos Reis <gdr@cs.tamu.edu> * algebra/curve.spad.pamphlet: Use literal symbols. diff --git a/src/interp/i-analy.boot b/src/interp/i-analy.boot index 35c0ae0f..22dd4389 100644 --- a/src/interp/i-analy.boot +++ b/src/interp/i-analy.boot @@ -1,6 +1,6 @@ -- Copyright (c) 1991-2002, The Numerical Algorithms Group Ltd. -- All rights reserved. --- Copyright (C) 2007-2008, Gabriel Dos Reis. +-- Copyright (C) 2007-2009, Gabriel Dos Reis. -- All rights reserved. -- -- Redistribution and use in source and binary forms, with or without @@ -429,6 +429,14 @@ bottomUpDefaultEval(t,id,defaultMode,target,isSub) == (val := coerceInteractive(objNewWrap(id,['Variable,id]),m)) => putValue(t,val) [m] + + -- Hmm, assume it is a symbolic variable with a user-supplied type. + m' := ["Expression",m] + val := coerceInteractive(objNewWrap(id,$Symbol),m') => + putValue(t,val) + putMode(t, m') + [m'] + -- give up throwKeyedMsg('"S2IB0004",[id,m]) |