[project @ 1999-05-18 15:03:54 by simonpj]

[ghc-hetmet.git] / ghc / compiler / parser / binding.ugn

diff --git a/ghc/compiler/parser/binding.ugn b/ghc/compiler/parser/binding.ugn
index 4e9745b..d5d66f9 100644 (file)
--- a/ghc/compiler/parser/binding.ugn
+++ b/ghc/compiler/parser/binding.ugn
@@ -99,14 +99,13 @@ type binding;
        /* user-specified pragmas:XXXX */
 
        vspec_uprag : < gvspec_id   : qid;
-                       gvspec_tys  : list;
+                       gvspec_tys  : list;     /* Of type */
                        gvspec_line : long; >;
 
        vspec_ty_and_id : < gvspec_ty : ttype;
                        gvspec_tyid : maybe; /* nil or singleton */ >;
 
-       ispec_uprag : < gispec_clas : qid;
-                       gispec_ty   : ttype;
+       ispec_uprag : < gispec_ty   : ttype;
                        gispec_line : long; >;
 
        inline_uprag: < ginline_id   : qid;
@@ -123,4 +122,10 @@ type binding;
                        gdspec_tys  : list;
                        gdspec_line : long; >;
 
+       /* Transformation rule */
+       rule_prag       : < grule_name   : hstring;
+                           grule_forall : list;
+                           grule_lhs    : VOID_STAR;   /* Really tree, but mutual recursion problem in C */
+                           grule_rhs    : VOID_STAR;   /* Really tree, but mutual recursion problem in C */
+                           grule_line   : long;  >;
 end;