ghc/compiler/parser/ttype.ugn

   1 %{
   2 #include "hspincl.h"
   3 %}
   4 %{{
   5 module U_ttype where
   6
   7 #include "HsVersions.h"
   8
   9 import UgenUtil
  10
  11 import U_list
  12 import U_qid
  13 %}}
  14 type ttype;
  15         tname   : < gtypeid     : qid;  >;      /* tycon */
  16         namedtvar : < gnamedtvar : stringId; >; /* tvar */
  17         tllist  : < gtlist      : ttype; >;
  18         ttuple  : < gttuple     : list; >;
  19         tutuple : < gtutuple    : list; >;
  20         tfun    : < gtin        : ttype;
  21                     gtout       : ttype; >;
  22         tapp    : < gtapp       : ttype;
  23                     gtarg       : ttype; >;
  24         tbang   : < gtbang      : ttype; >;
  25         forall  : < gtforalltv  : list;         /* tyvars */
  26                     gtforallctxt : list;        /* theta */
  27                     gtforallt   : ttype; >;
  28 end;
  29