Move Ref type + basic test

app/gui/view/graph-editor/src/builtin/visualization/native/inc/error_preprocessor.enso

@@ -1,7 +1,7 @@
 x ->
-    result = Builtins.Ref.new '{ message: ""}'
+    result = Ref.new '{ message: ""}'
     x.catch err->
         message = err.to_display_text
-        Builtins.Ref.put result ('{ "kind": "Dataflow", "message": ' + message.to_json.to_text + '}')
-    Builtins.Ref.get result
+        Ref.put result ('{ "kind": "Dataflow", "message": ' + message.to_json.to_text + '}')
+    Ref.get result
 

distribution/lib/Standard/Base/0.0.0-dev/src/Data/Ref.enso

@@ -0,0 +1,45 @@
+## Utilities for working with mutable references.
+type Ref
+
+    ## A mutable reference type.
+    @Builtin_Type
+    type Ref
+
+## FIXME consider moving this as methods of Ref, currently a lot of stuff depends
+##       on the current design
+## Gets the contents of the mutable reference ref.
+
+   Arguments:
+   - ref: The reference to get the contents of.
+
+   > Example
+     Getting the contents of a reference.
+
+         Ref.get (Ref.new 0)
+get : Ref -> Any
+get ref = @Builtin_Method "Ref.get"
+
+## Puts a new value into the reference, returning the old value.
+
+   Arguments:
+   - ref: The reference in which to store the value.
+   - new_value: The new value to store in ref.
+
+   > Example
+     Storing the value 10 in a reference.
+
+         Ref.put (Ref.new 0) 10
+put : Ref -> Any -> Any
+put ref new_value = @Builtin_Method "Ref.put"
+
+## Creates a new reference containing the provided value.
+
+   Arguments:
+   - value: The value to be contained in the ref.
+
+   > Example
+     Creating a new reference containing the value 7.
+
+         Ref.new 7
+new : Any -> Ref
+new value = @Builtin_Method "Ref.new"

distribution/lib/Standard/Base/0.0.0-dev/src/Main.enso

@@ -12,6 +12,7 @@ import project.Data.Ordering
 import project.Data.Ordering.Sort_Order
 import project.Data.Pair
 import project.Data.Range
+import project.Data.Ref
 import project.Data.Text.Extensions
 import project.Data.Text.Matching
 import project.Data.Vector
@@ -53,6 +54,7 @@ from project.Data.Number.Extensions export all hiding Math, String, Double
 from project.Data.Noise export all hiding Noise
 from project.Data.Pair export Pair
 from project.Data.Range export Range
+from project.Data.Ref export Ref
 ## TODO [RW] Once autoscoping is implemented or automatic imports for ADTs are
    fixed in the IDE, we should revisit if we want to export ADTs like `Case` by
    default. It may be unnecessary pollution of scope, but until the issues are

engine/runtime/src/main/java/org/enso/interpreter/runtime/builtin/Mutable.java

@@ -19,13 +19,9 @@ public class Mutable {
    */
   public Mutable(Builtins builtins, Language language, ModuleScope scope) {
     array = null;
+    ref = null;
     this.builtins = builtins;
 
-    ref = new AtomConstructor("Ref", scope).initializeFields();
-    scope.registerConstructor(ref);
-    scope.registerMethod(ref, "new", NewRefMethodGen.makeFunction(language));
-    scope.registerMethod(ref, "get", GetRefMethodGen.makeFunction(language));
-    scope.registerMethod(ref, "put", PutRefMethodGen.makeFunction(language));
   }
 
   /** @return the Array constructor. */
@@ -35,6 +31,6 @@ public AtomConstructor array() {
 
   /** @return the Ref constructor. */
   public AtomConstructor ref() {
-    return ref;
+    return builtins.getBuiltinType("Ref");
   }
 }

engine/runtime/src/main/resources/Builtins.enso

@@ -741,50 +741,6 @@ type Meta
     get_qualified_type_name : Any -> Text
     get_qualified_type_name value = @Builtin_Method "Meta.get_qualified_type_name"
 
-## Utilities for working with mutable references.
-type Ref
-
-    ## A mutable reference type.
-    @Builtin_Type
-    type Ref
-
-    ## Creates a new reference containing the provided value.
-
-       Arguments:
-       - value: The value to be contained in the ref.
-
-       > Example
-         Creating a new reference containing the value 7.
-
-             Ref.new 7
-    new : Any -> Ref
-    new value = @Builtin_Method "Ref.new"
-
-    ## Gets the contents of the mutable reference ref.
-
-       Arguments:
-       - ref: The reference to get the contents of.
-
-       > Example
-         Getting the contents of a reference.
-
-             Ref.get (Ref.new 0)
-    get : Ref -> Any
-    get ref = @Builtin_Method "Ref.get"
-
-    ## Puts a new value into the reference, returning the old value.
-
-       Arguments:
-       - ref: The reference in which to store the value.
-       - new_value: The new value to store in ref.
-
-       > Example
-         Storing the value 10 in a reference.
-
-             Ref.put (Ref.new 0) 10
-    put : Ref -> Any -> Any
-    put ref new_value = @Builtin_Method "Ref.put"
-
 ## The root type of the Enso numeric hierarchy.
 
    If a Number is expected, then the program can provide either a Decimal or

test/Tests/src/Data/Ref_Spec.enso

@@ -0,0 +1,12 @@
+from Standard.Base import all
+
+import Standard.Test
+
+spec = Test.group "Refs" <|
+    Test.specify "should be able to store and retrieve value in references" <|
+        r = Ref.new 'foo'
+        Ref.put r 'bar'
+        v = Ref.get r
+        v.should_equal 'bar'
+
+main = Test.Suite.run_main here.spec