search

abella-prover / abella

An interactive theorem prover based on lambda-tree syntax
https://abella-prover.org/
GNU General Public License v3.0
90 stars 18 forks source link

Fix missing error locations #157

Closed wikku closed 3 months ago

wikku commented 3 months ago

Error locations are broken for local files since e8bcebd. Fixed by setting the lexbufs filename. Also replaced 

lb.lex_curr_p <- { lb.lex_curr_p with pos_fname = source } ;

with the equivalent stdlib call

Lexing.set_filename lb source
chaudhuri commented 3 months ago

Thanks. Merged in 03a9aca.