Last active
May 27, 2016 19:34
-
-
Save aaronang/9272577537e857c204f7807e559a8807 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 21:33 | INFO | stderr - [ identity crisis | info ] Marking variable def sites : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Renaming variables : [user/system] = [0.01s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Storing built-in signatures : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Storing signatures : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Checking signatures : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Memoization efficiency : [hits/misses] = [274/48] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Storing rules : [user/system] = [0.03s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Post-analysis checks : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Implicit conversion info : [user/system] = [0.03s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Analysis : [user/system] = [0.06s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Storing all definitions : [user/system] = [0.06s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Marking variable def sites : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Renaming variables : [user/system] = [0.01s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Storing built-in signatures : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Storing signatures : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Checking signatures : [user/system] = [0.01s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Memoization efficiency : [hits/misses] = [198/22] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Storing rules : [user/system] = [0.01s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Post-analysis checks : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Implicit conversion info : [user/system] = [0.01s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Analysis : [user/system] = [0.04s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Storing all definitions : [user/system] = [0.04s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Marking variable def sites : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Renaming variables : [user/system] = [0.01s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Storing built-in signatures : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Storing signatures : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Checking signatures : [user/system] = [0.01s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Memoization efficiency : [hits/misses] = [198/22] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Storing rules : [user/system] = [0.02s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Post-analysis checks : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Implicit conversion info : [user/system] = [0.01s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Analysis : [user/system] = [0.05s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Storing all definitions : [user/system] = [0.05s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Marking variable def sites : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Renaming variables : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Storing built-in signatures : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Storing signatures : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Checking signatures : [user/system] = [0.01s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Memoization efficiency : [hits/misses] = [154/18] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Storing rules : [user/system] = [0.03s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Post-analysis checks : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Implicit conversion info : [user/system] = [0.01s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Analysis : [user/system] = [0.06s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Storing all definitions : [user/system] = [0.07s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Marking variable def sites : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Renaming variables : [user/system] = [0.01s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Storing built-in signatures : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Storing signatures : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Checking signatures : [user/system] = [0.01s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Memoization efficiency : [hits/misses] = [244/25] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Storing rules : [user/system] = [0.04s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Post-analysis checks : [user/system] = [0.00s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Implicit conversion info : [user/system] = [0.01s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Analysis : [user/system] = [0.06s/0.00s] | |
| 21:33 | INFO | stderr - [ identity crisis | info ] Storing all definitions : [user/system] = [0.06s/0.00s] | |
| 21:33 | ERROR | o.m.s.e.t.TransformJob - Transformation failed for eclipse:///simpl/trans/simpl.ds | |
| org.metaborg.core.transform.TransformException: Invoking Stratego strategy ds-to-interp-editor failed at term | |
| ( Module( | |
| "trans/simpl" | |
| , [ Imports([Import("src-gen/ds-signatures/simpl-sig"), Import("trans/runtime/runtime")]) | |
| , Signatures( | |
| [ Constructors( | |
| [ConsDecl( | |
| "NumV" | |
| , [SimpleSort("Int")] | |
| , SimpleSort("V") | |
| , Annos([]) | |
| )] | |
| ) | |
| , ArrowDeclarations( | |
| [ ArrowDecl( | |
| ArrowROs([]) | |
| , SimpleSort("Exp") | |
| , ArrowRWs([]) | |
| , "default" | |
| , SimpleSort("V") | |
| , ArrowRWs([]) | |
| ) | |
| ] | |
| ) | |
| , NativeOperators( | |
| [ NativeOpDecl("parseI", [SimpleSort("String")], SimpleSort("Int")) | |
| , NativeOpDecl( | |
| "addI" | |
| , [SimpleSort("Int"), SimpleSort("Int")] | |
| , SimpleSort("Int") | |
| ) | |
| , NativeOpDecl( | |
| "subI" | |
| , [SimpleSort("Int"), SimpleSort("Int")] | |
| , SimpleSort("Int") | |
| ) | |
| , NativeOpDecl( | |
| "mulI" | |
| , [SimpleSort("Int"), SimpleSort("Int")] | |
| , SimpleSort("Int") | |
| ) | |
| ] | |
| ) | |
| ] | |
| ) | |
| , Signatures( | |
| [ ArrowDeclarations( | |
| [ ArrowDecl( | |
| ArrowROs([]) | |
| , SimpleSort("Prog") | |
| , ArrowRWs([]) | |
| , "init" | |
| , SimpleSort("V") | |
| , ArrowRWs([]) | |
| ) | |
| ] | |
| ) | |
| ] | |
| ) | |
| , Rules( | |
| [ Rule( | |
| [ Formula( | |
| Relation( | |
| Reads([LabelComp(SimpleSort("Env"), Map([]))]) | |
| , Source( | |
| VarRef("e0") | |
| , [LabelComp(SimpleSort("Heap"), Map([]))] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(Var("v0"), [LabelComp(SimpleSort("Heap"), Wld())]) | |
| ) | |
| ) | |
| ] | |
| , "---" | |
| , Relation( | |
| Reads([]) | |
| , Source(Con("Program", [Var("e0")]), []) | |
| , NamedDynamicEmitted([], "init") | |
| , Target(VarRef("v0"), []) | |
| ) | |
| ) | |
| ] | |
| ) | |
| , Rules( | |
| [ Rule( | |
| [] | |
| , "---------" | |
| , Relation( | |
| Reads([]) | |
| , Source(Con("Lit", [Var("s0")]), []) | |
| , NamedDynamicEmitted([], "default") | |
| , Target( | |
| Con("NumV", [Con("parseI", [VarRef("s0")])]) | |
| , [] | |
| ) | |
| ) | |
| ) | |
| , Rule( | |
| [] | |
| , "---------" | |
| , Relation( | |
| Reads([]) | |
| , Source( | |
| Con( | |
| "Plus" | |
| , [ Con("NumV", [Var("i10")]) | |
| , Con("NumV", [Var("i20")]) | |
| ] | |
| ) | |
| , [] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target( | |
| Con( | |
| "NumV" | |
| , [Con("addI", [VarRef("i10"), VarRef("i20")])] | |
| ) | |
| , [] | |
| ) | |
| ) | |
| ) | |
| , Rule( | |
| [] | |
| , "---------" | |
| , Relation( | |
| Reads([]) | |
| , Source( | |
| Con( | |
| "Minus" | |
| , [ Con("NumV", [Var("i11")]) | |
| , Con("NumV", [Var("i21")]) | |
| ] | |
| ) | |
| , [] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target( | |
| Con( | |
| "NumV" | |
| , [Con("subI", [VarRef("i11"), VarRef("i21")])] | |
| ) | |
| , [] | |
| ) | |
| ) | |
| ) | |
| , Rule( | |
| [] | |
| , "---------" | |
| , Relation( | |
| Reads([]) | |
| , Source( | |
| Con( | |
| "Times" | |
| , [ Con("NumV", [Var("i12")]) | |
| , Con("NumV", [Var("i22")]) | |
| ] | |
| ) | |
| , [] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target( | |
| Con( | |
| "NumV" | |
| , [Con("mulI", [VarRef("i12"), VarRef("i22")])] | |
| ) | |
| , [] | |
| ) | |
| ) | |
| ) | |
| ] | |
| ) | |
| , Rules( | |
| [ Rule( | |
| [ Formula( | |
| Relation( | |
| Reads( | |
| [ LabelComp( | |
| SimpleSort("Env") | |
| , Con("bindVar", [VarRef("x0"), VarRef("v10")]) | |
| ) | |
| ] | |
| ) | |
| , Source(VarRef("e20"), []) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(Var("v20"), []) | |
| ) | |
| ) | |
| ] | |
| , "---" | |
| , Relation( | |
| Reads([]) | |
| , Source( | |
| Con( | |
| "Let" | |
| , [Var("x0"), Var("v10"), Var("e20")] | |
| ) | |
| , [] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(VarRef("v20"), []) | |
| ) | |
| ) | |
| , Rule( | |
| [] | |
| , "---------" | |
| , Relation( | |
| Reads([]) | |
| , Source(Con("Var", [Var("x1")]), []) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(Con("readVar", [VarRef("x1")]), []) | |
| ) | |
| ) | |
| ] | |
| ) | |
| , Signatures( | |
| [ Constructors( | |
| [ConsDecl( | |
| "BoxV" | |
| , [SimpleSort("Int")] | |
| , SimpleSort("V") | |
| , Annos([]) | |
| )] | |
| ) | |
| ] | |
| ) | |
| , Rules( | |
| [ Rule( | |
| [] | |
| , "---------" | |
| , Relation( | |
| Reads([]) | |
| , Source(Con("Box", [Var("v3")]), []) | |
| , NamedDynamicEmitted([], "default") | |
| , Target( | |
| Con("BoxV", [Con("allocate", [VarRef("v3")])]) | |
| , [] | |
| ) | |
| ) | |
| ) | |
| , Rule( | |
| [] | |
| , "---------" | |
| , Relation( | |
| Reads([]) | |
| , Source( | |
| Con("Unbox", [Con("BoxV", [Var("addr0")])]) | |
| , [] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(Con("read", [VarRef("addr0")]), []) | |
| ) | |
| ) | |
| , Rule( | |
| [] | |
| , "---------" | |
| , Relation( | |
| Reads([]) | |
| , Source( | |
| Con( | |
| "Setbox" | |
| , [Con("BoxV", [Var("addr1")]), Var("v4")] | |
| ) | |
| , [] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target( | |
| Con("write", [VarRef("addr1"), VarRef("v4")]) | |
| , [] | |
| ) | |
| ) | |
| ) | |
| ] | |
| ) | |
| , Signatures( | |
| [ Constructors( | |
| [ ConsDecl( | |
| "ClosV" | |
| , [SimpleSort("String"), SimpleSort("Exp"), SimpleSort("Env")] | |
| , SimpleSort("V") | |
| , Annos([]) | |
| ) | |
| ] | |
| ) | |
| ] | |
| ) | |
| , Rules( | |
| [ Rule( | |
| [] | |
| , "---------" | |
| , Relation( | |
| Reads([VarLabelComp(Var("E0"))]) | |
| , Source( | |
| Con("Fun", [Var("x2"), Var("e3")]) | |
| , [] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target( | |
| Con( | |
| "ClosV" | |
| , [VarRef("x2"), VarRef("e3"), VarRef("E0")] | |
| ) | |
| , [] | |
| ) | |
| ) | |
| ) | |
| , Rule( | |
| [ Formula( | |
| Relation( | |
| Reads([VarLabelComp(VarRef("E1"))]) | |
| , Source( | |
| Con("bindVar", [VarRef("x3"), VarRef("v11")]) | |
| , [] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(Var("E'0"), []) | |
| ) | |
| ) | |
| , Formula( | |
| Relation( | |
| Reads([VarLabelComp(VarRef("E'0"))]) | |
| , Source(VarRef("e4"), []) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(Var("v21"), []) | |
| ) | |
| ) | |
| ] | |
| , "---" | |
| , Relation( | |
| Reads([]) | |
| , Source( | |
| Con( | |
| "App" | |
| , [ Con( | |
| "ClosV" | |
| , [Var("x3"), Var("e4"), Var("E1")] | |
| ) | |
| , Var("v11") | |
| ] | |
| ) | |
| , [] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(VarRef("v21"), []) | |
| ) | |
| ) | |
| ] | |
| ) | |
| , Rules( | |
| [ Rule( | |
| [ CaseMatch( | |
| VarRef("ci0") | |
| , [ CasePattern( | |
| Int("0") | |
| , [ Formula( | |
| Relation( | |
| Reads([]) | |
| , Source(VarRef("e10"), []) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(Var("v5"), []) | |
| ) | |
| ) | |
| ] | |
| ) | |
| , CaseOtherwise( | |
| [ Formula( | |
| Relation( | |
| Reads([]) | |
| , Source(VarRef("e21"), []) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(Var("v5"), []) | |
| ) | |
| ) | |
| ] | |
| ) | |
| ] | |
| ) | |
| ] | |
| , "---" | |
| , Relation( | |
| Reads([]) | |
| , Source( | |
| Con( | |
| "Ifz" | |
| , [Con("NumV", [Var("ci0")]), Var("e10"), Var("e21")] | |
| ) | |
| , [] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(VarRef("v5"), []) | |
| ) | |
| ) | |
| ] | |
| ) | |
| ] | |
| ) | |
| , [] | |
| , Module( | |
| "trans/simpl" | |
| , [ Imports([Import("src-gen/ds-signatures/simpl-sig"), Import("trans/runtime/runtime")]) | |
| , Signatures( | |
| [ Constructors( | |
| [ConsDecl( | |
| "NumV" | |
| , [SimpleSort("Int")] | |
| , SimpleSort("V") | |
| , Annos([]) | |
| )] | |
| ) | |
| , ArrowDeclarations( | |
| [ ArrowDecl( | |
| ArrowROs([]) | |
| , SimpleSort("Exp") | |
| , ArrowRWs([]) | |
| , "default" | |
| , SimpleSort("V") | |
| , ArrowRWs([]) | |
| ) | |
| ] | |
| ) | |
| , NativeOperators( | |
| [ NativeOpDecl("parseI", [SimpleSort("String")], SimpleSort("Int")) | |
| , NativeOpDecl( | |
| "addI" | |
| , [SimpleSort("Int"), SimpleSort("Int")] | |
| , SimpleSort("Int") | |
| ) | |
| , NativeOpDecl( | |
| "subI" | |
| , [SimpleSort("Int"), SimpleSort("Int")] | |
| , SimpleSort("Int") | |
| ) | |
| , NativeOpDecl( | |
| "mulI" | |
| , [SimpleSort("Int"), SimpleSort("Int")] | |
| , SimpleSort("Int") | |
| ) | |
| ] | |
| ) | |
| ] | |
| ) | |
| , Signatures( | |
| [ ArrowDeclarations( | |
| [ ArrowDecl( | |
| ArrowROs([]) | |
| , SimpleSort("Prog") | |
| , ArrowRWs([]) | |
| , "init" | |
| , SimpleSort("V") | |
| , ArrowRWs([]) | |
| ) | |
| ] | |
| ) | |
| ] | |
| ) | |
| , Rules( | |
| [ Rule( | |
| [ Formula( | |
| Relation( | |
| Reads([LabelComp(SimpleSort("Env"), Map([]))]) | |
| , Source( | |
| VarRef("e0") | |
| , [LabelComp(SimpleSort("Heap"), Map([]))] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(Var("v0"), [LabelComp(SimpleSort("Heap"), Wld())]) | |
| ) | |
| ) | |
| ] | |
| , "---" | |
| , Relation( | |
| Reads([]) | |
| , Source(Con("Program", [Var("e0")]), []) | |
| , NamedDynamicEmitted([], "init") | |
| , Target(VarRef("v0"), []) | |
| ) | |
| ) | |
| ] | |
| ) | |
| , Rules( | |
| [ Rule( | |
| [] | |
| , "---------" | |
| , Relation( | |
| Reads([]) | |
| , Source(Con("Lit", [Var("s0")]), []) | |
| , NamedDynamicEmitted([], "default") | |
| , Target( | |
| Con("NumV", [Con("parseI", [VarRef("s0")])]) | |
| , [] | |
| ) | |
| ) | |
| ) | |
| , Rule( | |
| [] | |
| , "---------" | |
| , Relation( | |
| Reads([]) | |
| , Source( | |
| Con( | |
| "Plus" | |
| , [ Con("NumV", [Var("i10")]) | |
| , Con("NumV", [Var("i20")]) | |
| ] | |
| ) | |
| , [] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target( | |
| Con( | |
| "NumV" | |
| , [Con("addI", [VarRef("i10"), VarRef("i20")])] | |
| ) | |
| , [] | |
| ) | |
| ) | |
| ) | |
| , Rule( | |
| [] | |
| , "---------" | |
| , Relation( | |
| Reads([]) | |
| , Source( | |
| Con( | |
| "Minus" | |
| , [ Con("NumV", [Var("i11")]) | |
| , Con("NumV", [Var("i21")]) | |
| ] | |
| ) | |
| , [] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target( | |
| Con( | |
| "NumV" | |
| , [Con("subI", [VarRef("i11"), VarRef("i21")])] | |
| ) | |
| , [] | |
| ) | |
| ) | |
| ) | |
| , Rule( | |
| [] | |
| , "---------" | |
| , Relation( | |
| Reads([]) | |
| , Source( | |
| Con( | |
| "Times" | |
| , [ Con("NumV", [Var("i12")]) | |
| , Con("NumV", [Var("i22")]) | |
| ] | |
| ) | |
| , [] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target( | |
| Con( | |
| "NumV" | |
| , [Con("mulI", [VarRef("i12"), VarRef("i22")])] | |
| ) | |
| , [] | |
| ) | |
| ) | |
| ) | |
| ] | |
| ) | |
| , Rules( | |
| [ Rule( | |
| [ Formula( | |
| Relation( | |
| Reads( | |
| [ LabelComp( | |
| SimpleSort("Env") | |
| , Con("bindVar", [VarRef("x0"), VarRef("v10")]) | |
| ) | |
| ] | |
| ) | |
| , Source(VarRef("e20"), []) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(Var("v20"), []) | |
| ) | |
| ) | |
| ] | |
| , "---" | |
| , Relation( | |
| Reads([]) | |
| , Source( | |
| Con( | |
| "Let" | |
| , [Var("x0"), Var("v10"), Var("e20")] | |
| ) | |
| , [] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(VarRef("v20"), []) | |
| ) | |
| ) | |
| , Rule( | |
| [] | |
| , "---------" | |
| , Relation( | |
| Reads([]) | |
| , Source(Con("Var", [Var("x1")]), []) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(Con("readVar", [VarRef("x1")]), []) | |
| ) | |
| ) | |
| ] | |
| ) | |
| , Signatures( | |
| [ Constructors( | |
| [ConsDecl( | |
| "BoxV" | |
| , [SimpleSort("Int")] | |
| , SimpleSort("V") | |
| , Annos([]) | |
| )] | |
| ) | |
| ] | |
| ) | |
| , Rules( | |
| [ Rule( | |
| [] | |
| , "---------" | |
| , Relation( | |
| Reads([]) | |
| , Source(Con("Box", [Var("v3")]), []) | |
| , NamedDynamicEmitted([], "default") | |
| , Target( | |
| Con("BoxV", [Con("allocate", [VarRef("v3")])]) | |
| , [] | |
| ) | |
| ) | |
| ) | |
| , Rule( | |
| [] | |
| , "---------" | |
| , Relation( | |
| Reads([]) | |
| , Source( | |
| Con("Unbox", [Con("BoxV", [Var("addr0")])]) | |
| , [] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(Con("read", [VarRef("addr0")]), []) | |
| ) | |
| ) | |
| , Rule( | |
| [] | |
| , "---------" | |
| , Relation( | |
| Reads([]) | |
| , Source( | |
| Con( | |
| "Setbox" | |
| , [Con("BoxV", [Var("addr1")]), Var("v4")] | |
| ) | |
| , [] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target( | |
| Con("write", [VarRef("addr1"), VarRef("v4")]) | |
| , [] | |
| ) | |
| ) | |
| ) | |
| ] | |
| ) | |
| , Signatures( | |
| [ Constructors( | |
| [ ConsDecl( | |
| "ClosV" | |
| , [SimpleSort("String"), SimpleSort("Exp"), SimpleSort("Env")] | |
| , SimpleSort("V") | |
| , Annos([]) | |
| ) | |
| ] | |
| ) | |
| ] | |
| ) | |
| , Rules( | |
| [ Rule( | |
| [] | |
| , "---------" | |
| , Relation( | |
| Reads([VarLabelComp(Var("E0"))]) | |
| , Source( | |
| Con("Fun", [Var("x2"), Var("e3")]) | |
| , [] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target( | |
| Con( | |
| "ClosV" | |
| , [VarRef("x2"), VarRef("e3"), VarRef("E0")] | |
| ) | |
| , [] | |
| ) | |
| ) | |
| ) | |
| , Rule( | |
| [ Formula( | |
| Relation( | |
| Reads([VarLabelComp(VarRef("E1"))]) | |
| , Source( | |
| Con("bindVar", [VarRef("x3"), VarRef("v11")]) | |
| , [] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(Var("E'0"), []) | |
| ) | |
| ) | |
| , Formula( | |
| Relation( | |
| Reads([VarLabelComp(VarRef("E'0"))]) | |
| , Source(VarRef("e4"), []) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(Var("v21"), []) | |
| ) | |
| ) | |
| ] | |
| , "---" | |
| , Relation( | |
| Reads([]) | |
| , Source( | |
| Con( | |
| "App" | |
| , [ Con( | |
| "ClosV" | |
| , [Var("x3"), Var("e4"), Var("E1")] | |
| ) | |
| , Var("v11") | |
| ] | |
| ) | |
| , [] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(VarRef("v21"), []) | |
| ) | |
| ) | |
| ] | |
| ) | |
| , Rules( | |
| [ Rule( | |
| [ CaseMatch( | |
| VarRef("ci0") | |
| , [ CasePattern( | |
| Int("0") | |
| , [ Formula( | |
| Relation( | |
| Reads([]) | |
| , Source(VarRef("e10"), []) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(Var("v5"), []) | |
| ) | |
| ) | |
| ] | |
| ) | |
| , CaseOtherwise( | |
| [ Formula( | |
| Relation( | |
| Reads([]) | |
| , Source(VarRef("e21"), []) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(Var("v5"), []) | |
| ) | |
| ) | |
| ] | |
| ) | |
| ] | |
| ) | |
| ] | |
| , "---" | |
| , Relation( | |
| Reads([]) | |
| , Source( | |
| Con( | |
| "Ifz" | |
| , [Con("NumV", [Var("ci0")]), Var("e10"), Var("e21")] | |
| ) | |
| , [] | |
| ) | |
| , NamedDynamicEmitted([], "default") | |
| , Target(VarRef("v5"), []) | |
| ) | |
| ) | |
| ] | |
| ) | |
| ] | |
| ) | |
| , "trans/simpl.ds" | |
| , "eclipse:///simpl" | |
| ) | |
| Stratego trace: | |
| ds_to_interp_editor_0_0 | |
| ds_to_interp_editor_0_0 | |
| report_with_failure_0_1 | |
| report_failure_0_2 | |
| SRTS_EXT_fatal_err_0_2 | |
| at org.metaborg.spoofax.core.transform.StrategoTransformer.transform(StrategoTransformer.java:139) ~[org.metaborg.spoofax.core_2.0.0.20160527-105224-master.jar:na] | |
| at org.metaborg.spoofax.core.transform.StrategoTransformer.transform(StrategoTransformer.java:75) ~[org.metaborg.spoofax.core_2.0.0.20160527-105224-master.jar:na] | |
| at org.metaborg.spoofax.core.transform.StrategoTransformer.transform(StrategoTransformer.java:1) ~[org.metaborg.spoofax.core_2.0.0.20160527-105224-master.jar:na] | |
| at org.metaborg.core.transform.TransformService.transform(TransformService.java:90) ~[org.metaborg.core_2.0.0.20160527-105224-master.jar:na] | |
| at org.metaborg.core.transform.TransformService.transform(TransformService.java:78) ~[org.metaborg.core_2.0.0.20160527-105224-master.jar:na] | |
| at org.metaborg.spoofax.eclipse.transform.TransformJob.transform(TransformJob.java:132) [org.metaborg.spoofax.eclipse_2.0.0.20160527-105224-master.jar:na] | |
| at org.metaborg.spoofax.eclipse.transform.TransformJob.transformAll(TransformJob.java:108) [org.metaborg.spoofax.eclipse_2.0.0.20160527-105224-master.jar:na] | |
| at org.metaborg.spoofax.eclipse.transform.TransformJob.run(TransformJob.java:70) [org.metaborg.spoofax.eclipse_2.0.0.20160527-105224-master.jar:na] | |
| at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55) [org.eclipse.core.jobs_3.7.0.v20150330-2103.jar:na] | |
| Caused by: org.spoofax.interpreter.core.InterpreterErrorExit: Internal error: with clause failed unexpectedly in 'ds-to-interp-editor' | |
| (Module("trans/simpl",[Imports([Import("src-gen/ds-signatures/simpl-sig"),Import("trans/runtime/runtime")]),Signatures([Constructors([ConsDecl("NumV",[SimpleSort("Int")],SimpleSort("V"),Annos([]))]),ArrowDeclarations([ArrowDecl(ArrowROs([]),SimpleSort("Exp"),ArrowRWs([]),"default",SimpleSort("V"),ArrowRWs([]))]),NativeOperators([NativeOpDecl("parseI",[SimpleSort("String")],SimpleSort("Int")),NativeOpDecl("addI",[SimpleSort("Int"),SimpleSort("Int")],SimpleSort("Int")),NativeOpDecl("subI",[SimpleSort("Int"),SimpleSort("Int")],SimpleSort("Int")),NativeOpDecl("mulI",[SimpleSort("Int"),SimpleSort("Int")],SimpleSort("Int"))])]),Signatures([ArrowDeclarations([ArrowDecl(ArrowROs([]),SimpleSort("Prog"),ArrowRWs([]),"init",SimpleSort("V"),ArrowRWs([]))])]),Rules([Rule([Formula(Relation(Reads([LabelComp(SimpleSort("Env"),Map([]))]),Source(VarRef("e0"),[LabelComp(SimpleSort("Heap"),Map([]))]),NamedDynamicEmitted([],"default"),Target(Var("v0"),[LabelComp(SimpleSort("Heap"),Wld)])))],"---",Relation(Reads([]),Source(Con("Program",[Var("e0")]),[]),NamedDynamicEmitted([],"init"),Target(VarRef("v0"),[])))]),Rules([Rule([],"---------",Relation(Reads([]),Source(Con("Lit",[Var("s0")]),[]),NamedDynamicEmitted([],"default"),Target(Con("NumV",[Con("parseI",[VarRef("s0")])]),[]))),Rule([],"---------",Relation(Reads([]),Source(Con("Plus",[Con("NumV",[Var("i10")]),Con("NumV",[Var("i20")])]),[]),NamedDynamicEmitted([],"default"),Target(Con("NumV",[Con("addI",[VarRef("i10"),VarRef("i20")])]),[]))),Rule([],"---------",Relation(Reads([]),Source(Con("Minus",[Con("NumV",[Var("i11")]),Con("NumV",[Var("i21")])]),[]),NamedDynamicEmitted([],"default"),Target(Con("NumV",[Con("subI",[VarRef("i11"),VarRef("i21")])]),[]))),Rule([],"---------",Relation(Reads([]),Source(Con("Times",[Con("NumV",[Var("i12")]),Con("NumV",[Var("i22")])]),[]),NamedDynamicEmitted([],"default"),Target(Con("NumV",[Con("mulI",[VarRef("i12"),VarRef("i22")])]),[])))]),Rules([Rule([Formula(Relation(Reads([LabelComp(SimpleSort("Env"),Con("bindVar",[VarRef("x0"),VarRef("v10")]))]),Source(VarRef("e20"),[]),NamedDynamicEmitted([],"default"),Target(Var("v20"),[])))],"---",Relation(Reads([]),Source(Con("Let",[Var("x0"),Var("v10"),Var("e20")]),[]),NamedDynamicEmitted([],"default"),Target(VarRef("v20"),[]))),Rule([],"---------",Relation(Reads([]),Source(Con("Var",[Var("x1")]),[]),NamedDynamicEmitted([],"default"),Target(Con("readVar",[VarRef("x1")]),[])))]),Signatures([Constructors([ConsDecl("BoxV",[SimpleSort("Int")],SimpleSort("V"),Annos([]))])]),Rules([Rule([],"---------",Relation(Reads([]),Source(Con("Box",[Var("v3")]),[]),NamedDynamicEmitted([],"default"),Target(Con("BoxV",[Con("allocate",[VarRef("v3")])]),[]))),Rule([],"---------",Relation(Reads([]),Source(Con("Unbox",[Con("BoxV",[Var("addr0")])]),[]),NamedDynamicEmitted([],"default"),Target(Con("read",[VarRef("addr0")]),[]))),Rule([],"---------",Relation(Reads([]),Source(Con("Setbox",[Con("BoxV",[Var("addr1")]),Var("v4")]),[]),NamedDynamicEmitted([],"default"),Target(Con("write",[VarRef("addr1"),VarRef("v4")]),[])))]),Signatures([Constructors([ConsDecl("ClosV",[SimpleSort("String"),SimpleSort("Exp"),SimpleSort("Env")],SimpleSort("V"),Annos([]))])]),Rules([Rule([],"---------",Relation(Reads([VarLabelComp(Var("E0"))]),Source(Con("Fun",[Var("x2"),Var("e3")]),[]),NamedDynamicEmitted([],"default"),Target(Con("ClosV",[VarRef("x2"),VarRef("e3"),VarRef("E0")]),[]))),Rule([Formula(Relation(Reads([VarLabelComp(VarRef("E1"))]),Source(Con("bindVar",[VarRef("x3"),VarRef("v11")]),[]),NamedDynamicEmitted([],"default"),Target(Var("E'0"),[]))),Formula(Relation(Reads([VarLabelComp(VarRef("E'0"))]),Source(VarRef("e4"),[]),NamedDynamicEmitted([],"default"),Target(Var("v21"),[])))],"---",Relation(Reads([]),Source(Con("App",[Con("ClosV",[Var("x3"),Var("e4"),Var("E1")]),Var("v11")]),[]),NamedDynamicEmitted([],"default"),Target(VarRef("v21"),[])))]),Rules([Rule([CaseMatch(VarRef("ci0"),[CasePattern(Int("0"),[Formula(Relation(Reads([]),Source(VarRef("e10"),[]),NamedDynamicEmitted([],"default"),Target(Var("v5"),[])))]),CaseOtherwise([Formula(Relation(Reads([]),Source(VarRef("e21"),[]),NamedDynamicEmitted([],"default"),Target(Var("v5"),[])))])])],"---",Relation(Reads([]),Source(Con("Ifz",[Con("NumV",[Var("ci0")]),Var("e10"),Var("e21")]),[]),NamedDynamicEmitted([],"default"),Target(VarRef("v5"),[])))])]),[],Module("trans/simpl",[Imports([Import("src-gen/ds-signatures/simpl-sig"),Import("trans/runtime/runtime")]),Signatures([Constructors([ConsDecl("NumV",[SimpleSort("Int")],SimpleSort("V"),Annos([]))]),ArrowDeclarations([ArrowDecl(ArrowROs([]),SimpleSort("Exp"),ArrowRWs([]),"default",SimpleSort("V"),ArrowRWs([]))]),NativeOperators([NativeOpDecl("parseI",[SimpleSort("String")],SimpleSort("Int")),NativeOpDecl("addI",[SimpleSort("Int"),SimpleSort("Int")],SimpleSort("Int")),NativeOpDecl("subI",[SimpleSort("Int"),SimpleSort("Int")],SimpleSort("Int")),NativeOpDecl("mulI",[SimpleSort("Int"),SimpleSort("Int")],SimpleSort("Int"))])]),Signatures([ArrowDeclarations([ArrowDecl(ArrowROs([]),SimpleSort("Prog"),ArrowRWs([]),"init",SimpleSort("V"),ArrowRWs([]))])]),Rules([Rule([Formula(Relation(Reads([LabelComp(SimpleSort("Env"),Map([]))]),Source(VarRef("e0"),[LabelComp(SimpleSort("Heap"),Map([]))]),NamedDynamicEmitted([],"default"),Target(Var("v0"),[LabelComp(SimpleSort("Heap"),Wld)])))],"---",Relation(Reads([]),Source(Con("Program",[Var("e0")]),[]),NamedDynamicEmitted([],"init"),Target(VarRef("v0"),[])))]),Rules([Rule([],"---------",Relation(Reads([]),Source(Con("Lit",[Var("s0")]),[]),NamedDynamicEmitted([],"default"),Target(Con("NumV",[Con("parseI",[VarRef("s0")])]),[]))),Rule([],"---------",Relation(Reads([]),Source(Con("Plus",[Con("NumV",[Var("i10")]),Con("NumV",[Var("i20")])]),[]),NamedDynamicEmitted([],"default"),Target(Con("NumV",[Con("addI",[VarRef("i10"),VarRef("i20")])]),[]))),Rule([],"---------",Relation(Reads([]),Source(Con("Minus",[Con("NumV",[Var("i11")]),Con("NumV",[Var("i21")])]),[]),NamedDynamicEmitted([],"default"),Target(Con("NumV",[Con("subI",[VarRef("i11"),VarRef("i21")])]),[]))),Rule([],"---------",Relation(Reads([]),Source(Con("Times",[Con("NumV",[Var("i12")]),Con("NumV",[Var("i22")])]),[]),NamedDynamicEmitted([],"default"),Target(Con("NumV",[Con("mulI",[VarRef("i12"),VarRef("i22")])]),[])))]),Rules([Rule([Formula(Relation(Reads([LabelComp(SimpleSort("Env"),Con("bindVar",[VarRef("x0"),VarRef("v10")]))]),Source(VarRef("e20"),[]),NamedDynamicEmitted([],"default"),Target(Var("v20"),[])))],"---",Relation(Reads([]),Source(Con("Let",[Var("x0"),Var("v10"),Var("e20")]),[]),NamedDynamicEmitted([],"default"),Target(VarRef("v20"),[]))),Rule([],"---------",Relation(Reads([]),Source(Con("Var",[Var("x1")]),[]),NamedDynamicEmitted([],"default"),Target(Con("readVar",[VarRef("x1")]),[])))]),Signatures([Constructors([ConsDecl("BoxV",[SimpleSort("Int")],SimpleSort("V"),Annos([]))])]),Rules([Rule([],"---------",Relation(Reads([]),Source(Con("Box",[Var("v3")]),[]),NamedDynamicEmitted([],"default"),Target(Con("BoxV",[Con("allocate",[VarRef("v3")])]),[]))),Rule([],"---------",Relation(Reads([]),Source(Con("Unbox",[Con("BoxV",[Var("addr0")])]),[]),NamedDynamicEmitted([],"default"),Target(Con("read",[VarRef("addr0")]),[]))),Rule([],"---------",Relation(Reads([]),Source(Con("Setbox",[Con("BoxV",[Var("addr1")]),Var("v4")]),[]),NamedDynamicEmitted([],"default"),Target(Con("write",[VarRef("addr1"),VarRef("v4")]),[])))]),Signatures([Constructors([ConsDecl("ClosV",[SimpleSort("String"),SimpleSort("Exp"),SimpleSort("Env")],SimpleSort("V"),Annos([]))])]),Rules([Rule([],"---------",Relation(Reads([VarLabelComp(Var("E0"))]),Source(Con("Fun",[Var("x2"),Var("e3")]),[]),NamedDynamicEmitted([],"default"),Target(Con("ClosV",[VarRef("x2"),VarRef("e3"),VarRef("E0")]),[]))),Rule([Formula(Relation(Reads([VarLabelComp(VarRef("E1"))]),Source(Con("bindVar",[VarRef("x3"),VarRef("v11")]),[]),NamedDynamicEmitted([],"default"),Target(Var("E'0"),[]))),Formula(Relation(Reads([VarLabelComp(VarRef("E'0"))]),Source(VarRef("e4"),[]),NamedDynamicEmitted([],"default"),Target(Var("v21"),[])))],"---",Relation(Reads([]),Source(Con("App",[Con("ClosV",[Var("x3"),Var("e4"),Var("E1")]),Var("v11")]),[]),NamedDynamicEmitted([],"default"),Target(VarRef("v21"),[])))]),Rules([Rule([CaseMatch(VarRef("ci0"),[CasePattern(Int("0"),[Formula(Relation(Reads([]),Source(VarRef("e10"),[]),NamedDynamicEmitted([],"default"),Target(Var("v5"),[])))]),CaseOtherwise([Formula(Relation(Reads([]),Source(VarRef("e21"),[]),NamedDynamicEmitted([],"default"),Target(Var("v5"),[])))])])],"---",Relation(Reads([]),Source(Con("Ifz",[Con("NumV",[Var("ci0")]),Var("e10"),Var("e21")]),[]),NamedDynamicEmitted([],"default"),Target(VarRef("v5"),[])))])]),"trans/simpl.ds","eclipse:///simpl") | |
| at org.strategoxt.lang.InteropSDefT.evaluate(InteropSDefT.java:194) ~[org.strategoxt.strj_2.0.0.20160527-105224-master/:na] | |
| at org.strategoxt.lang.InteropSDefT.evaluate(InteropSDefT.java:183) ~[org.strategoxt.strj_2.0.0.20160527-105224-master/:na] | |
| at org.strategoxt.lang.InteropSDefT$StrategyBody.evaluate(InteropSDefT.java:245) ~[org.strategoxt.strj_2.0.0.20160527-105224-master/:na] | |
| at org.spoofax.interpreter.core.Interpreter.evaluate(Interpreter.java:109) ~[org.spoofax.interpreter.core_2.0.0.20160527-105224-master.jar:na] | |
| at org.spoofax.interpreter.core.Interpreter.invoke(Interpreter.java:82) ~[org.spoofax.interpreter.core_2.0.0.20160527-105224-master.jar:na] | |
| at org.strategoxt.HybridInterpreter.invoke(HybridInterpreter.java:442) ~[org.strategoxt.strj_2.0.0.20160527-105224-master/:na] | |
| at org.metaborg.spoofax.core.stratego.StrategoCommon.invoke(StrategoCommon.java:78) ~[org.metaborg.spoofax.core_2.0.0.20160527-105224-master.jar:na] | |
| at org.metaborg.spoofax.core.transform.StrategoTransformer.transform(StrategoTransformer.java:137) ~[org.metaborg.spoofax.core_2.0.0.20160527-105224-master.jar:na] | |
| ... 8 common frames omitted | |
| Caused by: org.strategoxt.lang.StrategoErrorExit: Internal error: with clause failed unexpectedly in 'ds-to-interp-editor' | |
| at org.strategoxt.lang.SRTS_EXT_fatal_err_0_3.invoke(SRTS_EXT_fatal_err_0_3.java:28) ~[org.strategoxt.strj_2.0.0.20160527-105224-master/:na] | |
| at org.strategoxt.lang.compat.override.java_integration.SRTS_EXT_fatal_err_0_2.invoke(SRTS_EXT_fatal_err_0_2.java:33) ~[strategoxt-min-jar-2.0.0-SNAPSHOT.jar:na] | |
| at org.strategoxt.lang.compat.override.java_integration.report_failure_0_2_override.invoke(report_failure_0_2_override.java:27) ~[strategoxt-min-jar-2.0.0-SNAPSHOT.jar:na] | |
| at org.strategoxt.stratego_lib.report_with_failure_0_1.invoke(report_with_failure_0_1.java:32) ~[strategoxt-min-jar-2.0.0-SNAPSHOT.jar:na] | |
| at dynsem.trans.ds_to_interp_editor_0_0.invoke(ds_to_interp_editor_0_0.java:106) ~[dynsem.lib.stratego.jar-2.0.0-SNAPSHOT.jar:na] | |
| at org.strategoxt.lang.Strategy.invokeDynamic(Strategy.java:30) ~[org.strategoxt.strj_2.0.0.20160527-105224-master/:na] | |
| at org.strategoxt.lang.InteropSDefT.evaluate(InteropSDefT.java:192) ~[org.strategoxt.strj_2.0.0.20160527-105224-master/:na] | |
| ... 15 common frames omitted |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment