Merge pull request #912 from urbit/common-slav-types

Add special cases for %da and %ta to +slaw

sys/hoon.hoon

@@ -5779,27 +5779,7 @@
   ++  crub
     ~+
     ;~  pose
-      %+  cook
+      (cook |=(det/date `dime`[%da (year det)]) when)
-        |=(det/date `dime`[%da (year det)])
-      ;~  plug
-        %+  cook
-          |=({a/@ b/?} [b a])
-        ;~(plug dim:ag ;~(pose (cold | hep) (easy &)))
-        ;~(pfix dot mot:ag)   ::  month
-        ;~(pfix dot dip:ag)   ::  day
-        ;~  pose
-          ;~  pfix
-            ;~(plug dot dot)
-            ;~  plug
-              dum:ag
-              ;~(pfix dot dum:ag)
-              ;~(pfix dot dum:ag)
-              ;~(pose ;~(pfix ;~(plug dot dot) (most dot qix:ab)) (easy ~))
-            ==
-          ==
-          (easy [0 0 0 ~])
-        ==
-      ==
     ::
       %+  cook
         |=  {a/(list {p/?($d $h $m $s) q/@}) b/(list @)}
@@ -5923,6 +5903,28 @@
       (stag %$ crub)
     ==
   ::
+  ++  when
+    ~+
+    ;~  plug
+      %+  cook
+        |=({a/@ b/?} [b a])
+      ;~(plug dim:ag ;~(pose (cold | hep) (easy &)))
+      ;~(pfix dot mot:ag)   ::  month
+      ;~(pfix dot dip:ag)   ::  day
+      ;~  pose
+        ;~  pfix
+          ;~(plug dot dot)
+          ;~  plug
+            dum:ag
+            ;~(pfix dot dum:ag)
+            ;~(pfix dot dum:ag)
+            ;~(pose ;~(pfix ;~(plug dot dot) (most dot qix:ab)) (easy ~))
+          ==
+        ==
+        (easy [0 0 0 ~])
+      ==
+    ==
+  ::
   ++  zust
     ~+
     ;~  pose
@@ -5949,6 +5951,9 @@
       ::
       =+  con=(slay txt)
       ?.(&(?=({~ $$ @ @} con) =(p.p.u.con mod)) ~ [~ q.p.u.con])
+  ::
+      %da
+    (rush txt ;~(pfix sig (cook year when:so)))
   ::
       %p
     (rush txt ;~(pfix sig fed:ag))
@@ -5961,6 +5966,9 @@
   ::
       %uv
     (rush txt ;~(pfix (jest '0v') viz:ag))
+  ::
+      %ta
+    (rush txt ;~(pfix ;~(plug sig dot) urs:ab))
   ::
       %tas
     (rush txt sym)