mlton/elaborate/elaborate.fun

   1 (* Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
   2  *    Jagannathan, and Stephen Weeks.
   3  * Copyright (C) 1997-2000 NEC Research Institute.
   4  *
   5  * MLton is released under a BSD-style license.
   6  * See the file MLton-LICENSE for details.
   7  *)
   8
   9 functor Elaborate (S: ELABORATE_STRUCTS): ELABORATE =
  10 struct
  11
  12 open S
  13
  14 structure Env = ElaborateEnv (structure Ast = Ast
  15                               structure CoreML = CoreML
  16                               structure TypeEnv = TypeEnv)
  17
  18 local
  19    open Env
  20 in
  21    structure Decs = Decs
  22 end
  23
  24 structure ElaborateMLBs = ElaborateMLBs (structure Ast = Ast
  25                                          structure CoreML = CoreML
  26                                          structure Decs = Decs
  27                                          structure Env = Env)
  28
  29 open ElaborateMLBs
  30 end