ghc/compiler/yaccParser/ttype.ugn

   1 %{
   2 #include "hspincl.h"
   3 %}
   4 %{{
   5 module U_ttype where
   6 import UgenUtil
   7 import Util
   8
   9 import U_list
  10 %}}
  11 type ttype;
  12         tname   : < gtypeid     : unkId;
  13                     gtypel      : list; >;
  14         namedtvar : < gnamedtvar : unkId; >;
  15         tllist  : < gtlist      : ttype; >;
  16         ttuple  : < gttuple     : list; >;
  17         tfun    : < gtfun       : ttype;
  18                     gtarg       : ttype; >;
  19         context : < gtcontextl  : list;
  20                     gtcontextt  : ttype; >;
  21
  22         unidict :   < gunidict_clas : unkId;
  23                       gunidict_ty   : ttype; >;
  24         unityvartemplate: <gunityvartemplate : unkId; >;
  25         uniforall : < guniforall_tv : list;
  26                       guniforall_ty : ttype; >;
  27
  28         ty_maybe_nothing : < >;
  29         ty_maybe_just    : < gty_maybe : ttype; >;
  30 end;
  31