Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/translate/analyze-simple.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/translate/analyze-simple.sml

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

revision 5150, Fri Jul 21 17:31:28 2017 UTC revision 5151, Fri Jul 21 18:11:16 2017 UTC
# Line 237  Line 237 
237              if Properties.hasProp Properties.StrandCommunication props              if Properties.hasProp Properties.StrandCommunication props
238                then (case List.find (fn x => (SV.nameOf x = "pos")) state                then (case List.find (fn x => (SV.nameOf x = "pos")) state
239                   of SOME x => markSharedStateVar x                   of SOME x => markSharedStateVar x
240                    | NONE => raise Fail "impossible: missing 'pos' state variable"                    | NONE => let
241                          fun pr s = TextIO.output(TextIO.stdErr, concat s)
242                          in
243                            pr ["**** impossible: missing 'pos' state variable\n"];
244                            pr ["  ** state variables:\n"];
245                            List.app
246                              (fn x => pr[
247                                  "     nameOf(", SV.uniqueNameOf x, ") = \"",
248                                  SV.nameOf x, "\"\n"
249                                ])
250                              state;
251                            raise Fail "impossible: missing 'pos' state variable"
252                          end
253                  (* end case *))                  (* end case *))
254                else ();                else ();
255              analyzeBlock ConstInit constInit;              analyzeBlock ConstInit constInit;

Legend:
Removed from v.5150  
changed lines
  Added in v.5151

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