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/branches/primop-branch-2/src/compiler/FLINT/trans/translate.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/trans/translate.sml

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

revision 1078, Tue Feb 19 21:26:48 2002 UTC revision 1174, Sat Mar 23 21:14:40 2002 UTC
# Line 767  Line 767 
767                             table = [([LT.tcc_real], coreAcc "mkRealArray")]}                             table = [([LT.tcc_real], coreAcc "mkRealArray")]}
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::extra) =>
771                    let val i = SOME { c_proto = CProto.decode cproto_conv b,                    let val i =
772                                       ml_flt_args = CProto.flt_args a,                        let val {c_proto,arg_types,res_type} =
773                                       ml_flt_res_opt = CProto.flt_res c }                                   CProto.decode cproto_conv {encoding=b,
774                            handle CProto.BadEncoding => NONE                                                              arg_ty=a,
775                                                                res_ty=c}
776                          in  SOME { c_proto = c_proto,
777                                     ml_args = arg_types,
778                                     ml_res_opt = res_type,
779                                     reentrant=case extra of [] => false
780                                                           | _  => true
781                                   }
782                          end handle CProto.BadEncoding => NONE
783                    in PRIM (PO.RAW_CCALL i, toLty d typ, map (toTyc d) ts)                    in PRIM (PO.RAW_CCALL i, toLty d typ, map (toTyc d) ts)
784                    end                    end
785                  | _ => transPrim(p, (toLty d typ), map (toTyc d) ts)),                  | _ => transPrim(p, (toLty d typ), map (toTyc d) ts)),

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

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