mirror of
https://github.com/github/semantic.git
synced 2024-12-27 00:44:57 +03:00
Give Unit a continuation.
This commit is contained in:
parent
30ed90072d
commit
2a6b7c55a1
@ -40,7 +40,7 @@ data Heap addr value m k
|
||||
data Domain term name value m k
|
||||
= Abstract name (term name) (value term name -> m k)
|
||||
| Apply (value term name) (value term name) (value term name -> m k)
|
||||
| Unit
|
||||
| Unit (value term name -> m k)
|
||||
| Bool Bool (value term name -> m k)
|
||||
| AsBool (value term name) (Bool -> m k)
|
||||
| String Text (value term name -> m k)
|
||||
|
Loading…
Reference in New Issue
Block a user