I define Res1 ==> Record(foo1 : Foo, remLexs : LexList)
and Res2 ==> Record(foo2 : Foo, remLexs : LexList).
Will it be easy to resolve x.remLexs in the further program?
Where do you see a problem? These are two different types and thus
distinguishable. See bottome of
http://axiom-wiki.newsynthesis.org/SandBoxFriCAS
Ralf
=========================================================
(1) -> R1 ==> Record(foo1: Integer, remLexs: List Integer)
Type: Void
(2) -> R2 ==> Record(foo2: Integer, remLexs: List Integer)
Type: Void
(3) -> r1: R1 := [2, [1,2,3]]
(3) [foo1= 2,remLexs= [1,2,3]]
Type: Record(foo1: Integer,remLexs:
List(Integer))
(4) -> r2: R2 := [7, [5]]
(4) [foo2= 7,remLexs= [5]]
Type: Record(foo2: Integer,remLexs:
List(Integer))
(5) -> r1.remLexs
(5) [1,2,3]
Type:
List(Integer)
(6) -> r2.remLexs
(6) [5]
Type:
List(Integer)
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
