diff options
| author | Kathy Gray | 2014-08-28 12:53:13 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-08-28 12:53:13 +0100 |
| commit | d82cd0adaedf8eca558f86baf830cbe571bd9ad8 (patch) | |
| tree | 7cc103819113a941155c30cbe25bc0d4509ced0b /src/test | |
| parent | b3faf7253fbbc1bc5708881eb7ee3d266ad8e99d (diff) | |
fixes to bugs exposed by arm model
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/test1.sail | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/test/test1.sail b/src/test/test1.sail index 489206d3..8ae00d78 100644 --- a/src/test/test1.sail +++ b/src/test/test1.sail @@ -9,9 +9,9 @@ typedef int_list [name = "il"] = list<nat> typedef reco = const struct forall 'i, 'a, 'b. { 'a['i] v; 'b w; } typedef maybe = const union forall 'a. { Nne; 'a Sme; } typedef creg = register bits [5:10] { 5 : h ; 6..7 : j} -let bool e = true +let (bool) e = true val forall Nat 'a, Nat 'b. bit['a:'b] sliced -let bit v = bitzero +let (bit) v = bitzero let ( bit [ 32 ] ) v1 = 0b101 let ( bit [32] ) v2 = 0xABCDEF01 @@ -43,7 +43,7 @@ function bit sw s = switch s { case 0 -> bitzero } typedef colors = enumerate { red; green; blue } -let colors rgb = red +let (colors) rgb = red function bit enu (red) = 0 |