Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/high-il/check-high-il.sml
ViewVC logotype

Diff of /branches/vis12/src/compiler/high-il/check-high-il.sml

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

revision 419, Sun Oct 17 02:23:43 2010 UTC revision 420, Sun Oct 17 02:23:55 2010 UTC
# Line 2  Line 2 
2   *   *
3   * COPYRIGHT (c) 2010 The Diderot Project (http://diderot.cs.uchicago.edu)   * COPYRIGHT (c) 2010 The Diderot Project (http://diderot.cs.uchicago.edu)
4   * All rights reserved.   * All rights reserved.
  *  
  * Return the signature of a HighIL operator.  
5   *)   *)
6    
7  structure CheckOps : OPERATOR_TY = struct  structure CheckOps : OPERATOR_TY = struct
# Line 14  Line 12 
12      type rator = Op.rator      type rator = Op.rator
13      type ty = Ty.ty      type ty = Ty.ty
14    
15      (* Return the signature of a HighIL operator. *)
16      fun sigOf rator = (case rator      fun sigOf rator = (case rator
17             of Op.Add ty => (ty, [ty, ty])             of Op.Add ty => (ty, [ty, ty])
18              | Op.Sub ty => (ty, [ty, ty])              | Op.Sub ty => (ty, [ty, ty])

Legend:
Removed from v.419  
changed lines
  Added in v.420

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