This is mostly an mflatt-only problem.
My analysis framework is now using a generic dictionary for its abstract heap,
and depending on whether or not I pretty-print this heap before continuing on
analyzing, the result of the analysis changes (sound versus unsound). I found
the problem doing som
I haven't been able to get a different result by changing printing.
One thing that printing might do, however, is assign `eq?`-based hash
codes to objects that did not already have them. That assignment, in
turn, could affect the order in which objects appear later in a hash
table.
I hacked Racke
ot;dev"
Sent: Tuesday, August 27, 2013 6:33:02 PM GMT -05:00 US/Canada Eastern
Subject: Re: [racket-dev] Output value of program changes depending on whether
I pretty-print an opaque struct value
I haven't been able to get a different result by changing printing.
One thing that p
Ian
> - Original Message -
> From: "Matthew Flatt"
> To: "J. Ian Johnson"
> Cc: "dev"
> Sent: Tuesday, August 27, 2013 6:33:02 PM GMT -05:00 US/Canada Eastern
> Subject: Re: [racket-dev] Output value of program changes depending on
> whether
to hashes to see if that was a problem. It wasn't.
-Ian
- Original Message -
From: "Carl Eastlund"
To: "J. Ian Johnson"
Cc: "Matthew Flatt" , "dev"
Sent: Wednesday, August 28, 2013 12:34:08 PM GMT -05:00 US/Canada Eastern
Subject: Re: [racket-
5 matches
Mail list logo
