# HG changeset patch
# User huffman
# Date 1240267055 25200
# Node ID f8877f60e1eeed5d8e5549fcc4e6ea6905489ac4
# Parent  ceeb5f2eac757e99ad2dbdda901f54e0cbc104a9
remove obsolete comments

diff -r ceeb5f2eac75 -r f8877f60e1ee src/HOLCF/Tools/domain/domain_extender.ML
--- a/src/HOLCF/Tools/domain/domain_extender.ML	Mon Apr 20 15:23:27 2009 -0700
+++ b/src/HOLCF/Tools/domain/domain_extender.ML	Mon Apr 20 15:37:35 2009 -0700
@@ -1,26 +1,7 @@
 (*  Title:      HOLCF/Tools/domain/domain_extender.ML
-    ID:         $Id$
     Author:     David von Oheimb
 
 Theory extender for domain command, including theory syntax.
-
-###TODO: 
-
-this definition
-domain empty = silly empty
-yields
-Exception-
-   TERM
-      ("typ_of_term: bad encoding of type",
-         [Abs ("uu", "_", Const ("NONE", "_"))]) raised
-but this works fine:
-domain Empty = silly Empty
-
-strange syntax errors are produced for:
-domain xx = xx ("x yy")
-domain 'a foo = foo (sel::"'a") 
-and bar = bar ("'a dummy")
-
 *)
 
 signature DOMAIN_EXTENDER =