Project

General

Profile

Revision 7dd90f72 src/corelang.ml

View differences:

src/corelang.ml
297 297

  
298 298
let tag_true = "true"
299 299
let tag_false = "false"
300
let tag_default = "default"
300 301

  
301 302
let const_is_bool c =
302 303
 match c with

Also available in: Unified diff