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 404, Thu Oct 14 22:11:38 2010 UTC revision 405, Fri Oct 15 04:42:42 2010 UTC
# Line 4  Line 4 
4   * All rights reserved.   * All rights reserved.
5   *)   *)
6    
7  structure CheckOps : sig  structure CheckOps : OPERATOR_TY = struct
   
     val sign : HighOps.rator -> HighILTypes.ty * HighILTypes.ty list  
   
   end = struct  
8    
9      structure Op = HighOps      structure Op = HighOps
10      structure Ty = HighILTypes      structure Ty = HighILTypes
11    
12        type rator = Op.rator
13        type ty = Ty.ty
14    
15      fun sign rator = (case rator      fun sign rator = (case rator
16             of Op.Add ty => (ty, [ty, ty])             of Op.Add ty => (ty, [ty, ty])
17              | Op.Sub ty => (ty, [ty, ty])              | Op.Sub ty => (ty, [ty, ty])
# Line 70  Line 69 
69            (* end case *))            (* end case *))
70    
71    end    end
72    
73    structure CheckHighIL = CheckILFn (
74        structure IL = HighIL
75        structure OpTy = CheckOps)

Legend:
Removed from v.404  
changed lines
  Added in v.405

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