
| Key: |
STR-576
|
| Type: |
Bug
|
| Status: |
Closed
|
| Resolution: |
Fixed
|
| Priority: |
Major
|
| Assignee: |
Unassigned
|
| Reporter: |
SIGOURE Benoit
|
| Votes: |
0
|
| Watchers: |
1
|
|
If you were logged in you would be able to see more operations.
|
|
|
|
Original Estimate:
|
Unknown
|
Remaining Estimate:
|
Unknown
|
Time Spent:
|
Unknown
|
|
File Attachments:
|
1.
bug.str (0.0 kb)
|
|
Environment:
|
STRC 0.17M1 (revision 15266)
Linux warszawa 2.6.16.13-debian-etch-lrde-v6 #1 SMP PREEMPT Wed May 3 15:48:47 CEST 2006 i686 GNU/Linux
gcc (GCC) 4.0.4 20060507 (prerelease) (Debian 4.0.3-3)
STRC 0.17M1 (revision 15266)
Linux warszawa 2.6.16.13-debian-etch-lrde-v6 #1 SMP PREEMPT Wed May 3 15:48:47 CEST 2006 i686 GNU/Linux
gcc (GCC) 4.0.4 20060507 (prerelease) (Debian 4.0.3-3)
|
|
|
$ cat bug.str
module bug
imports lib
strategies
main = ![_]
$ strc -i bug.str
[ strc | info ] Compiling 'bug.str'
[ strc | info ] Front-end succeeded : [user/system] = [16.98s/2.51s]
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.04s/0.04s]
TranslateStrat undefined: Build(Anno(Op("Cons",[Wld,Anno(Op("Nil",[]),Op("Nil",[]))]),Op("Nil",[])))
[ strc | info ] Back-end succeeded : [user/system] = [0.24s/0.07s]
[ strc | error ] Command failed :
gcc bug.o -o bug /nix/store/ygbywraks592fylj0n5ly16ggbgdrcs3-strategoxt/lib/libstratego-lib-native.so -L/nix/store/1m81p5qp9khb0bjscfmwgk8k0w6kq1h8-aterm-2.4.2/lib /nix/store/ygbywraks592fylj0n5ly16ggbgdrcs3-strategoxt/lib/libstratego-runtime.so /nix/store/1m81p5qp9khb0bjscfmwgk8k0w6kq1h8-aterm-2.4.2/lib/libATerm.so -lm -Wl,--rpath -Wl,/nix/store/ygbywraks592fylj0n5ly16ggbgdrcs3-strategoxt/lib -Wl,--rpath -Wl,/nix/store/1m81p5qp9khb0bjscfmwgk8k0w6kq1h8-aterm-2.4.2/lib -Wl,--rpath -Wl,/nix/store/ygbywraks592fylj0n5ly16ggbgdrcs3-strategoxt/lib -Wl,--rpath -Wl,/nix/store/1m81p5qp9khb0bjscfmwgk8k0w6kq1h8-aterm-2.4.2/lib
bug.o: In function `register_strategies':
bug.c:(.text+0x105): undefined reference to `main_0_0'
bug.o: In function `main':
bug.c:(.text+0x1be): undefined reference to `main_0_0'
collect2: ld returned 1 exit status
[ strc | error ] Compilation failed (20.56 secs)
|
|
Description
|
$ cat bug.str
module bug
imports lib
strategies
main = ![_]
$ strc -i bug.str
[ strc | info ] Compiling 'bug.str'
[ strc | info ] Front-end succeeded : [user/system] = [16.98s/2.51s]
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.04s/0.04s]
TranslateStrat undefined: Build(Anno(Op("Cons",[Wld,Anno(Op("Nil",[]),Op("Nil",[]))]),Op("Nil",[])))
[ strc | info ] Back-end succeeded : [user/system] = [0.24s/0.07s]
[ strc | error ] Command failed :
gcc bug.o -o bug /nix/store/ygbywraks592fylj0n5ly16ggbgdrcs3-strategoxt/lib/libstratego-lib-native.so -L/nix/store/1m81p5qp9khb0bjscfmwgk8k0w6kq1h8-aterm-2.4.2/lib /nix/store/ygbywraks592fylj0n5ly16ggbgdrcs3-strategoxt/lib/libstratego-runtime.so /nix/store/1m81p5qp9khb0bjscfmwgk8k0w6kq1h8-aterm-2.4.2/lib/libATerm.so -lm -Wl,--rpath -Wl,/nix/store/ygbywraks592fylj0n5ly16ggbgdrcs3-strategoxt/lib -Wl,--rpath -Wl,/nix/store/1m81p5qp9khb0bjscfmwgk8k0w6kq1h8-aterm-2.4.2/lib -Wl,--rpath -Wl,/nix/store/ygbywraks592fylj0n5ly16ggbgdrcs3-strategoxt/lib -Wl,--rpath -Wl,/nix/store/1m81p5qp9khb0bjscfmwgk8k0w6kq1h8-aterm-2.4.2/lib
bug.o: In function `register_strategies':
bug.c:(.text+0x105): undefined reference to `main_0_0'
bug.o: In function `main':
bug.c:(.text+0x1be): undefined reference to `main_0_0'
collect2: ld returned 1 exit status
[ strc | error ] Compilation failed (20.56 secs) |
Show » |
|
There are no comments yet on this issue.
|
| |
|
|