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/src/compiler/DebugProf/types/reconstruct.sml
ViewVC logotype

Diff of /sml/branches/primop-branch/src/compiler/DebugProf/types/reconstruct.sml

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

revision 1475, Fri Apr 9 19:05:33 2004 UTC revision 1476, Fri Apr 16 20:51:46 2004 UTC
# Line 21  Line 21 
21             | _ => ty)             | _ => ty)
22  *)  *)
23    | expType(VARexp _) = bug "varexp"    | expType(VARexp _) = bug "varexp"
24    | expType(CONexp(DATACON{typ,...},insttys)) =    | expType(CONexp(DATACON{typ,...},ty')) = ty'
25    (* PRIMOP
26       (case typ       (case typ
27            of POLYty{tyfun,...} => TU.applyTyfun(tyfun,insttys)            of POLYty{tyfun,...} => TU.applyTyfun(tyfun,insttys)
28             | _ => typ)             | _ => typ)
29    *)
30    | expType(INTexp _) = intTy    | expType(INTexp _) = intTy
31    | expType(WORDexp _) = wordTy    | expType(WORDexp _) = wordTy
32    | expType(STRINGexp _) = stringTy    | expType(STRINGexp _) = stringTy

Legend:
Removed from v.1475  
changed lines
  Added in v.1476

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