add a way to bend the type for register_value

specifically for factories, where we know the type of next_object even it is not specified

test/risc/test_register_slot.rb

@@ -73,26 +73,4 @@ module Risc
       assert_equal :message , inst.array.symbol
     end
   end
-  class TestRegisterSlot4 < MiniTest::Test
-    include HasCompiler
-    def setup
-      Parfait.boot!(Parfait.default_test_options)
-      @compiler = Risc.test_compiler
-      @r0 = RegisterValue.new(:message , :Message).set_compiler(@compiler)
-      @r0[:next_message][:return_address] << @r0
-    end
-    def test_instructions
-      assert_equal SlotToReg ,  @compiler.risc_instructions.next(1).class
-      assert_equal RegToSlot ,  @compiler.risc_instructions.next(2).class
-      assert_equal NilClass ,  @compiler.risc_instructions.next(3).class
-    end
-    def test_slot_to
-      assert_slot_to_reg 1 , :message, 1, :"message.next_message"
-      assert risc(1).register.compiler
-    end
-    def test_reg_to
-      assert_reg_to_slot 2 , :message, :"message.next_message" , 4
-      assert risc(2).register.compiler
-    end
-  end
 end

test/risc/test_register_slot1.rb

@@ -0,0 +1,26 @@
+require_relative "../helper"
+
+module Risc
+  class TestRegisterSlot4 < MiniTest::Test
+    include HasCompiler
+    def setup
+      Parfait.boot!(Parfait.default_test_options)
+      @compiler = Risc.test_compiler
+      @r0 = RegisterValue.new(:message , :Message).set_compiler(@compiler)
+      @r0[:next_message][:return_address] << @r0
+    end
+    def test_instructions
+      assert_equal SlotToReg ,  @compiler.risc_instructions.next(1).class
+      assert_equal RegToSlot ,  @compiler.risc_instructions.next(2).class
+      assert_equal NilClass ,  @compiler.risc_instructions.next(3).class
+    end
+    def test_slot_to
+      assert_slot_to_reg 1 , :message, 1, :"message.next_message"
+      assert risc(1).register.compiler
+    end
+    def test_reg_to
+      assert_reg_to_slot 2 , :message, :"message.next_message" , 4
+      assert risc(2).register.compiler
+    end
+  end
+end

test/risc/test_register_value1.rb

@@ -45,5 +45,10 @@ module Risc
       # works with nil as compiler, because extra is used
       assert_equal :Message , @r1.get_new_left(:arguments , nil).type.class_name
     end
+    def test_type_setting
+      reg = @r0.known_type(:Integer)
+      assert_equal Parfait::Type , reg.type.class
+      assert_equal "Integer_Type" , reg.type.name
+    end
   end
 end