lib/mlnlffi-lib/internals/tag.sml

   1 (* tag.sml
   2  * 2005 Matthew Fluet (mfluet@acm.org)
   3  *  Adapted for MLton.
   4  *)
   5
   6 (*
   7  * This module provides an infinite family of mutually distinct types
   8  * where each type corresponds to a sequence of "letters" (taken
   9  * from [a-zA-Z0-9_']).  There are no values that correspond to these
  10  * types.
  11  *
  12  * (C) 2001, Lucent Technologies, Bell Laboratories
  13  *
  14  * author: Matthias Blume (blume@research.bell-labs.com)
  15  *)
  16 structure Tag :> sig
  17
  18     type 't t_0 type 't t_1 type 't t_2 type 't t_3
  19     type 't t_4 type 't t_5 type 't t_6 type 't t_7
  20     type 't t_8 type 't t_9
  21
  22     type 't t__ type 't t_'
  23
  24     type 't t_a type 't t_b type 't t_c type 't t_d
  25     type 't t_e type 't t_f type 't t_g type 't t_h
  26     type 't t_i type 't t_j type 't t_k type 't t_l
  27     type 't t_m type 't t_n type 't t_o type 't t_p
  28     type 't t_q type 't t_r type 't t_s type 't t_t
  29     type 't t_u type 't t_v type 't t_w type 't t_x
  30     type 't t_y type 't t_z
  31
  32     type 't t_A type 't t_B type 't t_C type 't t_D
  33     type 't t_E type 't t_F type 't t_G type 't t_H
  34     type 't t_I type 't t_J type 't t_K type 't t_L
  35     type 't t_M type 't t_N type 't t_O type 't t_P
  36     type 't t_Q type 't t_R type 't t_S type 't t_T
  37     type 't t_U type 't t_V type 't t_W type 't t_X
  38     type 't t_Y type 't t_Z
  39
  40     type s
  41     type u
  42     type e
  43 end = struct
  44
  45     type 't t_0 = unit type 't t_1 = unit type 't t_2 = unit type 't t_3 = unit
  46     type 't t_4 = unit type 't t_5 = unit type 't t_6 = unit type 't t_7 = unit
  47     type 't t_8 = unit type 't t_9 = unit
  48
  49     type 't t__ = unit type 't t_' = unit
  50
  51     type 't t_a = unit type 't t_b = unit type 't t_c = unit type 't t_d = unit
  52     type 't t_e = unit type 't t_f = unit type 't t_g = unit type 't t_h = unit
  53     type 't t_i = unit type 't t_j = unit type 't t_k = unit type 't t_l = unit
  54     type 't t_m = unit type 't t_n = unit type 't t_o = unit type 't t_p = unit
  55     type 't t_q = unit type 't t_r = unit type 't t_s = unit type 't t_t = unit
  56     type 't t_u = unit type 't t_v = unit type 't t_w = unit type 't t_x = unit
  57     type 't t_y = unit type 't t_z = unit
  58
  59     type 't t_A = unit type 't t_B = unit type 't t_C = unit type 't t_D = unit
  60     type 't t_E = unit type 't t_F = unit type 't t_G = unit type 't t_H = unit
  61     type 't t_I = unit type 't t_J = unit type 't t_K = unit type 't t_L = unit
  62     type 't t_M = unit type 't t_N = unit type 't t_O = unit type 't t_P = unit
  63     type 't t_Q = unit type 't t_R = unit type 't t_S = unit type 't t_T = unit
  64     type 't t_U = unit type 't t_V = unit type 't t_W = unit type 't t_X = unit
  65     type 't t_Y = unit type 't t_Z = unit
  66
  67     type s = unit
  68     type u = unit
  69     type e = unit
  70 end