2580 - check product type of 'maybe-convert'

I had to undo some over-zealous changes in 2576.

2 files changed, 14 insertions, 14 deletions

diff --git a/sandbox/004-programming-environment.mu b/sandbox/004-programming-environment.mu
index 3e8922e5..b6c50fbf 100644
--- a/sandbox/004-programming-environment.mu
+++ b/sandbox/004-programming-environment.mu
@@ -56,18 +56,18 @@ recipe event-loop screen:address:shared:screen, console:address:shared:console,
     <handle-event>
     # check for global events that will trigger regardless of which editor has focus
     {
-      k:address:shared:number <- maybe-convert e:event, keycode:variant
+      k:address:number <- maybe-convert e:event, keycode:variant
       break-unless k
       <global-keypress>
     }
     {
-      c:address:shared:character <- maybe-convert e:event, text:variant
+      c:address:character <- maybe-convert e:event, text:variant
       break-unless c
       <global-type>
     }
     # 'touch' event
     {
-      t:address:shared:touch-event <- maybe-convert e:event, touch:variant
+      t:address:touch-event <- maybe-convert e:event, touch:variant
       break-unless t
       # ignore all but 'left-click' events for now
       # todo: test this
@@ -83,7 +83,7 @@ recipe event-loop screen:address:shared:screen, console:address:shared:console,
     # 'resize' event - redraw editor
     # todo: test this after supporting resize in assume-console
     {
-      r:address:shared:resize-event <- maybe-convert e:event, resize:variant
+      r:address:resize-event <- maybe-convert e:event, resize:variant
       break-unless r
       # if more events, we're still resizing; wait until we stop
       more-events?:boolean <- has-more-events? console
diff --git a/sandbox/011-editor-undo.mu b/sandbox/011-editor-undo.mu
index 82362dd9..d79e056c 100644
--- a/sandbox/011-editor-undo.mu
+++ b/sandbox/011-editor-undo.mu
@@ -145,7 +145,7 @@ before <insert-character-end> [
     # if previous operation was an insert, coalesce this operation with it
     break-unless *undo
     op:address:shared:operation <- first *undo
-    typing:address:shared:insert-operation <- maybe-convert *op, typing:variant
+    typing:address:insert-operation <- maybe-convert *op, typing:variant
     break-unless typing
     previous-coalesce-tag:number <- get *typing, tag:offset
     break-unless previous-coalesce-tag
@@ -201,7 +201,7 @@ recipe add-operation editor:address:shared:editor-data, op:address:shared:operat
 
 after <handle-undo> [
   {
-    typing:address:shared:insert-operation <- maybe-convert *op, typing:variant
+    typing:address:insert-operation <- maybe-convert *op, typing:variant
     break-unless typing
     start:address:shared:duplex-list:character <- get *typing, insert-from:offset
     end:address:shared:duplex-list:character <- get *typing, insert-until:offset
@@ -398,7 +398,7 @@ scenario editor-redo-typing [
 
 after <handle-redo> [
   {
-    typing:address:shared:insert-operation <- maybe-convert *op, typing:variant
+    typing:address:insert-operation <- maybe-convert *op, typing:variant
     break-unless typing
     insert-from:address:shared:duplex-list:character <- get *typing, insert-from:offset  # ignore insert-to because it's already been spliced away
     # assert insert-to matches next(*before-cursor)
@@ -715,7 +715,7 @@ before <move-cursor-end> [
     undo:address:address:shared:list:address:shared:operation <- get-address *editor, undo:offset
     break-unless *undo
     op:address:shared:operation <- first *undo
-    move:address:shared:move-operation <- maybe-convert *op, move:variant
+    move:address:move-operation <- maybe-convert *op, move:variant
     break-unless move
     previous-coalesce-tag:number <- get *move, tag:offset
     coalesce?:boolean <- equal undo-coalesce-tag, previous-coalesce-tag
@@ -736,7 +736,7 @@ before <move-cursor-end> [
 
 after <handle-undo> [
   {
-    move:address:shared:move-operation <- maybe-convert *op, move:variant
+    move:address:move-operation <- maybe-convert *op, move:variant
     break-unless move
     # assert cursor-row/cursor-column/top-of-screen match after-row/after-column/after-top-of-screen
     top:address:address:shared:duplex-list:character <- get-address *editor, top-of-screen:offset
@@ -1510,7 +1510,7 @@ ghi]
 
 after <handle-redo> [
   {
-    move:address:shared:move-operation <- maybe-convert *op, move:variant
+    move:address:move-operation <- maybe-convert *op, move:variant
     break-unless move
     # assert cursor-row/cursor-column/top-of-screen match after-row/after-column/after-top-of-screen
     *cursor-row <- get *move, after-row:offset
@@ -1600,7 +1600,7 @@ before <backspace-character-end> [
       # if previous operation was an insert, coalesce this operation with it
       break-unless *undo
       op:address:shared:operation <- first *undo
-      deletion:address:shared:delete-operation <- maybe-convert *op, delete:variant
+      deletion:address:delete-operation <- maybe-convert *op, delete:variant
       break-unless deletion
       previous-coalesce-tag:number <- get *deletion, tag:offset
       coalesce?:boolean <- equal previous-coalesce-tag, 1/coalesce-backspace
@@ -1629,7 +1629,7 @@ before <backspace-character-end> [
 
 after <handle-undo> [
   {
-    deletion:address:shared:delete-operation <- maybe-convert *op, delete:variant
+    deletion:address:delete-operation <- maybe-convert *op, delete:variant
     break-unless deletion
     start2:address:address:shared:duplex-list:character <- get-address *editor, data:offset
     anchor:address:shared:duplex-list:character <- get *deletion, delete-from:offset
@@ -1648,7 +1648,7 @@ after <handle-undo> [
 
 after <handle-redo> [
   {
-    deletion:address:shared:delete-operation <- maybe-convert *op, delete:variant
+    deletion:address:delete-operation <- maybe-convert *op, delete:variant
     break-unless deletion
     start:address:shared:duplex-list:character <- get *deletion, delete-from:offset
     end:address:shared:duplex-list:character <- get *deletion, delete-until:offset
@@ -1822,7 +1822,7 @@ before <delete-character-end> [
       # if previous operation was an insert, coalesce this operation with it
       break-unless *undo
       op:address:shared:operation <- first *undo
-      deletion:address:shared:delete-operation <- maybe-convert *op, delete:variant
+      deletion:address:delete-operation <- maybe-convert *op, delete:variant
       break-unless deletion
       previous-coalesce-tag:number <- get *deletion, tag:offset
       coalesce?:boolean <- equal previous-coalesce-tag, 2/coalesce-delete