home
/
code
/
tiger.ml.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
24fb19c
)
Explicitly ignore unused fields
author
Siraaj Khandkar
<siraaj@khandkar.net>
Tue, 11 Sep 2018 16:29:22 +0000
(12:29 -0400)
committer
Siraaj Khandkar
<siraaj@khandkar.net>
Tue, 11 Sep 2018 16:29:22 +0000
(12:29 -0400)
compiler/src/exe/tigerc.ml
patch
|
blob
|
blame
|
history
diff --git
a/compiler/src/exe/tigerc.ml
b/compiler/src/exe/tigerc.ml
index
42fcf00
..
5468ff7
100644
(file)
--- a/
compiler/src/exe/tigerc.ml
+++ b/
compiler/src/exe/tigerc.ml
@@
-1,5
+1,5
@@
let lexbuf_set_filename lb filename : unit =
- let Lexing.({lex_start_p; lex_curr_p}) = lb in
+ let Lexing.({lex_start_p; lex_curr_p
; _
}) = lb in
lb.Lexing.lex_start_p <- {lex_start_p with Lexing.pos_fname = filename};
lb.Lexing.lex_curr_p <- {lex_curr_p with Lexing.pos_fname = filename}
This page took
0.025482 seconds
and
4
git commands to generate.