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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3401 - (download) (annotate)
Wed Nov 11 02:21:58 2015 UTC (4 years, 2 months ago) by jhr
File size: 736 byte(s)
working on merge
(* typechecker.sml
 *
 * This code is part of the Diderot Project (http://diderot-language.cs.uchicago.edu)
 *
 * COPYRIGHT (c) 2015 The University of Chicago
 * All rights reserved.
 *)

structure Typechecker : sig

    val check : Error.err_stream -> ParseTree.program -> AST.program

  end = struct

    structure PT = ParseTree

    fun check errStrm (PT.Program{span, tree}) = let
	  val {globals, strand, init, create, update} = tree
          val cxt = (errStrm, span)
          val env = Basis.env()
(* FIXME *)
          in
            AST.Program{
                props = Env.properties env,
		globals = globals',
		strand = strand',
		init = init',
		create = create',
		update = update'
              }
          end

  end

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