Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/compiler/FLINT/trans/translate.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/trans/translate.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1077, Tue Feb 19 15:48:50 2002 UTC revision 1078, Tue Feb 19 21:26:48 2002 UTC
# Line 5  Line 5 
5  sig  sig
6    
7    (* Invariant: transDec always applies to a top-level absyn declaration *)    (* Invariant: transDec always applies to a top-level absyn declaration *)
8    val transDec : Absyn.dec * Access.lvar list    val transDec : { rootdec: Absyn.dec,
9                   * StaticEnv.staticEnv * Absyn.dec CompInfo.compInfo                     exportLvars: Access.lvar list,
10                       env: StaticEnv.staticEnv,
11                       cproto_conv: string,
12                       compInfo: Absyn.dec CompInfo.compInfo }
13                   -> {flint: FLINT.prog,                   -> {flint: FLINT.prog,
14                       imports: (PersStamps.persstamp                       imports: (PersStamps.persstamp
15                                 * ImportTree.importTree) list}                                 * ImportTree.importTree) list}
# Line 88  Line 91 
91   ****************************************************************************)   ****************************************************************************)
92    
93  fun transDec  fun transDec
94          (rootdec, exportLvars, env,          { rootdec, exportLvars, env, cproto_conv,
95           compInfo as {errorMatch,error,...}: Absyn.dec CompInfo.compInfo) =           compInfo as {errorMatch,error,...}: Absyn.dec CompInfo.compInfo } =
96  let  let
97    
98  (* We take mkLvar from compInfo.  This should answer Zhong's question... *)  (* We take mkLvar from compInfo.  This should answer Zhong's question... *)
# Line 765  Line 768 
768                    in GENOP (dict, p, toLty d typ, map (toTyc d) ts)                    in GENOP (dict, p, toLty d typ, map (toTyc d) ts)
769                    end                    end
770                  | (PO.RAW_CCALL NONE, [a, b, c]) =>                  | (PO.RAW_CCALL NONE, [a, b, c]) =>
771                    let val i = SOME { c_proto = CProto.decode b,                    let val i = SOME { c_proto = CProto.decode cproto_conv b,
772                                       ml_flt_args = CProto.flt_args a,                                       ml_flt_args = CProto.flt_args a,
773                                       ml_flt_res_opt = CProto.flt_res c }                                       ml_flt_res_opt = CProto.flt_res c }
774                            handle CProto.BadEncoding => NONE                            handle CProto.BadEncoding => NONE
# Line 1206  Line 1209 
1209    
1210  end (* top-level local *)  end (* top-level local *)
1211  end (* structure Translate *)  end (* structure Translate *)
   
   

Legend:
Removed from v.1077  
changed lines
  Added in v.1078

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