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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/typechecker/check-type.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/typechecker/check-type.sml

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

revision 3398, Wed Nov 11 01:17:58 2015 UTC revision 3402, Wed Nov 11 02:54:23 2015 UTC
# Line 20  Line 20 
20    
21      val err = TypeError.error      val err = TypeError.error
22    
23      datatype tokens = datatype TypeError.tokens      datatype token = datatype TypeError.token
24    
25    (* check a differentiation level, which must be >= 0 *)    (* check a differentiation level, which must be >= 0 *)
26      fun checkDiff (cxt, k) =      fun checkDiff (cxt, k) =

Legend:
Removed from v.3398  
changed lines
  Added in v.3402

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