Closed BosqueLanguage closed 2 months ago
Bool is currently marked as being typedeclable but:
typedecl Foo = Bool; true_Foo
doesn't work. Need to fix in at least parser and maybe check other parts of pipeline (e.g. type checker)
Fixed in PR #86
Bool is currently marked as being typedeclable but:
doesn't work. Need to fix in at least parser and maybe check other parts of pipeline (e.g. type checker)