On Mon, Jul 7, 2008 at 4:49 PM, Yixin Cao <[EMAIL PROTECTED]> wrote: > Howdy, > > When I define > (1) -> a:Category := Ring > Category is a category, not a domain, and declarations require > domains.
I consider this to be a bug -- as discussed with Bill recently. > > But this works, > (1) -> a:Domain:=Ring > (1) Ring > Type: Category > > Ring is not a domain, and the result also shows this. This clearly is a bug -- please consider filling a bug in the OpenAxiom database. > > > > What bring more confusion are: > (1) -> f:()->Category:=()+->Ring > (1) theMap(*0;anonymousFunction;8;frame3222;internal) > Type: (() -> Category) > (2) -> f() > > (2) Ring > Type: Category This is OK -- even though the prettyprinting is not pretty. > (1) -> f:()->Domain:=()+->Ring > Internal Error > Interpreter code generation failed for expression|Ring| the internal error should be a diagnostic. > > while > )abbrev domain FOO Foo > Foo(): Public == Private where > Public ==> with > f1: () -> Domain > f2: () -> Domain -- compilation failed if "Category" used here!! That is a bug. > > Private ==> add > f1 == Integer OK. > f2 == Ring this should be error. > > (2) -> f1() > > (2) Integer > Type: Domain > (3) -> f2() > > (3) Ring > Type: Domain Nah. > > > As a conclusion, there are at least five points confusing: > 1. a:Domain:=Ring works > 2. the result has type Category > 3. ()->Category works in interpreter, but not compiler > 4. ()->Domain works in compiler, but not interpreter. > 5. f2 == Ring. the return type is Domain.(compare with 2) Fill a bug report. ------------------------------------------------------------------------- Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW! Studies have shown that voting for your favorite open source project, along with a healthy diet, reduces your potential for chronic lameness and boredom. Vote Now at http://www.sourceforge.net/community/cca08 _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
