Stratego/XT JIRA
History
|
Log In
H
OME
B
ROWSE PROJECT
F
IND ISSUES
C
REATE NEW ISSUE
Q
UICK SEARCH:
Learn more about
Quick Search
Issue Details
(
XML
|
Word
)
Key:
STR-510
Type:
Bug
Status:
Closed
Resolution:
Fixed
Priority:
Major
Assignee:
Martin Bravenboer
Reporter:
Martin Bravenboer
Votes:
0
Watchers:
0
Operations
Clone
this issue
Create
sub-task
If you were
logged in
you would be able to see more operations.
Stratego/XT
pp-stratego does not handle dr intersection
Created:
2006-02-14 13:19
Updated:
2008-03-31 20:46
Component/s:
None
Affects Version/s:
0.16 (Stratego Core Compiler)
Fix Version/s:
0.17
Original Estimate:
Unknown
Remaining Estimate:
Unknown
Time Spent:
Unknown
Description
« Hide
module foo
imports libstrategolib
strategies
main =
foo / Fred \ bar
foo =
rules(Fred : 1 -> 2)
; rules(Fred : 2 -> 3)
bar =
rules(Fred : 1 -> 2)
; rules(Fred : 3 -> 3)
martin@logistico
:~> pp-stratego -i ./foo.str
[ Abox-2-text | error ] invalid box:
"Fred"
/pkg/strategoxt/2005-12-12-16-32/bin/abox2text: rewriting failed
pp-stratego: rewriting failed
martin@logistico
:~>
Reported by Bogdan
Description
module foo imports libstrategolib strategies main = foo / Fred \ bar foo = rules(Fred : 1 -> 2) ; rules(Fred : 2 -> 3) bar = rules(Fred : 1 -> 2) ; rules(Fred : 3 -> 3)
martin@logistico
:~> pp-stratego -i ./foo.str [ Abox-2-text | error ] invalid box: "Fred" /pkg/strategoxt/2005-12-12-16-32/bin/abox2text: rewriting failed pp-stratego: rewriting failed
martin@logistico
:~> Reported by Bogdan
Show »
All
Comments
Work Log
Change History
Sort Order:
There are no comments yet on this issue.
Bug
Closed
Major
pp-stratego does not handle dr intersection