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/compiler/FLINT/flint/chkflint.sml
ViewVC logotype

Diff of /sml/trunk/compiler/FLINT/flint/chkflint.sml

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

revision 4539, Sat Apr 21 17:13:52 2018 UTC revision 4540, Wed Apr 25 17:06:35 2018 UTC
# Line 200  Line 200 
200            handle ltUnbound =>            handle ltUnbound =>
201                errMsg (le, "Unbound Lvar " ^ LV.lvarName lv, LT.ltc_void)                errMsg (le, "Unbound Lvar " ^ LV.lvarName lv, LT.ltc_void)
202        fun typeofVal (VAR lv) = typeofVar lv        fun typeofVal (VAR lv) = typeofVar lv
203    (* 64BIT: REAL64: need more cases *)
204          | typeofVal (INT _ | WORD _) = LT.ltc_int          | typeofVal (INT _ | WORD _) = LT.ltc_int
205          | typeofVal (INT32 _ | WORD32 _) = LT.ltc_int32          | typeofVal (INT32 _ | WORD32 _) = LT.ltc_int32
206          | typeofVal (REAL _) = LT.ltc_real          | typeofVal (REAL _) = LT.ltc_real
207          | typeofVal (STRING _) = LT.ltc_string          | typeofVal (STRING _) = LT.ltc_string
208        fun typeofFn ve (_,lvar,vts,eb) = let        fun typeofFn ve (_,lvar,vts,eb) = let
209          fun split ((lv,t), (ve,ts)) =              fun split ((lv,t), (ve,ts)) = (
210              (lvarDef le lv;                    lvarDef le lv;
211               (LT.ltInsert (ve,lv,t,d), t::ts))               (LT.ltInsert (ve,lv,t,d), t::ts))
212          val (ve',ts) = foldr split (ve,[]) vts          val (ve',ts) = foldr split (ve,[]) vts
213          in          in

Legend:
Removed from v.4539  
changed lines
  Added in v.4540

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