1 (* Copyright (C) 2017 Matthew Fluet.
2 * Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
3 * Jagannathan, and Stephen Weeks.
4 * Copyright (C) 1997-2000 NEC Research Institute.
6 * MLton is released under a BSD-style license.
7 * See the file MLton-LICENSE for details.
10 signature ELABORATE_PROGRAMS_STRUCTS =
13 structure CoreML: CORE_ML
15 structure Env: ELABORATE_ENV
17 sharing CoreML = Decs.CoreML = Env.CoreML
18 sharing Decs = Env.Decs
21 signature ELABORATE_PROGRAMS =
23 include ELABORATE_PROGRAMS_STRUCTS
25 val elaborateProgram: Ast.Program.t * {env: Env.t} -> Decs.t