> On Mon, 26 Jan 2009 22:01:42 -0500, Norman Ramsey wrote:
>
> >> I gather this isn't supposed to happen:
> > >
> > >
> > > qc-- -globals -o ACKERMAN ACKERMAN.c-- This can't happen: Asked for
> > > temporary in space `general-purpose temporaries' with unsupported
> > > width 64 Fatal error: exception Impossible.Impossible("Asked for
> > > temporary in space `general-purpose temporaries' with unsupported
> > > width 64") make: *** [ACKERMAN] Error 2
> > > hend...@lovesong:~/dv/lang/a68h/workspace$
>
> Well, I have more than enough urgent, important, other things to do to
> keep me busy until then; I can wait.
>
> But there's a part of me that's itching to go on. I can't promise to
> have the time to go through it, but is there any chance you could direct
> me as to where to look in the very foul source code? References to any
> available documents explaining how the code is intended to work would be
> helpful, too. If nothing else I'll learn something while waiting, even
> if only how difficult it still is to read other people's programs.
The offender is almost certainly the 'generic expander'.
You'll find a short treatment in John Dias's PhD dissertation
and a longer, more formal treatment in Kevin Redwine's PhD dissertation.
The POPL submission has yet to be written.
One certainly hopes these fine young men have placed their
dissertations on the web.
Norman
_______________________________________________
Cminusminus mailing list
[email protected]
https://cminusminus.org/mailman/listinfo/cminusminus
