Subject: Re: What's wrong with this wil code
From: Craig Chambers (chambers@cs.washington.edu)
Date: Wed Nov 01 2000 - 12:44:51 PST
The problem is clear: "need to implement lowering from an abstract integer".
"integer" allows any integer value, without range limitation. It's abstract,
and it needs to be lowered into some concrete representation (e.g. some kind of
big ints) in order to generate code. But that part of Whirlwind isn't
implemented (and I'm not sure how we should eventually implement it, or if we
should drop integer from the rep language). What you can say instead is some
concrete integer representation of bounded range, e.g. "1 word" or "unsigned 1
word", i.e.
rep int :== 1 word;
decl var t1:int :== 0;
...
-- Craig
Sorin Lerner wrote:
>
> I can't get the following wil code to work:
>
> decl var t1:integer :== 0;
> t1 := t1 + 4;
>
> Here's the transcript of what happens:
>
> Parsing test.wil...
> ** Building global scope
>
> need to implement lowering from an abstract integer
>
> exiting program with code -1
> Current stack frame:
> # 0 exit (error_code: -1), system.cecil:7
> (type 'help' for help)
>
> Can someone let me know what's going on?
>
> Thanks,
> Sorin
This archive was generated by hypermail 2b25 : Wed Nov 01 2000 - 12:44:56 PST