diff options
| author | Son Ho | 2022-01-28 14:54:51 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-28 14:54:51 +0100 |
| commit | 057c6cc1f445449022b953b08f691e3f83386634 (patch) | |
| tree | 42a4ae74cae2b13606051ca75311f4729c98054c /src/SymbolicToPure.ml | |
| parent | c6eedd0ebe3c4f986cdea36ecec468ae1cadb537 (diff) | |
Finish implementing to_monadic
Diffstat (limited to 'src/SymbolicToPure.ml')
| -rw-r--r-- | src/SymbolicToPure.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/SymbolicToPure.ml b/src/SymbolicToPure.ml index 30142639..345555e7 100644 --- a/src/SymbolicToPure.ml +++ b/src/SymbolicToPure.ml @@ -75,6 +75,8 @@ let mk_result_return_rvalue (v : typed_rvalue) : typed_rvalue = in { value; ty } +let mk_result_ty (ty : ty) : ty = Adt (Assumed Result, [ ty ]) + (** Type substitution *) let ty_substitute (tsubst : TypeVarId.id -> ty) (ty : ty) : ty = let obj = |