Commit 948b891f authored by Axel Simon's avatar Axel Simon
Browse files

add a void value with UNIT type

parent e6c2eaad
......@@ -869,7 +869,8 @@ structure Cost = struct
"unop",
"binop",
"ternop",
"quaternop"])
"quaternop",
"void"])
;neverInline:=
Set.union
(!neverInline,
......
......@@ -34,6 +34,7 @@ end = struct
val update = get "update"
val query = get "query"
val slice = get "slice"
val void = get "void"
val answer = field (Atom.atom "1")
val state = field (Atom.atom "2")
fun select (f, e) = APP (SELECT f, [e])
......@@ -116,8 +117,10 @@ end = struct
in
(return, [a], FN (s, e))
end
val void = (void, [], RECORD [])
in
[>>=, >>, return, update, query]
[>>=, >>, return, update, query, void]
end
end
......
......@@ -235,7 +235,8 @@ structure Primitives = struct
FUN ([content'', VEC out], content''')], content''''),
flow = BD.meetVarImpliesVar (bvar content'''', bvar content') o
BD.meetVarImpliesVar (bvar content'''', bvar content''') o
BD.meetVarImpliesVar (bvar content'', bvar content')}
BD.meetVarImpliesVar (bvar content'', bvar content')},
{name="void", ty=UNIT, flow = noFlow}
]
val primitiveSizeConstraints =
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment