APEX ulam.sac dies in SDhandleContradiction (TC) on vect2offset() N_prf
|
|
Bugzilla Link |
894 |
Created on |
Dec 21, 2011 23:09 |
Resolution |
DUPLICATE |
Resolved on |
Apr 21, 2012 18:10 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Attachments |
ulam.sac |
Extended Description
Created an attachment (id=834)
source code to reproduce failure
The problem appears to lie in COvect2offset. It is being
called with two constants -- {200}, but only one of the
N_PRF arguments is that. The other is AKS. However,
the arg ntypes both indicate {200}.
arg comes from here in SDhandleContradiction:
args = TYfixAndEliminateAlpha( SD_ARGS( fun_sig));
Perhaps something is wrong in prf_info.mac for vect2offset?
A word from Mr. Typechecker would help here!
sac2c -V
sac2c v1.00-beta (Haggis And Apple)
developer rev 17714:MODIFIED linux-gnu_x86_64
(Tue Dec 20 16:34:06 EST 2011 by sac)