SCM Repository

[diderot] View of /trunk/src/ast/type-var.sml

[diderot] / trunk / src / ast / type-var.sml

View of /trunk/src/ast/type-var.sml

Revision 65 - (download) (annotate)
Thu May 13 21:04:35 2010 UTC (12 years, 1 month ago) by jhr
File size: 270 byte(s)

  Added TypeVar module

(* type-var.sml
 *
 * COPYRIGHT (c) 2010 The Diderot Project (http://diderot.cs.uchicago.edu)
 * All rights reserved.
 *)

structure TypeVar =
  struct

    datatype var = datatype Types.var

    fun new kind = TV{
	    kind = kind,
	    stamp = Stamp.new()
	  }

  end

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0