Paris7/compilation
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Activity

recup_char should work?

Browse source
This commit is contained in:
Mylloon 2023-10-23 19:09:56 +02:00
parent 144b0bdc75
commit ca5b578afa
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
1 changed files with 27 additions and 31 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

58
flap/src/hopix/hopixLexer.mll
View file

@ -19,29 +19,26 @@
error msg (lex_join lexbuf.lex_start_p lexbuf.lex_curr_p) error msg (lex_join lexbuf.lex_start_p lexbuf.lex_curr_p)
(*Fonction qui va convertir une string de caractère ascii en vrai caractère. (* Fonction qui convertie une chaîne de caractère ascii en vrai caractère.
On en a besoin pour certains test *) * Notamment les escapes : "\n" ou "\000" *)
(*) let recup_char charac lexbuf =
let recup_char charac lexbuf = let taille = String.length charac in
let taille = String.length charac in match charac with
match charac with | "\\n" -> Some '\n'
| "\\n" -> '\n' | "\\r" -> Some '\r'
| "\\r" -> '\r' | "\\t" -> Some '\t'
| "\\t" -> '\t' | "\\\'" -> Some '\''
| "\\\'" -> '\'' | "\\\\" -> Some '\\'
| "\\\\" -> '\\' | _ -> (
| _ -> let s2 = String.get charac 1 in
(let s2 = String.get charac 1 in if s2 = '0' || s2 = '1' || s2 = '2' then (
if s2 = '0' || s2 = '1' || s2 = '2' then let s = String.sub charac 1 (taille - 1) in
(let s=String.sub charac 1 (taille - 1) in let i = int_of_string s in
let i = int_of_string s in Some (Char.chr i))
Char.chr i) else None )
else error lexbuf )
*)
} }
let newline = ('\010' | '\013' | "\013\010") let newline = ('\010' | '\013' | "\013\010")
let blank = [' ' '\009' '\012'] let blank = [' ' '\009' '\012']
@ -141,9 +138,9 @@ rule token = parse
| ">?" { SUP_OP } | ">?" { SUP_OP }
(** Identificateurs *) (** Identificateurs *)
| ident as s { ID s } | ident as s { ID s }
| type_variable as s { TID s } | type_variable as s { TID s }
| constr_id as s { CID s } | constr_id as s { CID s }
(* Integers *) (* Integers *)
| int as i { INT (Mint.of_string i) } | int as i { INT (Mint.of_string i) }
@ -152,17 +149,16 @@ rule token = parse
| '"' { read_string (Buffer.create 16) lexbuf } | '"' { read_string (Buffer.create 16) lexbuf }
(* Characters *) (* Characters *)
| "'" (letter as c) "'" { CHAR c } | "'" (letter as c) "'" { CHAR c }
(*| "'" (atom as c) "'" {CHAR (recup_char c lexbuf )} (* On retire le \ du début | "'" (atom as a) "'" { match recup_char a lexbuf with
* TODO: fix *) | Some c -> CHAR c
(*) | None -> error lexbuf None "" }
let code = int_of_string (String.sub c 1 ((String.length c) - 2))
in CHAR (Char.chr (code)) } *) *)
(** Lexing error *) (** Lexing error *)
(* erreur qui advient pour le test 22-char-literal, le code renvoie bizarrement que "Error (during lexing) "*) (* erreur qui advient pour le test 22-char-literal,
* le code renvoie bizarrement que "Error (during lexing)" *)
| "'" ascii_trop_grand "'" { error lexbuf None "" } | "'" ascii_trop_grand "'" { error lexbuf None "" }
| _ as _c { error lexbuf None (* (Some _c) *) "unexpected character." } | _ as _c { error lexbuf None (* (Some _c) *) "unexpected character." }
(* TODO: Gérer les imbrications de commentaires *) (* TODO: Gérer les imbrications de commentaires *)
and commentary = parse and commentary = parse