I think a better solution is just to add immutable hash tables to TR, and then use them in the trie modules. That would allow TR to generate exactly the contracts that we could write by hand.
Sam On Fri, Jan 8, 2016 at 9:06 AM, Robby Findler <ro...@eecs.northwestern.edu> wrote: > We know there is a much more efficient set of contracts than what TR > generates right? How about an unsafe export of TR functions to a wrapper > module that implements the safe checks by hand (by macro?)? Maybe that > exercise will even feed back into an improvement to TR? > > Robby > > > On Tuesday, January 5, 2016, Asumu Takikawa <as...@ccs.neu.edu> wrote: >> >> On 2016-01-05 14:39:17 -0500, 'John Clements' via Racket Users wrote: >> > Asumu, does this make sense to you? Note that in particular, I think >> > that a >> > warning at the top of the pfds package wouldn’t have helped me; I think >> > a >> > warning at the top of each pfds page would make a lot more sense. >> >> I'd be happy to take a pull request for this. Though I'd also prefer that >> the >> library just worked well. >> >> The pfds could library could also just export everything without contracts >> unsafely. Alternatively we could set it up to generate untyped variants of >> each (with a different module path) that don't optimize or use contracts. >> >> Cheers, >> Asumu >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Racket Users" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to racket-users+unsubscr...@googlegroups.com. >> For more options, visit https://groups.google.com/d/optout. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
