[Git][monnier/typer][master] * src/opslexp.ml (check): Allow string constants.
Stefan pushed to branch master at Stefan / Typer Commits: 651ff998 by Stefan Monnier at 2016-11-18T19:20:04-05:00 * src/opslexp.ml (check): Allow string constants. - - - - - 1 changed file: - src/opslexp.ml Changes: ===================================== src/opslexp.ml ===================================== --- a/src/opslexp.ml +++ b/src/opslexp.ml @@ -272,7 +272,8 @@ let rec check meta_ctx ctx e = match e with | Imm (Float (_, _)) -> B.type_float | Imm (Integer (_, _)) -> B.type_int - | Imm (Epsilon | Block (_, _, _) | Symbol _ | String (_, _) | Node (_, _)) + | Imm (String (_, _)) -> B.type_string + | Imm (Epsilon | Block (_, _, _) | Symbol _ | Node (_, _)) -> (U.msg_error "TC" (lexp_location e) "Unsupported immediate value!"; B.type_int) | SortLevel (_) -> B.type_level View it on GitLab: https://gitlab.com/monnier/typer/commit/651ff998797bd1e9496045d84423e2d34b54...
Afficher les réponses par date
participants (1)
-
Stefan