I wonder whether one could implement a translator refactoring that simply inserts type annotation placeholders where needed. It would probably generate a new buffer with the code and if we add some inferencing tool that suggests types it is even better
— Matthias > On Mar 29, 2017, at 2:40 PM, Asumu Takikawa <as...@simplyrobot.org> wrote: > > On 2017-03-29 08:54:16 -0700, Raoul Duke wrote: >> Does/could the IDE hilight places based on this: >> >> [1]http://docs.racket-lang.org/ts-guide/more.html#%28part._when-annotations~3f%29 > > That's an interesting idea. Currently the only interaction that TR has with > the IDE is > making tooltips that show either the types of expressions or type errors. > > It might be possible to implement what you suggest based on the same > mechanism as > the type tooltips (e.g., the 4th rule for mutable variables might be easy by > looking > up in the mutable var environment). > > 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.
