[project @ 1999-01-14 17:58:41 by sof]

[ghc-hetmet.git] / ghc / compiler / parser / type2context.c

diff --git a/ghc/compiler/parser/type2context.c b/ghc/compiler/parser/type2context.c
index 468df29..fd142cd 100644 (file)
--- a/ghc/compiler/parser/type2context.c
+++ b/ghc/compiler/parser/type2context.c
@@ -44,14 +44,22 @@ type2context(t)
 
        return(gttuple(t)); /* args */
        
-
-      case tapp:
       case tname:
+       switch(tqid(gtypeid(t))) {
+         case gid:
+            if (strcmp("()",gidname(gtypeid(t))) == 0)
+              return (Lnil);
+          default: ;
+        }
+      case tapp:
        /* a single item, ensure correct format */
        is_context_format(t, 0);
        return(lsing(t));
 
       case namedtvar:
+       fprintf(stderr, "namedtvar: %d %s\n", hashIds, gnamedtvar(t));
+        if (strcmp("()", gnamedtvar(t)) == 0)
+              return (Lnil);
        hsperror ("type2context: unexpected namedtvar found in a context");
 
       case tllist: