Menu ▾ ▴

#241 Refine APIs of ref-type adts

0.9.5
closed
Miyakawa Taku
None
2 days ago
2025-12-21
Miyakawa Taku
No

atomic and varref should support the same set of methods. plain_param should be a supertype of them. Currently:

  • varref
    • Varref.op_store(Content)
    • Varref.load => Content
  • Atomic
    • Atomic.set(Content)
    • Atomic.get => Content
  • Plain_param
    • Param.op_store(Rhs)

Discussion

  • Miyakawa Taku

    Miyakawa Taku - 2025-12-21
    • Description has changed:

    Diff:

    --- old
+++ new
@@ -1 +1,10 @@
-atomic and varref should support the same set of methods. plain_param should be a supertype of them.
+atomic and varref should support the same set of methods. plain_param should be a supertype of them. Currently:
+
+* varref
+  * Varref.op_store(Content)
+  * Varref.load => Content
+* Atomic
+  * Atomic.set(Content)
+  * Atomic.get => Content
+* Plain_param
+  * Param.op_store(Rhs)
     

  • Miyakawa Taku

    Miyakawa Taku - 2025-12-21
    • Description has changed:

    Diff:

    --- old
+++ new
@@ -1,10 +1,10 @@
 atomic and varref should support the same set of methods. plain_param should be a supertype of them. Currently:

 * varref
-  * Varref.op_store(Content)
-  * Varref.load => Content
+    * Varref.op_store(Content)
+    * Varref.load => Content
 * Atomic
-  * Atomic.set(Content)
-  * Atomic.get => Content
+    * Atomic.set(Content)
+    * Atomic.get => Content
 * Plain_param
-  * Param.op_store(Rhs)
+    * Param.op_store(Rhs)
     

  • Miyakawa Taku

    Miyakawa Taku - 2025-12-21
    • Description has changed:

    Diff:

    --- old
+++ new
@@ -8,3 +8,4 @@
     * Atomic.get => Content
 * Plain_param
     * Param.op_store(Rhs)
+
    • Milestone: none --> 0.9.6
     

  • Miyakawa Taku

    Miyakawa Taku - 2025-12-27
    • Milestone: 0.9.6 --> 0.9.5
     

  • Miyakawa Taku

    Miyakawa Taku - 3 days ago
    • assigned_to: Miyakawa Taku
     

  • Miyakawa Taku

    Miyakawa Taku - 2 days ago

    Working on sf00241-ref-types

     

  • Miyakawa Taku

    Miyakawa Taku - 2 days ago
    • status: open --> closed
     

  • Miyakawa Taku

    Miyakawa Taku - 2 days ago

    Closed by [339631]

     

    Related

    Commit: [339631]

Log in to post a comment.