diff options
| author | Kathy Gray | 2014-07-30 18:49:49 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-07-30 18:49:49 +0100 |
| commit | 8e6d2121d7e02eef90465f9fc21aa605c14bb057 (patch) | |
| tree | 43ca591575433a00822fe1e2e9052421015369f8 /src/test/test1.sail | |
| parent | 7c0435413b58eb82a22602d4a3b65f45323dc03b (diff) | |
working dec vectors
Diffstat (limited to 'src/test/test1.sail')
| -rw-r--r-- | src/test/test1.sail | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/test/test1.sail b/src/test/test1.sail index 1ca615c5..489206d3 100644 --- a/src/test/test1.sail +++ b/src/test/test1.sail @@ -1,3 +1,4 @@ +default Order inc default Nat 'i default Order 'o default bool b @@ -7,7 +8,6 @@ val forall Type 'i, 'b. ('i, 'b) -> 'i effect pure fst 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 colors = enumerate { red; green; blue } typedef creg = register bits [5:10] { 5 : h ; 6..7 : j} let bool e = true val forall Nat 'a, Nat 'b. bit['a:'b] sliced @@ -41,6 +41,8 @@ function unit a (bit) b = if identity(b) then (identity()) else () function bit sw s = switch s { case 0 -> bitzero } +typedef colors = enumerate { red; green; blue } + let colors rgb = red function bit enu (red) = 0 |