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/flint/ppflint.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/flint/ppflint.sml

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

revision 184, Sun Nov 8 21:18:20 1998 UTC revision 185, Tue Nov 10 21:01:05 1998 UTC
# Line 32  Line 32 
32         in LT.ffw_var (ff, fn (b1,b2) => (h b1)^(h b2), fn _ => "f")         in LT.ffw_var (ff, fn (b1,b2) => (h b1)^(h b2), fn _ => "f")
33        end        end
34    
35      fun toStringFKind ({isrec=SOME _, cconv=F.CC_FUN fixed, ...} : F.fkind) =      fun toStringFKind ({isrec,cconv,inline,...}:F.fkind) =
36            "REC " ^ (toStringFFlag fixed)          (case inline of F.IH_ALWAYS => "(i)"
37        | toStringFKind ({cconv=F.CC_FUN fixed, ...}) =                        | F.IH_UNROLL => "(u)"
38            "FUN " ^ (toStringFFlag fixed)                        | F.IH_SAFE => "")^
39        | toStringFKind ({cconv=F.CC_FCT, ...}) = "FCT"               (if isSome isrec then "R" else "")^
40                      (case cconv
41                        of F.CC_FCT => "FCT"
42                         | F.CC_FUN fixed => ("FUN "^(toStringFFlag fixed)))
43    
44  (*  (*
45      fun toStringFKind F.FK_ESCAPE  = "FK_ESCAPE"      fun toStringFKind F.FK_ESCAPE  = "FK_ESCAPE"
46        | toStringFKind F.FK_KNOWN   = "FK_KNOWN"        | toStringFKind F.FK_KNOWN   = "FK_KNOWN"

Legend:
Removed from v.184  
changed lines
  Added in v.185

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