]> gitweb.factorcode.org Git - factor.git/commitdiff
uuid: adding uuid-urn word
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 10 Feb 2022 21:49:09 +0000 (13:49 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 10 Feb 2022 21:51:50 +0000 (13:51 -0800)
basis/uuid/uuid.factor

index 00758e0b8baf09a38ec23e6df4ec0752939dad71..96481ae4bf77d62d566d3d075b72f90468587472 100644 (file)
@@ -75,6 +75,9 @@ PRIVATE>
     sha1 checksum-bytes 16 short head be>
     5 (version) uuid>string ;
 
+: uuid-urn ( string -- url )
+    "url:urn:" prepend ;
+
 CONSTANT: NAMESPACE_DNS  "6ba7b810-9dad-11d1-80b4-00c04fd430c8"
 CONSTANT: NAMESPACE_URL  "6ba7b811-9dad-11d1-80b4-00c04fd430c8"
 CONSTANT: NAMESPACE_OID  "6ba7b812-9dad-11d1-80b4-00c04fd430c8"