18 May
2018
18 May
'18
10:31 a.m.
On 18 May 2018 at 16:13, Simon Peyton Jones
We can’t make the result type depend on DynFlags! (Yet)(
* parser :: DynFlags -> String *
* -> HsSyn (GhcPass (Parsed (if … *
* then WithApiAnnotations*
* else WihoutsApiAnnotations)*
We could conceptually have parser :: DynFlags -> String -> Either (HsSyn (Parsed WithApiAnnotations)) (HsSyn (Parsed NoApiAnnotations)) The main point is that the next phase can make use of either of the variants. And it may be simplest to just always use the annotations, the ParsedSource is normally discarded after renaming anyway. Alan