e3ae702ad19d — Leonard Ritter 2 months ago
* `type`: permit `<:` to use typenames
1 files changed, 2 insertions(+), 2 deletions(-)

M lib/scopes/core.sc
M lib/scopes/core.sc +2 -2
@@ 7241,11 7241,11 @@ sugar typedef (name body...)
         case ('<: storagetype rest...)
             _ rest... `[(list superof storagetype)] true true
                 list
-                    list set-storage 'this-type storagetype typename-flag-plain
+                    list set-storage 'this-type (list storageof storagetype) typename-flag-plain
         case ('<:: storagetype rest...)
             _ rest... `[(list superof storagetype)] true true
                 list
-                    list set-storage 'this-type storagetype 0:u32
+                    list set-storage 'this-type (list storageof storagetype) 0:u32
         default
             _ body... `typename false false '()