Skip to content

Commit 2e91135

Browse files
Updating micro-distribution with the new Managed_Resource builtins
1 parent 40aedfc commit 2e91135

File tree

1 file changed

+6
-2
lines changed
  • test/micro-distribution/lib/Standard/Base/0.0.0-dev/src/Runtime

1 file changed

+6
-2
lines changed
Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,16 @@
11
import project.Any.Any
2+
import project.Data.Boolean.Boolean
23
import project.Nothing.Nothing
34

45
bracket : Any -> (Any -> Nothing) -> (Any -> Any) -> Any
56
bracket ~constructor ~destructor ~action = @Builtin_Method "Resource.bracket"
67

78
@Builtin_Type
89
type Managed_Resource
9-
register resource function = @Builtin_Method "Managed_Resource.register"
10+
register obj fn system=Boolean.False = register_builtin obj fn system
1011
finalize self = @Builtin_Method "Managed_Resource.finalize"
11-
with self ~action = @Builtin_Method "Managed_Resource.with"
12+
with self ~action ~on_missing=Nothing = with_builtin self action on_missing
1213
take self = @Builtin_Method "Managed_Resource.take"
14+
15+
register_builtin resource function system = @Builtin_Method "Managed_Resource.register_builtin"
16+
with_builtin r action on_missing = @Builtin_Method "Managed_Resource.with_builtin"

0 commit comments

Comments
 (0)