Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
…12d1-65f4-0310-ae8a-bbce733d8d8e
  • Loading branch information
x02lucpo committed Jun 21, 2005
1 parent 50a9bf3 commit 089d6f7
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions Compiler/Ceval.rml
@@ -1,4 +1,4 @@
(*
(*
Copyright (c) PELAB, Dept. Computer and Information Science, Linkoping University,
Sweden, in the following denoted PELAB/LIU.

Expand Down Expand Up @@ -1047,7 +1047,7 @@ relation ceval_interactive_functions: (Env.Env, Exp.Exp, Interactive.Interactive
-------------------------------
ceval_interactive_functions (env, Exp.CALL(Absyn.IDENT("clearCache"),[],_,_),st as Interactive.SYMBOLTABLE(p,fp,ic,iv,cf)) => (Values.BOOL(true),newst)

rule Dump.unparse_str(p(* ,false *)) => str
rule Dump.unparse_str(p,false) => str
-------------------
ceval_interactive_functions (env, Exp.CALL(Absyn.IDENT("list"),[],_,_),st as Interactive.SYMBOLTABLE(p,sp,ic,iv,cf)) => (Values.STRING(str),st)

Expand Down Expand Up @@ -1378,7 +1378,7 @@ relation ceval_interactive_functions: (Env.Env, Exp.Exp, Interactive.Interactive

rule Static.component_ref_to_path(cr) => classpath &
Interactive.get_contained_class_and_file(classpath,p) => (p',filename) &
Dump.unparse_str(p'(* ,true *)) => str &
Dump.unparse_str(p',true) => str &
System.write_file(filename,str)
--------------------------
ceval_interactive_functions (env, Exp.CALL(Absyn.IDENT("save"),[Exp.CREF(cr,_)],_,_),st as Interactive.SYMBOLTABLE(p,sp,ic,iv,cf))
Expand All @@ -1387,7 +1387,7 @@ relation ceval_interactive_functions: (Env.Env, Exp.Exp, Interactive.Interactive
axiom ceval_interactive_functions (env, Exp.CALL(Absyn.IDENT("save"),[Exp.CREF(cr,_)],_,_),st as Interactive.SYMBOLTABLE(p,sp,ic,iv,cf))
=> (Values.BOOL(false),st)

rule Dump.unparse_str(p(* ,true *)) => str &
rule Dump.unparse_str(p,true) => str &
System.write_file(filename,str)
--------------------------
ceval_interactive_functions (env, Exp.CALL(Absyn.IDENT("saveAll"),[Exp.SCONST(filename)],_,_),st as Interactive.SYMBOLTABLE(p,sp,ic,iv,cf))
Expand Down

0 comments on commit 089d6f7

Please sign in to comment.