aboutsummaryrefslogtreecommitdiff
path: root/bin/qsp_parser.ml
diff options
context:
space:
mode:
authorChimrod <>2023-09-27 15:36:13 +0200
committerChimrod <>2023-09-29 10:00:21 +0200
commit5dc0c5defdd7ebb152a00e8b2895787b54931779 (patch)
tree78f9d7c646d3c614a6c934778b195e0707f47821 /bin/qsp_parser.ml
parent40f7b4c7398db2b832b71e3dfb8afb53116fad51 (diff)
Allow differents file encoding for the source
Diffstat (limited to 'bin/qsp_parser.ml')
-rw-r--r--bin/qsp_parser.ml7
1 files changed, 6 insertions, 1 deletions
diff --git a/bin/qsp_parser.ml b/bin/qsp_parser.ml
index 4ed2ba7..f2b21f9 100644
--- a/bin/qsp_parser.ml
+++ b/bin/qsp_parser.ml
@@ -45,7 +45,12 @@ let () =
let ic = Stdlib.open_in file_name in
(*let lexer = Lexing.from_channel ~with_positions:true ic in*)
let lexer = Sedlexing.Utf8.from_channel ic in
- let result = Qparser.Analyzer.parse (module Qsp_syntax.Type_of) lexer in
+ let result =
+ Qparser.Analyzer.parse
+ (module Qsp_syntax.Type_of)
+ (module Sedlexing.Utf8)
+ lexer
+ in
match result with
| Ok f -> (
let report = List.fold_left (f []) ~init:[] ~f:(filter_report filters) in