Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- /home/Jon/.opam/4.09.0/bin/bap --run --primus-lisp-add=... --primus-lisp-load=...,posix,symbolic-stdio --primus-print-obs=call,call-return,exception,segfault,assert-failure,pc-changed,lisp-message,lis
- p-type-error,system-stop .../bsdtar --run-entry-points=archive_read_format_lha_bid --api-path=... --run-system=bap:symbolic-executor --log-dir=... --primus-print-output=...
- Type error: expected i32 got i8. Details follow, the expression:
- File "/home/Jon/.opam/4.09.0/share/primus/site-lisp/string.lisp", line 148, characters 25-41:
- | (let ((res 0) (i 0))
- | (while (and (< i n) (not res))
- | (set res (compare
- > (tolower (memory-read p1))
- > ^^^^^^^^^^^^^^^^
- | (tolower (memory-read p2))))
- | (incr p1 p2 i))
- | res))
- has type i32, but it is expected to have type i8 after its unification
- with the expression:
- File "/home/Jon/.opam/4.09.0/share/primus/site-lisp/string.lisp", line 148, characters 25-41:
- | (let ((res 0) (i 0))
- | (while (and (< i n) (not res))
- | (set res (compare
- > (tolower (memory-read p1))
- > ^^^^^^^^^^^^^^^^
- | (tolower (memory-read p2))))
- | (incr p1 p2 i))
- | res))
- Type error: expected i32 got i8. Details follow, the expression:
- File "/home/Jon/.opam/4.09.0/share/primus/site-lisp/string.lisp", line 149, characters 25-41:
- | (while (and (< i n) (not res))
- | (set res (compare
- | (tolower (memory-read p1))
- > (tolower (memory-read p2))))
- > ^^^^^^^^^^^^^^^^
- | (incr p1 p2 i))
- | res))
- |
- has type i32, but it is expected to have type i8 after its unification
- with the expression:
- File "/home/Jon/.opam/4.09.0/share/primus/site-lisp/string.lisp", line 149, characters 25-41:
- | (while (and (< i n) (not res))
- | (set res (compare
- | (tolower (memory-read p1))
- > (tolower (memory-read p2))))
- > ^^^^^^^^^^^^^^^^
- | (incr p1 p2 i))
- | res))
- |
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement