New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

add SrcRef annotations to other rule types #32

Open

mengwong opened this issue Oct 20, 2021 · 0 comments

Contributor

mengwong commented Oct 20, 2021

currently we have one rule type that cites where it came from – DefTermAlias.

sandbox/mengwong/mp/src/Lib.hs

Lines 388 to 389 in df58c28

    
           let srcref = SrcRef srcurl srcurl leftX leftY Nothing 
        
           let defalias = maybe [] (\t -> pure (DefTermAlias t entitytype Nothing (Just srcref))) entityalias

Make this work for all other rule types as well.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment