help links subscribe changes refresh edit

	IssueTracker
#423 showSummary fails ←	↑	→ #425 confusion over Category

#424 Interpreter code generation failed

Edit detail for #424 Interpreter code generation failed revision 2 of 11

	1 2 3 4 5 6 7 8 9 10 11
Editor: Bill Page Time: 2008/05/28 17:07:18 GMT-7
Note:

added:

From BillPage Wed May 28 17:07:17 -0700 2008
From: Bill Page
Date: Wed, 28 May 2008 17:07:17 -0700
Subject: 
Message-ID: <20080528170717-0700@axiom-wiki.newsynthesis.org>

Axiom Version:  => /usr/local/lib/open-axiom/x86_64-unknown-linux/1.2.0-2008-05-25

In OpenAxiom? one should be able to write a function that returns a 'Category':

axiomST(x:Integer):Category == (x=0 => SetCategory;Type)
   Function declaration ST : Integer -> Category has been added to 
      workspace.

Type: Void

but we get the error message:

   Internal Error
   Interpreter code generation failed for expression
      (IF (= |#1| 0) |SetCategory| |Type|)

This is ok for functions that return 'Domain':

axiomFI(x:Integer):Domain == (x=0 => Float;Integer)
   Function declaration FI : Integer -> Domain has been added to 
      workspace.

Type: Void

axiom
FI(0)

axiom

Compiling function FI with type Integer -> Domain 
; (DEFUN |*1;FI;1;initial| ...) is being compiled.
;; The variable |*1;FI;1;initial;MV| is undefined.
;; The compiler will assume this variable is a global.

(1)

Type: Domain

axiom
FI(1)

(2)

Type: Domain

... --Bill Page, Wed, 28 May 2008 17:07:17 -0700 reply

Axiom Version: => /usr/local/lib/open-axiom/x86_64-unknown-linux/1.2.0-2008-05-25