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 3402 - (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 : jhr 3402 val update' = (case update
23 :     of SOME stm => SOME(CheckStmt.check(env, cxt, stm))
24 :     | NONE => NONE
25 :     (* end case *))
26 : jhr 3401 in
27 :     AST.Program{
28 :     props = Env.properties env,
29 :     globals = globals',
30 :     strand = strand',
31 :     init = init',
32 :     create = create',
33 :     update = update'
34 :     }
35 :     end
36 :    
37 :     end

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