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

SCM Repository

[diderot] Annotation of /branches/vis15/src/compiler/typechecker/typechecker.sml
ViewVC logotype

Annotation of /branches/vis15/src/compiler/typechecker/typechecker.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3401 - (view) (download)

1 : jhr 3401 (* typechecker.sml
2 :     *
3 :     * This code is part of the Diderot Project (http://diderot-language.cs.uchicago.edu)
4 :     *
5 :     * COPYRIGHT (c) 2015 The University of Chicago
6 :     * All rights reserved.
7 :     *)
8 :    
9 :     structure Typechecker : sig
10 :    
11 :     val check : Error.err_stream -> ParseTree.program -> AST.program
12 :    
13 :     end = struct
14 :    
15 :     structure PT = ParseTree
16 :    
17 :     fun check errStrm (PT.Program{span, tree}) = let
18 :     val {globals, strand, init, create, update} = tree
19 :     val cxt = (errStrm, span)
20 :     val env = Basis.env()
21 :     (* FIXME *)
22 :     in
23 :     AST.Program{
24 :     props = Env.properties env,
25 :     globals = globals',
26 :     strand = strand',
27 :     init = init',
28 :     create = create',
29 :     update = update'
30 :     }
31 :     end
32 :    
33 :     end

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