Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
cparser
Lexer.mll
Find file
Blame
History
Permalink
Read the whole source C file into memory instad of reading it on demand.
· 03f39523
François Pottier
authored
Oct 16, 2015
Having the file in memory will help build an error message. Also, this may be slightly faster.
03f39523