Lorentz compilation loses type annotations sometimes
Clarification and motivation
Currently annotations for parameter type come solely from parameterEntryPointsToNotes
call which uses Lorentz.EntryPoints
machinery. It is supposed to propagate type annotations generated by TypeAnns.hs
module. However, in case of EpdNone
we always return starNotes
which has no type annotations. We should return type annotations there.
Acceptance criteria
parameterEntryPointsToNotes
retains all type annotations from HasTypeAnn
instance in case of EpdNone
derivation.