[syntax transformation is now more robust
mail@stefanwehr.de**20051001130902] {
hunk ./Phrac/SyntaxTransformation.hs 222
-rw_typeScheme (TypeScheme [] qtype@(QualifiedType _ t)) = 
+rw_typeScheme (TypeScheme _ qtype@(QualifiedType _ t)) = 
hunk ./Phrac/SyntaxTransformation.hs 230
-rw_typeScheme _ = panic "TypeScheme with non-empty list of quantified \
-                        \variables produced by the parser"
-
hunk ./Phrac/SyntaxTransformation.hs 280
+rw_type (TyAssoc t@(AssocType id ts)) = 
+    do (uid,arity) <- lookUpAssocTypeCon id
+       if length ts /= arity -- not sure if check really needed here, but does
+                             -- no harm anyway
+          then phasefail "renamer" ("AT " ++ showPpr' t ++ 
+                                    " applied to wrong number of arguments. " ++
+                                    "Expected arity: " ++ show arity)
+          else do ts' <- mapM rw_type ts
+                  return (AS.TyAssoc (AS.AssocType uid ts'))
+          
}