help links subscribe changes refresh edit

	IssueTracker
#205 Hyperdoc does not work in patch 44 ←	↑	→ #207 certain limit failure

#206 Interpreter code generation failed for function returning a Type

Edit detail for #206 Interpreter code generation failed for function returning a Type revision 11 of 11

	1 2 3 4 5 6 7 8 9 10 11
Editor: test1 Time: 2014/05/13 17:15:20 GMT+0
Note:

added:

From test1 Tue May 13 17:15:20 +0000 2014
From: test1
Date: Tue, 13 May 2014 17:15:20 +0000
Subject: 
Message-ID: <20140513171520+0000@axiom-wiki.newsynthesis.org>

Status: fixed somewhere => closed

This function should return a type that depends on a parameter:

fricas

(1) -> tt:INT->Type

Type: Void

fricas

tt(x)== (x=0 => Integer; Float)

Type: Void

fricas

tt(1)

fricas

Compiling function tt with type Integer -> Type

$\label{eq1}\hbox{\axiomType{Float}\ }$

(1)

Type: Type

Here is the same function in SPAD:

spad

)abbrev package TT testtype
testtype(): exports == implementation where
  exports == with
    tt1: (Integer) -> Type
  implementation == add
    tt1(x) ==
      x=0 => Integer
      Float

spad

   Compiling FriCAS source code from file 
      /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/8965653050310018446-25px002.spad
      using old system compiler.
   TT abbreviates package testtype 
------------------------------------------------------------------------
   initializing NRLIB TT for testtype 
   compiling into NRLIB TT 
   compiling exported tt1 : Integer -> Type
Time: 0 SEC.

(time taken in buildFunctor:  0)

;;;     ***       |testtype| REDEFINED

;;;     ***       |testtype| REDEFINED
Time: 0 SEC.

   Cumulative Statistics for Constructor testtype
      Time: 0 seconds

   finalizing NRLIB TT 
   Processing testtype for Browser database:
--->-->testtype(constructor): Not documented!!!!
--->-->testtype((tt1 ((Type) (Integer)))): Not documented!!!!
--->-->testtype(): Missing Description
; compiling file "/var/aw/var/LatexWiki/TT.NRLIB/TT.lsp" (written 04 DEC 2024 09:50:32 PM):

; wrote /var/aw/var/LatexWiki/TT.NRLIB/TT.fasl
; compilation finished in 0:00:00.008
------------------------------------------------------------------------
   testtype is now explicitly exposed in frame initial 
   testtype will be automatically loaded when needed from 
      /var/aw/var/LatexWiki/TT.NRLIB/TT

Calling this function like this::

fricas

tt1(1)

$\label{eq2}\hbox{\axiomType{Float}\ }$

(2)

Type: Type

caused Axiom to crash:

  (1) -> tt1(1)

   >> System error:
   Caught fatal error [memory may be damaged]

But this works using Aldor! :-)

aldor

#include "axiom.as";
testtype2(): with {
    tt2: (Integer) -> Type;
} == add {
    tt2(x:Integer):Type == {
      x=0 => Integer;
      Float;
      }
    }

aldor

   Compiling FriCAS source code from file 
      /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/7383689924623811223-25px004.as
      using Aldor compiler and options 
-O -Fasy -Fao -Flsp -lfricas -Mno-ALDOR_W_WillObsolete -DFriCAS -Y $FRICAS/algebra -I $FRICAS/algebra
      Use the system command )set compiler args to change these 
      options.
"/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/7383689924623811223-25px004.as", line 1: 
#include "axiom.as";
^
[L1 C1] #1 (Error) Could not open file `axiom.as'.

   The )library system command was not called after compilation.

fricas

tt2(1)

   There are no library operations named tt2 
      Use HyperDoc Browse or issue
                                )what op tt2
      to learn if there is any operation containing " tt2 " in its 
      name.

   Cannot find a definition or applicable library operation named tt2 
      with argument type(s) 
                               PositiveInteger

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.

... --gdr, Fri, 25 Jan 2008 13:27:44 -0800 reply

The problem here, I believe, is that Type is a category almost isolated. The interpreter thinks of Integer and Float as of type Domain, not Type. If you change the return type from `Type' to `Domain'. It would not work in OpenAxiom. Both `Type' and `Object' seems to be isolated in the type hierarchy.

Fixed in OpenAxiom --gdr, Tue, 19 Feb 2008 23:46:28 -0800 reply

This issue is fixed in OpenAxiom-1.2.0. Comment from me on Friday January 25, 2008 had a typo in it: I meant If you change the return type from `Type' to `Domain'. It would work in OpenAxiom. Now, the original testcase just works fine.

fricas

tt:INT->Domain

   Domain is not a valid type.

... --gdr, Thu, 21 Feb 2008 22:04:56 -0800 reply

Status: open => fixed somewhere

functions that return domains --Bill Page, Mon, 25 Feb 2008 07:20:30 -0800 reply

If I define a function that returns a domain (such as above):

fricas

tt:INT->Type

   Compiled code for tt has been cleared.

Type: Void

fricas

tt(x)== (x=0 => Integer; Float)

   1 old definition(s) deleted for function or rule tt

Type: Void

fricas

tt(0)

fricas

Compiling function tt with type Integer -> Type

$\label{eq3}\hbox{\axiomType{Integer}\ }$

(3)

Type: Type

then can I use it to define new objects? Like this:

fricas

f:tt(1):=3.2

$\label{eq4}3.2$

(4)

Type: Float

fricas

g:tt(0):=3

$\label{eq5}3$

(5)

Type: Integer

or this:

fricas

F:=tt(1)

$\label{eq6}\hbox{\axiomType{Float}\ }$

(6)

Type: Type

fricas

f:F:=3.2

$\label{eq7}3.2$

(7)

Type: Float

fricas

G:=tt(0)

$\label{eq8}\hbox{\axiomType{Integer}\ }$

(8)

Type: Type

fricas

g:G:=3

$\label{eq9}3$

(9)

Type: Integer

Try it again with SPAD --Bill Page, Wed, 27 Feb 2008 21:21:55 -0800 reply

Same function in SPAD:

spad

)abbrev package TT testtype
testtype(): exports == implementation where
  exports == with
    tt1: (Integer) -> Type
  implementation == add
    tt1(x) ==
      x=0 => Integer
      Float

spad

   Compiling FriCAS source code from file 
      /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/8965653050310018446-25px010.spad
      using old system compiler.
   TT abbreviates package testtype 
------------------------------------------------------------------------
   initializing NRLIB TT for testtype 
   compiling into NRLIB TT 
   compiling exported tt1 : Integer -> Type

;;;     ***       |TT;tt1;IT;1| REDEFINED
Time: 0 SEC.

(time taken in buildFunctor:  0)

;;;     ***       |testtype| REDEFINED

;;;     ***       |testtype| REDEFINED
Time: 0 SEC.

   Cumulative Statistics for Constructor testtype
      Time: 0 seconds

   finalizing NRLIB TT 
   Processing testtype for Browser database:
--->/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/8965653050310018446-25px002.spad-->testtype(constructor): Not documented!!!!
--->/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/8965653050310018446-25px002.spad-->testtype((tt1 ((Type) (Integer)))): Not documented!!!!
--->/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/8965653050310018446-25px002.spad-->testtype(): Missing Description
; compiling file "/var/aw/var/LatexWiki/TT.NRLIB/TT.lsp" (written 04 DEC 2024 09:50:32 PM):

; wrote /var/aw/var/LatexWiki/TT.NRLIB/TT.fasl
; compilation finished in 0:00:00.004
------------------------------------------------------------------------
   testtype is already explicitly exposed in frame initial 
   testtype will be automatically loaded when needed from 
      /var/aw/var/LatexWiki/TT.NRLIB/TT

Calling the function like this now works::

fricas

FF:=tt1(1)

   You have used the abbreviation FF of the constructor FiniteField on 
      the left-hand side of an assignment expression. This is not 
      allowed.

But can we use it?

fricas

f:FF:=1.2

   Although FiniteField is the name of a constructor, a full type must 
      be specified in the context you have used it. Issue )show 
      FiniteField for more information.

Well, maybe if we don't confuse it too much ... --Bill Page, Wed, 27 Feb 2008 21:24:23 -0800 reply

Same function in SPAD:

spad

)abbrev package TT testtype
testtype(): exports == implementation where
  exports == with
    tt1: (Integer) -> Type
  implementation == add
    tt1(x) ==
      x=0 => Integer
      Float

spad

   Compiling FriCAS source code from file 
      /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/8965653050310018446-25px013.spad
      using old system compiler.
   TT abbreviates package testtype 
------------------------------------------------------------------------
   initializing NRLIB TT for testtype 
   compiling into NRLIB TT 
   compiling exported tt1 : Integer -> Type

;;;     ***       |TT;tt1;IT;1| REDEFINED
Time: 0 SEC.

(time taken in buildFunctor:  0)

;;;     ***       |testtype| REDEFINED

;;;     ***       |testtype| REDEFINED
Time: 0 SEC.

   Cumulative Statistics for Constructor testtype
      Time: 0 seconds

   finalizing NRLIB TT 
   Processing testtype for Browser database:
--->/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/8965653050310018446-25px010.spad-->testtype(constructor): Not documented!!!!
--->/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/8965653050310018446-25px010.spad-->testtype((tt1 ((Type) (Integer)))): Not documented!!!!
--->/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/8965653050310018446-25px010.spad-->testtype(): Missing Description
; compiling file "/var/aw/var/LatexWiki/TT.NRLIB/TT.lsp" (written 04 DEC 2024 09:50:32 PM):

; wrote /var/aw/var/LatexWiki/TT.NRLIB/TT.fasl
; compilation finished in 0:00:00.004
------------------------------------------------------------------------
   testtype is already explicitly exposed in frame initial 
   testtype will be automatically loaded when needed from 
      /var/aw/var/LatexWiki/TT.NRLIB/TT

Calling the function like this now works::

fricas

TofF:=tt1(1)

$\label{eq10}\hbox{\axiomType{Float}\ }$

(10)

Type: Type

But can we use it?

fricas

f:TofF:=1.2

$\label{eq11}1.2$

(11)

Type: Float

... --test1, Tue, 13 May 2014 17:15:20 +0000 reply

Status: fixed somewhere => closed