Compare Revisions

This comparison shows the changes necessary to convert path /trunk/src/maketest from Rev 21 to Rev 26 (Reverse comparison).
Path Comparison

Rev 21 ⟶ Rev 26

/clockexpression.sml
108,7 ⟶ 108,7
| isClkVar _ = false
 
fun containsClocks(env, expr) =
not (List.null (E.filter (fn e=>isClkVar (env, e)) expr))
not (List.null (Env.filter (fn (env',e)=>isClkVar (env', e)) env expr))
 
fun notClk (env, e) = if containsClocks (env, e)
then raise NonClockTerm
215,6 ⟶ 215,7
end
| conv (env, e as E.ExistsExpr _) = notClk (env, e)
(*}}}1*)
 
in (conv (env, expr), !forallbindings, !used) end
end (* local *)
 
/maketest.sml
78,8 ⟶ 78,8
| SOME n => n
in
Util.warn [errMsg];
Util.abort ["while processing transitions on channel ",
Atom.toString chanId, " from ", name]
Util.abort ["while processing transitions on channel '",
Atom.toString chanId, "' from ", name]
end
 
fun doLoc (location as P.Location {id=loc as P.LocId l,