Skip to content

Commit

Permalink
C++: Fix coroutine IR inconsistencies
Browse files Browse the repository at this point in the history
While here, remove some dead code related to fixed points from the database
scheme.
  • Loading branch information
jketema committed Sep 2, 2024
1 parent 4945943 commit 9bf6081
Show file tree
Hide file tree
Showing 18 changed files with 10,469 additions and 1,332 deletions.
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
class Function extends @function {
string toString() { none() }
}

class Type extends @type {
string toString() { none() }
}

class Variable extends @variable {
string toString() { none() }
}

from Function func, Type traits, Variable handle, Variable promise
where
coroutine(func, traits) and
coroutine_placeholder_variable(handle, 1, func) and
coroutine_placeholder_variable(promise, 2, func)
select func, traits, handle, promise
Loading

0 comments on commit 9bf6081

Please sign in to comment.