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...