Re: HsPragTick

2020-09-02 Thread Ben Gamari
"Alan & Kim Zimmerman" writes: > I am working through the API Annotations, and have come across HsPragTick. > > In source it appears as > > c = {-# GENERATED "foobar" 1 : 2 - 3 : 4 #-} 0.00 > > But it does not seem to be used anywhere. It is pa

Re: HsPragTick

2020-08-31 Thread Richard Eisenberg
Ryan Scott <mailto:ryan.gl.sc...@gmail.com>> wrote: > I think that HsPragTick is unused as of [1]. In fact, I was under the > impression that [1] removed HsPragTick entirely (as the commit message) would > suggest, but upon further inspection, that doesn't appear to be the case. >

Re: HsPragTick

2020-08-31 Thread Vladislav Zavialov
I was under impression it was somehow related to HPC. Since I'm not sufficiently familiar with HPC's inner workings, I kept it around just to be safe. - Vlad On Mon, Aug 31, 2020, 17:03 Ryan Scott wrote: > I think that HsPragTick is unused as of [1]. In fact, I was under the > impr

Re: HsPragTick

2020-08-31 Thread Ryan Scott
I think that HsPragTick is unused as of [1]. In fact, I was under the impression that [1] removed HsPragTick entirely (as the commit message) would suggest, but upon further inspection, that doesn't appear to be the case. Vlad, do you recall why HsPragTick was kept around? Ryan S. - [1] https

HsPragTick

2020-08-30 Thread Alan & Kim Zimmerman
I am working through the API Annotations, and have come across HsPragTick. In source it appears as c = {-# GENERATED "foobar" 1 : 2 - 3 : 4 #-} 0.00 But it does not seem to be used anywhere. It is passed through for renaming and type checking, and Coverage.hs uses it as add