... | ... | @@ -121,7 +121,15 @@ A proposal: |
|
|
|
|
|
Perhaps the annotation could be implemented by extending the `Tickish` datatype with a new data constructor.
|
|
|
|
|
|
>
|
|
|
>
|
|
|
> **RAE:** I think `Tickish` is the wrong way to go here, as that's all about performance measurements. Instead, given that `addGroupFinalizer` is always done from a splice, it seems you can put what you need into `HsSplice`. **End RAE**
|
|
|
>
|
|
|
>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- When the type checker finds the annotation it writes to it the local typing environment:
|
|
|
|
... | ... | @@ -134,4 +142,7 @@ A proposal: |
|
|
The local renamer environment should be copied as well, but that wouldn't change the discussion, I think.
|
|
|
|
|
|
|
|
|
Also, instead of mutable references we could generate integer keys and introduce a map of keys to local typing environments. **RAE:** I'm happy enough with mutable references here. **End RAE** |
|
|
\ No newline at end of file |
|
|
|
|
|
Also, instead of mutable references we could generate integer keys and introduce a map of keys to local typing environments. **RAE:** I'm happy enough with mutable references here. **End RAE**
|
|
|
|
|
|
|