Skip to content

EPA: Keep track of "in" token for WarningTxt category

Alan Zimmerman requested to merge wip/az/epa-warning-category-master into master

A warning can now be written with a category, e.g.

{-# WARNInG in "x-c" e "d" #-}

Keep track of the location of the 'in' keyword and string, as well as the original SourceText of the label, in case it uses character escapes.

Merge request reports