splitting the atom
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.
More information about the Cduce-users