Ralf Hemmecke <r...@hemmecke.de> writes: | > 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.
It is a problem for Haskellers -- see my previous messages on the same topic. -- Gaby ------------------------------------------------------------------------------ Keep Your Developer Skills Current with LearnDevNow! The most comprehensive online learning library for Microsoft developers is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3, Metro Style Apps, more. Free future releases when you subscribe now! http://p.sf.net/sfu/learndevnow-d2d _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
