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 3407, Wed Nov 11 18:53:18 2015 UTC revision 3419, Fri Nov 13 01:23:11 2015 UTC
# Line 58  Line 58 
58              | PT.T_Id strand => (case Env.findStrand(env, strand)              | PT.T_Id strand => (case Env.findStrand(env, strand)
59                   of SOME _ => Ty.T_Named strand                   of SOME _ => Ty.T_Named strand
60                    | NONE => (                    | NONE => (
61                        err(cxt, [S "unknown type '", A strand, S "'"]);                        err(cxt, [S "unknown type ", A strand]);
62                        Ty.T_Error)                        Ty.T_Error)
63                  (* end case *))                  (* end case *))
64              | PT.T_String => Ty.T_String              | PT.T_String => Ty.T_String

Legend:
Removed from v.3407  
changed lines
  Added in v.3419

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