-
Kim Nguyễn authored
suggest to put a space before the second quote. Move the auxiliary 'warning' function from the typechecker to the Cduce_loc module. Re-indent some comments in ulexer.ml
bcf40231
suggest to put a space before the second quote. Move the auxiliary 'warning' function from the typechecker to the Cduce_loc module. Re-indent some comments in ulexer.ml