>
> Is the following considered a bug or a feature?
>
> ---------------------
> )abbrev domain FOO Foo
> Foo: with
> foo: () -> List String
> == add
> foo(): List String ==
> v: String := "vvv"
> l: List String := ["a", "z", "b", "y"]
> [concat("x", v) for v in l]
> ---------------------
>
> (1) -> foo()
>
> >> System error:
> Value of NIL in (THE STRING NIL) is NIL, not a STRING.
>
> It works fine if I rename one of the v's.
>
> I would have expected that the v in "for v" simply shadows the outside v.
This is limitation (bug if you prefer this word) of current
implementation. Currently Spad compiler generates Lisp type
declarations for most Spad variables. Unfortunately, code
doing this is simple minded and can not handle shadowing
due to iterators.
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
