splitting the atom

Matthias Radestock matthias at sorted.org
Fri May 27 16:31:48 CEST 2005


Is there any way to split an atom into its namespace and name? E.g. I
want to be able to do something like this:
 namespace foo = "foo" in split_atom `foo:bar;;
(* => ("foo",`bar) *)

Similarly, is there a way to construct atoms given a namespace and name?
E.g. I want to be able to do something like this:
 let ns = "foo" in
 let name = `bar in
 make_atom ns name;;
(* => `some_prefix_for_foo:bar *)

If this isn't currently possible, then perhaps we could introduce some
value & pattern syntax for this, e.g.
 `(ns):(n)


Matthias.




More information about the Cduce-users mailing list