Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/compiler/ElabData/syntax/varcon.sig
ViewVC logotype

View of /sml/trunk/compiler/ElabData/syntax/varcon.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 6214 - (download) (as text) (annotate)
Tue Apr 21 13:18:12 2020 UTC (2 months, 2 weeks ago) by jhr
File size: 815 byte(s)
code layout
(* varcon.sig
 *
 * COPYRIGHT (c) 2017 The Fellowship of SML/NJ (http://www.smlnj.org)
 * All rights reserved.
 *)

signature VARCON =
  sig

    datatype var
      = VALvar of	                (* ordinary variables *)
	  {path : SymPath.path,
	   typ : Types.ty ref,
	   btvs : Types.tyvar list ref,
	   access : Access.access,
	   prim   : PrimopId.prim_id}
      | OVLDvar of       	        (* overloaded identifier *)
	{name : Symbol.symbol,          (* name of the overloaded operator *)
	 variants : var list}           (* variant variables (VALvars) *)
      | ERRORvar

    type datacon = Types.datacon

    datatype value
      = VAL of var
      | CON of datacon

    val mkVALvar : Symbol.symbol * Access.access ->  var

    val bogusCON : datacon
    val bogusEXN : datacon

  end (* signature VARCON *)

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