[Core] new safeness condition

I completed ACTION-687: Write a proposed new definition of the safeness


Please criticize.

I suspect it can be a little more concisely.  When I find some time I
will go over it again.

I also invite anyone who is interested to go over the functions and
predicates in DTB and check whether the binding patterns defined are

Best, Jos
Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/
No one who cannot rejoice in the discovery of
his own mistakes deserves to be called a
  - Donald Foster

Received on Friday, 23 January 2009 19:42:58 UTC