[prev in list] [next in list] [prev in thread] [next in thread]
List: racket-dev
Subject: Re: [racket-dev] variable wrong procedure or structure-type shape error?
From: Kevin Forchione <lysseus () gmail ! com>
Date: 2014-08-30 17:25:53
Message-ID: 87417382-AF65-49F9-8FBE-246936990EDA () gmail ! com
[Download RAW message or body]
[Attachment #2 (multipart/alternative)]
On Aug 30, 2014, at 7:09 AM, Matthew Flatt <mflatt@cs.utah.edu> wrote:
> Just for the record, this is my fault for not incrementing the version
> with a change to the compiler's optimizer.
>
> I thought of the optimization as "local" and having no effect on a
> module's interface to other modules. There's no such thing, though,
> since optimizer-inferred properties of a function's body are exported
> with a function, and those properties can change with most any
> optimizer adjustment.
Just to fill in another hole in my swiss-cheese education, what do we mean by “shape” \
with regard to procedure/structure type? It was the require of a class that was \
producing the error, and I’ve gathered that classes are implemented with structures. \
It was baffling to my why the module containing the class compiled without error, but \
compiling the module requiring it failed. It was also interesting that the module did \
compile fine with the latest version, until I’d tossed the compiled folder in the \
trash. Running race make on the top-level file resolved the problem, but I’m \
wondering why the “run” in DrRacket didn’t do the same.
-Kevin
[Attachment #5 (unknown)]
<html><head><meta http-equiv="Content-Type" content="text/html \
charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: \
space; -webkit-line-break: after-white-space;"><br><div><div>On Aug 30, 2014, at 7:09 \
AM, Matthew Flatt <<a href="mailto:mflatt@cs.utah.edu">mflatt@cs.utah.edu</a>> \
wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><span \
style="font-family: Georgia; font-size: 13px; font-style: normal; font-variant: \
normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: \
auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; \
widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; \
display: inline !important;">Just for the record, this is my fault for not \
incrementing the version</span><br style="font-family: Georgia; font-size: 13px; \
font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: \
normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; \
text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; \
-webkit-text-stroke-width: 0px;"><span style="font-family: Georgia; font-size: 13px; \
font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: \
normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; \
text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; \
-webkit-text-stroke-width: 0px; float: none; display: inline !important;">with a \
change to the compiler's optimizer.</span><br style="font-family: Georgia; font-size: \
13px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: \
normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; \
text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; \
-webkit-text-stroke-width: 0px;"><br style="font-family: Georgia; font-size: 13px; \
font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: \
normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; \
text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; \
-webkit-text-stroke-width: 0px;"><span style="font-family: Georgia; font-size: 13px; \
font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: \
normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; \
text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; \
-webkit-text-stroke-width: 0px; float: none; display: inline !important;">I thought \
of the optimization as "local" and having no effect on a</span><br \
style="font-family: Georgia; font-size: 13px; font-style: normal; font-variant: \
normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: \
auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; \
widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><span \
style="font-family: Georgia; font-size: 13px; font-style: normal; font-variant: \
normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: \
auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; \
widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; \
display: inline !important;">module's interface to other modules. There's no such \
thing, though,</span><br style="font-family: Georgia; font-size: 13px; font-style: \
normal; font-variant: normal; font-weight: normal; letter-spacing: normal; \
line-height: normal; orphans: auto; text-align: start; text-indent: 0px; \
text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; \
-webkit-text-stroke-width: 0px;"><span style="font-family: Georgia; font-size: 13px; \
font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: \
normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; \
text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; \
-webkit-text-stroke-width: 0px; float: none; display: inline !important;">since \
optimizer-inferred properties of a function's body are exported</span><br \
style="font-family: Georgia; font-size: 13px; font-style: normal; font-variant: \
normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: \
auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; \
widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><span \
style="font-family: Georgia; font-size: 13px; font-style: normal; font-variant: \
normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: \
auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; \
widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; \
display: inline !important;">with a function, and those properties can change with \
most any</span><br style="font-family: Georgia; font-size: 13px; font-style: normal; \
font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: \
normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; \
white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: \
0px;"><span style="font-family: Georgia; font-size: 13px; font-style: normal; \
font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: \
normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; \
white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; \
float: none; display: inline !important;">optimizer \
adjustment.</span></blockquote></div><div><br></div><div>Just to fill in another hole \
in my swiss-cheese education, what do we mean by “shape” with regard to \
procedure/structure type? It was the require of a class that was producing the error, \
and I’ve gathered that classes are implemented with structures. It was baffling to my \
why the module containing the class compiled without error, but compiling the module \
requiring it failed. It was also interesting that the module did compile fine with \
the latest version, until I’d tossed the compiled folder in the trash. Running race \
make on the top-level file resolved the problem, but I’m wondering why the \
“run” in DrRacket didn’t do the \
same.</div><div><br></div><div>-Kevin</div></body></html>
_________________________
Racket Developers list:
http://lists.racket-lang.org/dev
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic