diff options
| author | Christopher Pulte | 2015-10-17 21:25:12 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2015-10-17 21:25:12 +0100 |
| commit | a72c474c2a5902f72ab63f21dc071a22d449b63b (patch) | |
| tree | 9dabf7bd63c82dbebd8883a589c61066b1a6f503 /src/test | |
| parent | 61d55418490a0a87e2ce75c61d550fabf985ee35 (diff) | |
clean up, more readability
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/test2.sail | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/src/test/test2.sail b/src/test/test2.sail index ab0a72b7..6cc876c8 100644 --- a/src/test/test2.sail +++ b/src/test/test2.sail @@ -1,8 +1,3 @@ -default Order dec - -function nat id ( n ) = n - -register (bit[5]) c function unit f() = { (if( true ) then @@ -17,7 +12,4 @@ function unit f() = { b := a; } -function nat effect pure main _ = { - f(); - id(42); -} + |