ghc/compiler/parser/ttype.ugn

   1 %{
   2 #include "hspincl.h"
   3 %}
   4 %{{
   5 module U_ttype where
   6 import Ubiq --  debugging consistency check
   7 import UgenUtil
   8
   9 import U_list
  10 import U_qid
  11 %}}
  12 type ttype;
  13         tname   : < gtypeid     : qid;  >;
  14         namedtvar : < gnamedtvar : unkId; /* ToDo: rm unkIds entirely??? */ >;
  15         tllist  : < gtlist      : ttype; >;
  16         ttuple  : < gttuple     : list; >;
  17         tfun    : < gtin        : ttype;
  18                     gtout       : ttype; >;
  19         tapp    : < gtapp       : ttype;
  20                     gtarg       : ttype; >;
  21         tbang   : < gtbang      : ttype; >;
  22         context : < gtcontextl  : list;
  23                     gtcontextt  : ttype; >;
  24
  25         unidict :   < gunidict_clas : qid;
  26                       gunidict_ty   : ttype; >;
  27         unityvartemplate: <gunityvartemplate : unkId; >;
  28         uniforall : < guniforall_tv : list;
  29                       guniforall_ty : ttype; >;
  30 end;
  31