diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-01-07 21:38:54 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-01-08 12:52:31 +0100 |
| commit | 66288e0e0b7af2f82427cfcfad606ea21880a837 (patch) | |
| tree | 66a061dae128abbbd1ec29542532a22b7438037c /pkg/compiler/testdata | |
| parent | 0ae499850c25196ca5b61653b3e498ed65f87725 (diff) | |
pkg/compiler: add builtin bool type aliases
This adds builtin:
type bool8 int8[0:1]
type bool16 int16[0:1]
type bool32 int32[0:1]
type bool64 int64[0:1]
type boolptr intptr[0:1]
We used to use just int's for bools.
But bool types provide several advantages:
- make true/false probability equal
- improve description expressiveness
- reduce search space (we will take advantage of this later)
Diffstat (limited to 'pkg/compiler/testdata')
| -rw-r--r-- | pkg/compiler/testdata/errors.txt | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/pkg/compiler/testdata/errors.txt b/pkg/compiler/testdata/errors.txt index 237519aa3..0a9363924 100644 --- a/pkg/compiler/testdata/errors.txt +++ b/pkg/compiler/testdata/errors.txt @@ -181,17 +181,17 @@ define d3 1 # Type aliases. -type bool8 int8[0:1] -type bool16 int16[0:1] +type mybool8 int8[0:1] +type mybool16 int16[0:1] type net_port proc[100, 1, int16be] -resource typeres0[bool8] +resource typeres0[mybool8] typestruct { - f1 bool8 - f2 bool16 + f1 mybool8 + f2 mybool16 } typeunion [ - f1 bool8 - f2 bool16 + f1 mybool8 + f2 mybool16 ] type type0 int8 @@ -217,6 +217,7 @@ type type13 ptr[in, typestruct13] type type14 flags[type0, int32] type type15 const[0, type0] ### unexpected value type0 for base type argument of const type, expect [int8 int16 int32 int64 int16be int32be int64be intptr] type type16 ptr[in, type0] ### type aliases can't refer to other type aliases +type bool8 int8[0:1] ### type name bool8 conflicts with builtin type typestruct11 { f type11 ### unknown type type11 @@ -231,7 +232,7 @@ typestruct13 { f2 type12 } -foo$100(a bool8, b bool16) +foo$100(a mybool8, b mybool16) foo$101(a type5) ### unknown type type5 foo$102(a type2) ### unknown type type2 foo$103(a type0:4) ### type alias type0 with ':' |