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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 4000, Fri Dec 19 22:33:49 2014 UTC revision 4431, Tue Sep 19 20:09:13 2017 UTC
# Line 1  Line 1 
1  (* varcon.sig  (* varcon.sig
2   *   *
3   * (C) 2001 Lucent Technologies, Bell Labs   * COPYRIGHT (c) 2017 The Fellowship of SML/NJ (http://www.smlnj.org)
4     * All rights reserved.
5   *)   *)
6    
7  signature VARCON =  signature VARCON =
8  sig  sig
9    
# Line 11  Line 13 
13           typ : Types.ty ref,           typ : Types.ty ref,
14           btvs : Types.tyvar list ref,           btvs : Types.tyvar list ref,
15           access : Access.access,           access : Access.access,
16           prim   : PrimOpId.primId}           prim   : PrimopId.prim_id}
17      | OVLDvar of                        (* overloaded identifier *)      | OVLDvar of                        (* overloaded identifier *)
18          {name : Symbol.symbol,          {name : Symbol.symbol,
19           options: {indicator: Types.ty, variant: var} list,           options: {indicator: Types.ty, variant: var} list,

Legend:
Removed from v.4000  
changed lines
  Added in v.4431

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