Update Bool to be opaque

This commit is contained in:
kilianv 2022-09-14 17:53:35 +02:00 committed by Ayaz Hafiz
parent 16e8a07e27
commit 6dbebd7834
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
3 changed files with 11 additions and 7 deletions

View file

@ -1181,10 +1181,8 @@ define_builtins! {
}
4 BOOL: "Bool" => {
0 BOOL_BOOL: "Bool" // the Bool.Bool type alias
1 BOOL_FALSE: "False" imported // Bool.Bool = [False, True]
// NB: not strictly needed; used for finding tag names in error suggestions
2 BOOL_TRUE: "True" imported // Bool.Bool = [False, True]
// NB: not strictly needed; used for finding tag names in error suggestions
1 BOOL_FALSE: "false"
2 BOOL_TRUE: "true"
3 BOOL_AND: "and"
4 BOOL_OR: "or"
5 BOOL_NOT: "not"