ceedubs
wip jit runtime...
I can take a look at this tomorrow. One thing I want to do is make this align more closely with the Homebrew cask to ease future maintenance. That means making the native runtime (and fzf) optional. The optionality should be trivial, but (again, to match Homebrew) the native runtime should default to disabled.
So, I’d like to see this PR have that flag, rather than merge it with it enabled and have a breaking change to change that.
I can make the change for the flag on top of this PR, this is just a note to hopefully prevent merging until I do.
Oh, and I wanted to comment that @ereslibre made a PR to upgrade the nixpkgs derivation similarly. The current PR there clearly doesn’t enable the native runtime at all, so I don’t mind it getting in as-is. But,
- yay that someone beat us to the punch with upgrading that derivation (thanks, @ereslibre!);
- I hope to get that derivation and the one in this repo pretty close to bit-for-bit identical sometime this week; and
- hopefully retire this repo (by moving everything except this derivation to unisonweb/unison) not long after.
👋 @sellout! regarding:
The current PR there clearly doesn’t enable the native runtime at all
I am wrapping the ucm wrapper with —-runtime-path. Is there anything else missing in order to enable the native runtime?
Thanks!
@ereslibre Seems fine to me. Does the native runtime work for you though? e.g. if you create a
foo = do printLine "foo"
and then
myproject/main> run.native foo
? I'm guessing there's some missing dependencies but since there's no output I'm not sure what it would be.
Does the native runtime work for you though?
@aryairani: no, doesn't seem to be working here. I'd have to check, but I won't have the time to dig into that very soon.
sometest/main>
Loading changes detected in ~/test.u.
I found and typechecked these definitions in ~/test.u. If you do an `add` or `update`, here's how
your codebase would change:
⍟ These new definitions are ok to `add`:
foo : '{IO, Exception} ()
sometest/main> add
⍟ I've added these definitions:
foo : '{IO, Exception} ()
sometest/main> run.native foo
I got an error when starting the Unison native runtime using:
/nix/store/a4rjks7sf0l1ijdcy3vawzgi5f3si4pk-unison-code-manager-0.5.20/runtime/bin/unison-runtime --help
The exit code was 1 and the output was:
ffi-obj: could not find export from foreign library
name: EVP_Digest
library: [all opened]
system error: /nix/store/a4rjks7sf0l1ijdcy3vawzgi5f3si4pk-unison-code-manager-0.5.20/runtime/bin/unison-runtime: undefined symbol: EVP_Digest
context...:
.../ffi/unsafe.rkt:255:20
.../ffi/unsafe.rkt:249:2: get-ffi-obj*
body of '#%embedded:unison/crypto:
Ah, I think both derivations are missing a minimal-racket dependency at least – that’s what made me think that @ereslibre’s wasn’t supporting native runtime.
Also, EVP_Digest is openssl, so something along those lines might also be missing.
ffi-obj: could not find export from foreign library name: EVP_Digest library: [all opened] system error: /nix/store/a4rjks7sf0l1ijdcy3vawzgi5f3si4pk-unison-code-manager-0.5.20/runtime/bin/unison-runtime: undefined symbol: EVP_Digest context...: .../ffi/unsafe.rkt:255:20 .../ffi/unsafe.rkt:249:2: get-ffi-obj* body of '#%embedded:unison/crypto:
Nevermind – that error leads me to believe it’s finding Racket. I guess I should actually try out these derivations before I talk more …
With this PR, on aarch64-darwin, I see the no output behavior. But on x86_64-linux, I see @ereslibre’s behavior. Don’t know why Apple wants to keep us in the dark …
So, at least it seems like both PRs are behaving the same.
Ah, I think both derivations are missing a
minimal-racketdependency at least – that’s what made me think that @ereslibre’s wasn’t supporting native runtime.
You need minimal-racket if you're trying to set up compile.native; otherwise you don't need it.
With this PR, on
aarch64-darwin, I see the no output behavior. But on x86_64-linux, I see @ereslibre’s behavior. Don’t know why Apple wants to keep us in the dark …So, at least it seems like both PRs are behaving the same.
On macOS, Racket has bundled some libs for us into the runtime/lib directory; on Linux, Racket doesn't. You'll need to have libssl (1.1?) libcrypto (1.1?), and libb2 available, and then I imagine you'll get the same hang as on macOS, but who knows.
Just updated https://github.com/NixOS/nixpkgs/pull/312922. It seems to work fine now on x86_64-linux. Since racket uses get-lib-search-dirs we can rely on LD_LIBRARY_PATH, so I made the wrapper append these paths and it works as expected now. Not sure if there might be other edge cases that I'm missing though.
sometest/main> run.native foo
foo
()
Nice, thanks @ereslibre!
If you want to do a more comprehensive test, you can:
.> clone @unison/runtime-tests
...
@unison/runtime-tests/main> run.native tests
But I suspect that based on what you have shown so far, it will work.
Let me know if you want some help trying to get compile.native working, but I think it could also wait for a later release.
Hello @aryairani,
It failed, but not sure why exactly, open-input-file seems to have failed. Do I need to run this command from a specific folder or something similar?
native tests
@unison/runtime-tests/main> run.native tests
*** Test suite ***
✅ sin 0
✅ sin pi/2
✅ cos 0
✅ cos pi
✅ cosh pi
✅ sinh pi/2
✅ addf
✅ asin 1.0
✅ asinh 1.0
✅ atan 1.0
✅ atan2 1.0 2.0
✅ atanh 0.5
✅ tan 0.5
✅ tanh 0.5
✅ ceiling 0.1
✅ ceiling 0.9
✅ floor 0.9
✅ floor 1.9
✅ rndf
✅ divf
✅ maxf
✅ minf
✅ mulf
✅ muli
✅ powi
✅ pown
✅ powf
✅ ntof
✅ negi
✅ divi
✅ eqlf
✅ eqlf
✅ leqi
✅ leqn
✅ subi
✅ signum
✅ signum
✅ signum
✅ logf
✅ logb
✅ decn
✅ deci
✅ inci
✅ incn
✅ expf
✅ TZRO +0
✅ TZRO +1
✅ TZRO +16777216
✅ TZRO 2^59
✅ POPC +16777215
✅ POPC +5
✅ POPC -5
✅ POPC -1
✅ POPC -1234567891
✅ POPC -1111111111
*** Test suite ***
✅ Get file size should work
✅ File size of missing file
✅ File timestamp is reasonable
✅ File timestamp of missing file
✅ AbsoluteSeek
✅ RelativeSeek
✅ RelativeSeek
✅ getLine 1
✅ getLine 2
✅ getLine 3
✅ Block
✅ Line
✅ No
✅ echo turned off
✅ echo turned back on
✅ cli args
✅ HOME env variable
✅ get 10 random bytes
✅ get some bytes
✅ get char
✅ get a complicated char
✅ Current directory starts with /
✅ Tmp directory exists and contains prefix-
✅ renameFile
✅ opened handle is open
✅ closed handle is not open
✅ handle with text ready is ready
✅ !now
✅ !Clock.monotonic
✅ !processCPUTime
✅ !threadCPUTime
✅ isSeekable file
✅ handlePosition initial
✅ handlePosition
✅ renameFile
✅ Current directory set & get
Summary of results:
✅✅✅ 36 PASSED
✅ decoding a cert should work
✅ decoding a private key should work
✅ decoding an invalid private key should ignore
✅ decoding an invalid cert should fail
✅ self signed should connect & receive what we sent
✅ self signed chain server received
✅ self signed with the wrong hostname should fail
✅ self signed with an unknown CA should fail
✅ self signed wrong host
✅ wrong host example.com fails
✅ Md5 hashBytes
✅ Sha1 hashBytes
✅ Sha2_256 hashBytes
✅ Sha2_512 hashBytes
✅ Sha3_256 hashBytes
✅ Sha3_512 hashBytes
✅ Blake2s_256 hashBytes
✅ Blake2b_256 hashBytes
✅ Blake2b_512 hashBytes
✅ murmurHash 0
✅ murmurHash 1
✅ murmurHash 2
✅ murmurHash 3
✅ murmurHash 4
✅ murmurHash 5
✅ murmurHash 6
✅ murmurHash 7
✅ murmurHash 8
✅ murmurHash 9
✅ Sha1 hmacBytes
✅ Sha2_256 hmacBytes
✅ Sha2_512 hmacBytes
✅ Sha3_256 hmacBytes
✅ Sha3_512 hmacBytes
✅ Blake2s_256 hmacBytes
✅ Blake2b_256 hmacBytes
✅ Blake2b_512 hmacBytes
✅ Ref read-write
✅ Ref read-write
✅ Ticket contains the Ref value
✅ CAS is successful is there were no conflicting writes
✅ CAS fails when there was an intervening write
✅ Promise should be empty when created
✅ Promise should read a value that's been written
✅ Promise can only be written to once
✅ Once the Promise is full, tryRead is the same as read
✅ Reads awaits for completion of the Promise
✅ Thread was killed
✅ Thread killed, finalisers with typeLink
✅ tryEval is a no-op on success
✅ Thread was killed, with finalisers
✅ The state of the counter is consistent
✅ rejects invalid port
✅ no send after close
✅ no send on listener
✅ Server received data
✅ Client received data
open-input-file: cannot open input file
path: /home/ereslibre/unison-src/transcripts-using-base/serialized-cases/case-04.v4.ser
system error: No such file or directory; errno=2
context...:
.../unison/io-handles.rkt:208:0: unison-FOp-IO.openFile.impl.v3
.../unison/simple-wrappers.ss:1919:0
.../unison/boot.ss:209:41
[repeats 3 more times]
.../racket/control.rkt:138:30
.../unison/boot.ss:209:41
.../racket/control.rkt:138:30
.../unison/boot.ss:209:41
.../racket/control.rkt:138:30
.../unison/boot.ss:209:41
[repeats 2 more times]
.../racket/control.rkt:138:30
.../racket/unison-runtime.rkt:186:2
body of '#%mzc:unison-runtime
native evaluation failed
Just for sanity, run tests (without native) fails in a similar way:
tests
@unison/runtime-tests/main> run tests
*** Test suite ***
✅ sin 0
✅ sin pi/2
✅ cos 0
✅ cos pi
✅ cosh pi
✅ sinh pi/2
✅ addf
✅ asin 1.0
✅ asinh 1.0
✅ atan 1.0
✅ atan2 1.0 2.0
✅ atanh 0.5
✅ tan 0.5
✅ tanh 0.5
✅ ceiling 0.1
✅ ceiling 0.9
✅ floor 0.9
✅ floor 1.9
✅ rndf
✅ divf
✅ maxf
✅ minf
✅ mulf
✅ muli
✅ powi
✅ pown
✅ powf
✅ ntof
✅ negi
✅ divi
✅ eqlf
✅ eqlf
✅ leqi
✅ leqn
✅ subi
✅ signum
✅ signum
✅ signum
✅ logf
✅ logb
✅ decn
✅ deci
✅ inci
✅ incn
✅ expf
✅ TZRO +0
✅ TZRO +1
✅ TZRO +16777216
✅ TZRO 2^59
✅ POPC +16777215
✅ POPC +5
✅ POPC -5
✅ POPC -1
✅ POPC -1234567891
✅ POPC -1111111111
*** Test suite ***
✅ Get file size should work
✅ File size of missing file
✅ File timestamp is reasonable
✅ File timestamp of missing file
✅ AbsoluteSeek
✅ RelativeSeek
✅ RelativeSeek
✅ getLine 1
✅ getLine 2
✅ getLine 3
✅ Block
✅ Line
✅ No
✅ echo turned off
✅ echo turned back on
✅ cli args
✅ HOME env variable
✅ get 10 random bytes
✅ get some bytes
✅ get char
✅ get a complicated char
✅ Current directory starts with /
✅ Tmp directory exists and contains prefix-
✅ renameFile
✅ opened handle is open
✅ closed handle is not open
✅ handle with text ready is ready
✅ !now
✅ !Clock.monotonic
✅ !processCPUTime
✅ !threadCPUTime
✅ isSeekable file
✅ handlePosition initial
✅ handlePosition
✅ renameFile
✅ Current directory set & get
Summary of results:
✅✅✅ 36 PASSED
✅ decoding a cert should work
✅ decoding a private key should work
✅ decoding an invalid private key should ignore
✅ decoding an invalid cert should fail
✅ self signed should connect & receive what we sent
✅ self signed chain server received
✅ self signed with the wrong hostname should fail
✅ self signed with an unknown CA should fail
✅ self signed wrong host
✅ wrong host example.com fails
✅ Md5 hashBytes
✅ Sha1 hashBytes
✅ Sha2_256 hashBytes
✅ Sha2_512 hashBytes
✅ Sha3_256 hashBytes
✅ Sha3_512 hashBytes
✅ Blake2s_256 hashBytes
✅ Blake2b_256 hashBytes
✅ Blake2b_512 hashBytes
✅ murmurHash 0
✅ murmurHash 1
✅ murmurHash 2
✅ murmurHash 3
✅ murmurHash 4
✅ murmurHash 5
✅ murmurHash 6
✅ murmurHash 7
✅ murmurHash 8
✅ murmurHash 9
✅ Sha1 hmacBytes
✅ Sha2_256 hmacBytes
✅ Sha2_512 hmacBytes
✅ Sha3_256 hmacBytes
✅ Sha3_512 hmacBytes
✅ Blake2s_256 hmacBytes
✅ Blake2b_256 hmacBytes
✅ Blake2b_512 hmacBytes
✅ Ref read-write
✅ Ref read-write
✅ Ticket contains the Ref value
✅ CAS is successful is there were no conflicting writes
✅ CAS fails when there was an intervening write
✅ Promise should be empty when created
✅ Promise should read a value that's been written
✅ Promise can only be written to once
✅ Once the Promise is full, tryRead is the same as read
✅ Reads awaits for completion of the Promise
✅ Thread was killed
✅ Thread killed, finalisers with typeLink
✅ tryEval is a no-op on success
✅ Thread was killed, with finalisers
✅ The state of the counter is consistent
✅ rejects invalid port
✅ no send after close
✅ no send on listener
✅ Server received data
✅ Client received data
💥 test failure: case-00 unison-src/transcripts-using-base/serialized-cases/case-00.v4.ser: openFile: does not exist (No such file or directory)
💥 test failure: case-04 unison-src/transcripts-using-base/serialized-cases/case-04.v4.ser: openFile: does not exist (No such file or directory)
💥 test failure: case-02 unison-src/transcripts-using-base/serialized-cases/case-02.v4.ser: openFile: does not exist (No such file or directory)
✅ bug is caught
✅ List empty literal
✅ List literal
✅ List equality: empty
✅ List equality: non empty
✅ List inequality: non empty (1)
✅ List inequality: non empty (2)
✅ List inequality: non empty (3)
✅ List inequality: empty
✅ List equality: composite
✅ List inequality: composite
✅ List ordering (1)
✅ List ordering (2)
✅ List ordering (3)
✅ List ordering (4)
✅ List ordering (5)
✅ List.ordering (6)
✅ List.cons
✅ List.snoc
✅ List.++
✅ List.take (1)
✅ List.take (2)
✅ List.take (3)
✅ List.take (4)
✅ List.take (5)
✅ List.drop (1)
✅ List.drop (2)
✅ List.drop (3)
✅ List.drop (4)
✅ List.drop (5)
✅ List.size (1)
✅ List.size (2)
✅ List.at (1)
✅ List.at (2)
✅ List.at (3)
✅ List.at (4)
✅ length matching: literal (1)
✅ length matching: literal (2)
✅ length matching: literal (3)
✅ length matching: literal (4)
✅ length: cons matching
✅ length: snoc matching
✅ length: ++ prefix matching
✅ length: ++ suffix matching
✅ cons matching: empty
✅ cons matching: non empty
✅ two cons matching (1)
✅ two cons matching (2)
✅ two cons matching (3)
✅ two snoc matching (1)
✅ two snoc matching (2)
✅ two snoc matching (3)
✅ middle matching (1)
✅ middle matching (2)
✅ middle matching (3)
✅ middle matching with non-empty list (1)
✅ middle matching with non-empty list (2)
✅ middle matching with non-empty list (3)
✅ Complex matching
✅ Text empty literal
✅ Text literal
✅ Text equality: empty
✅ Text equality: non empty
✅ Text inequality: empty (1)
✅ Text inequality: empty (2)
✅ Text inequality: non empty
✅ Universal equality with Text: empty
✅ Universal equality with Text: non empty
✅ Universal inequality with Text: empty (1)
✅ Universal inequality with Text: empty (2)
✅ Universal inequality with Text: non empty
✅ Universal equality with Text: composite
✅ Universal inequality with Text: composite
✅ Text ordering (1)
✅ Text ordering (2)
✅ Text ordering (3)
✅ Text ordering (4)
✅ Text ordering (5)
✅ Universal ordering with Text (1)
✅ Universal ordering with Text (2)
✅ Universal ordering with Text (3)
✅ Universal ordering with Text (4)
✅ Universal ordering with Text (5)
✅ Universal ordering with Text (6)
✅ Text.++
✅ Text.take (1)
✅ Text.take (2)
✅ Text.take (3)
✅ Text.take (4)
✅ Text.take (5)
✅ Text.drop (1)
✅ Text.drop (2)
✅ Text.drop (3)
✅ Text.drop (4)
✅ Text.drop (5)
✅ Text.size (1)
✅ Text.size (2)
✅ Text.uncons (1)
✅ Text.uncons (2)
✅ Text.uncons (3)
✅ Text.unsnoc (1)
✅ Text.unsnoc (2)
✅ Text.unsnoc (3)
✅ Text.repeat (1)
✅ Text.repeat (2)
✅ Text.repeat (3)
✅ Text.repeat (3)
✅ Text.reverse (1)
✅ Text.reverse (2)
✅ Text.reverse (3)
✅ Text.toUppercase (1)
✅ Text.toUppercase (2)
✅ Text.toLowercase (1)
✅ Text.toLowercase (2)
✅ Text.indexOf (1)
✅ Text.indexOf (2)
✅ Text.indexOf (3)
✅ Text.indexOf (3)
✅ Nat.toText (1)
✅ Nat.toText (2)
✅ Nat.toText (3)
✅ Nat.fromText (1)
✅ Nat.fromText (2)
✅ Nat.fromText (3)
✅ Nat.fromText (4)
✅ Nat.fromText (5)
✅ Nat.fromText (6)
✅ Nat <-> Text roundtrip (1)
✅ Int.toText (1)
✅ Int.toText (2)
✅ Int.toText (3)
✅ Int.fromText (1)
✅ Int.fromText (2)
✅ Int.fromText (3)
✅ Int.fromText (3)
✅ Int.fromText (4)
✅ Int.fromText (5)
✅ Int.fromText (6)
✅ Int <-> Text roundtrip (1)
✅ Int <-> Text roundtrip (2)
✅ Float.toText
✅ Float.fromText (1)
✅ Float.fromText (2)
✅ Char.toText
✅ Text.toCharList: empty
✅ Text.toCharList non empty
✅ Text.fromCharList: empty
✅ Text.fromCharList: non empty
✅ Text ut8 roundTrip
✅ Debug.evalToText (1)
✅ Debug.evalToText (2)
✅ bug (1)
✅ bug (2)
✅ todo (1)
✅ todo (2)
trace: First message
3
trace: Second message
"hello"
✅ Debug.trace
Watch
✅ Debug.watch
✅ String literal matching: empty
✅ String literal matching: non empty
✅ String literal matching: default
✅ Pattern api (1)
✅ Pattern api (2)
✅ Pattern api (3)
✅ Pattern api (4)
✅ Pattern api (5)
✅ Pattern api (6)
✅ Pattern api (7)
✅ Pattern api (8)
✅ Pattern api (9)
✅ Pattern api (10)
✅ Pattern api (11)
✅ Pattern api (12)
✅ Pattern api (13)
✅ Pattern api (14)
✅ Pattern api (15)
✅ Pattern api (16)
✅ Pattern api (17)
✅ Pattern api (18)
✅ Pattern api (19)
✅ Pattern api (20)
✅ Pattern api (21)
✅ Pattern api (22)
✅ Pattern api (23)
✅ Pattern api (24)
✅ Pattern api (25)
✅ Char.Class: any
✅ Char.Class: any (2)
✅ Char.Class.alphanumeric (1)
✅ Char.Class.alphanumeric (2)
✅ Char.Class.upper
✅ Char.Class.lower
✅ Char.Class.number
✅ Char.Class.punctuation
✅ Char.Class.symbol
✅ Char.Class.letter
✅ Char.Class.whitespace
✅ Char.Class.control
✅ Char.Class.printable
✅ Char.Class.mark
✅ Char.Class.separator
✅ Char.Class.not
✅ Char.Class.and
✅ Char.Class.or (1)
✅ Char.Class.or (2)
✅ Char.Class.range (1)
✅ Char.Class.range (2)
✅ Char.Class.range (3)
✅ Char.Class.range (4)
✅ Char.Class.anyOf (1)
✅ Char.Class.anyOf (2)
✅ Char.Class.anyOf (3)
✅ Bytes empty literal
✅ Bytes literal
✅ Debug.evalToText on Bytes
✅ Bytes.fromList: empty
✅ Bytes.fromList: non empty
✅ Bytes.fromList: invalid
✅ Bytes.toList: empty
✅ Bytes.toList: non empty
✅ fromUtf8: invalid
✅ fromUtf8
✅ toUtf8
✅ ut8 roundTrip
✅ Bytes equality: empty
✅ Bytes equality: non empty
✅ Bytes inequality: non empty (1)
✅ Bytes inequality: non empty (2)
✅ Bytes inequality: non empty (3)
✅ Bytes inequality: empty
✅ Bytes equality: composite
✅ Bytes inequality: composite
✅ Bytes ordering (1)
✅ Bytes ordering (2)
✅ Bytes ordering (3)
✅ Bytes ordering (4)
✅ Bytes ordering (5)
✅ Bytes ordering (6)
✅ Bytes.flatten
✅ Bytes.++
✅ Bytes.take (1)
✅ Bytes.take (2)
✅ Bytes.take (3)
✅ Bytes.take (4)
✅ Bytes.take (5)
✅ Bytes.drop (1)
✅ Bytes.drop (2)
✅ Bytes.drop (3)
✅ Bytes.drop (4)
✅ Bytes.drop (5)
✅ Bytes.size (1)
✅ Bytes.size (2)
✅ Bytes.at (1)
✅ Bytes.at (2)
✅ Bytes.at (3)
✅ Bytes.at (4)
✅ Bytes.indexOf (1)
✅ Bytes.indexOf (2)
✅ Bytes.indexOf (3)
✅ Bytes.indexOf (3)
✅ gzip empty
✅ gzip hello folks
✅ gunzip empty
✅ gunzip hello folks
✅ zlib empty
✅ zlib hello folks
✅ zlib inflate empty
✅ zlib inflate hello folks
✅ base16 empty
✅ from base16 empty
✅ base16 hello
✅ from base16 hello
✅ base32 hello
✅ from base32 hello
✅ base64 hello
✅ from base64 hello
✅ base64Url hello
✅ from base64Url hello
✅ from base16 fail non-utf8
✅ from base32 fail non-utf8
✅ from base64 fail non-utf8
✅ from base64Url fail non-utf8
✅ from base32 fail
✅ decodeNat16be 1
✅ decodeNat16be 10000
✅ decodeNat16le 1
✅ decodeNat16le 10000
✅ decodeNat32be 1
✅ decodeNat32be 1000000000
✅ decodeNat32le 1
✅ decodeNat32le 1000000000
✅ decodeNat64be 1
✅ decodeNat64be 10000000000000000
✅ decodeNat64le 1
✅ decodeNat64le 10000000000000000
✅ encodeNat16be 1
✅ encodeNat16be 10000
✅ encodeNat16le 1
✅ encodeNat16le 10000
✅ encodeNat32be 1
✅ encodeNat32be 1000000000
✅ encodeNat32le 1
✅ encodeNat32le 1000000000
✅ encodeNat64be 1
✅ encodeNat64be 10000000000000000
✅ encodeNat64le 1
✅ encodeNat64le 10000000000000000
✅ byte new/msize
✅ byte mut read/write 64
✅ byte mut read/write 40
✅ byte mut read/write 32
✅ byte mut read/write 24
✅ byte mut read/write 16
✅ byte mut read/write 8
✅ byte new/size
✅ byte imm read/write 64
✅ byte imm read/write 40
✅ byte imm read/write 32
✅ byte imm read/write 24
✅ byte imm read/write 16
✅ byte imm read/write 8
✅ byte immutable copyTo!
✅ byte mutable copyTo!
✅ byte immutable copied
✅ boxed array/msize
✅ boxed mut read/write
✅ boxed new/size
✅ boxed imm read/write
✅ immuntable copyTo!
✅ mutable copyTo!
✅ boxed immutable copied
✅ boxed serial
✅ codelookup #016888slblvodphfclvfslsfg427dv1tv1me53eui24pilfeq9fa8
✅ codelookup #00b3jbldq2t4plgsi6u1k23q8g7dfahfc7ggblqikvndbfijv456g
✅ codelookup #01oi4j2iudlufo4iarngn292821ljgbaa7ssjbufmtukifuem6rse
✅ codelookup #0197gdh70lgq40btoggomju2kvi6r466qqfdu1c628sefdrrfusga
✅ codelookup #028m89oqrpm9raicunscdegrappcq9ekkgbknqa0r8uktr1ilk51o
✅ codelookup #02jgonqg0sob7d8r9l75biie2q6sl3eb5ktnf99c8er0de26oq4u6
✅ codelookup #0104n87srnts5ku4bd4g7sv32nru0c4cmh1ucqejt52nit0p792tq
✅ codelookup #03t4555ovfl57rcn9e69mk8sad9cqvgc9dglrddonlthdbk60agcg
✅ codelookup #00s4qgnlemcvuj7h18rnq3r84k1t8n5847a9n4hqupjq2s6v7nk9c
✅ codelookup #01l1c0nf1hqg4acrg9ba984j92o4tcoqjpe8hmc4vprdo9lntp07e
✅ codelookup #001gd5dk78n7vqrlltbi9nqpn6rapb99tf8u6o1vhqf4uf3kcuq92
✅ codelookup #03npa9qar85ck28f5rsl577dctfiuuhur24gsevshc6h7i5ui32g2
✅ codelookup #00n4dgeec6jt6skfmkh04d8k56d312emvhtoa41neia8drnf8m1ha
✅ codelookup #00so2r5a8hjo5cippkmjkdfsckghl0876393dd70hn8rcvtgjasvi
✅ codelookup #020oqghpt8t21t1m1fn0m7c369i08uv60s042d8ptgo4bqau2tmm4
✅ codelookup #034m4ap7bg1rmm46cistvq2objtj3m7raoo6nekk8fu1jv9hr0f5u
✅ codelookup #01dmj6kci0av8b4h1bo15vbu3n2oahvs2q7tbs5tc5f8drk6ar98i
✅ codelookup #029imb8lah6pt8s2uv4o4s76ok654qeogt4fdc9upo9hm49r6jon2
✅ codelookup #02j756k2gbdlomnc1s2k2nutt9con1cae9lgemmrp3jabf79mait4
✅ codelookup #031djf8uaq003dfrps44sulchccgg6eegb0r1iuiq3nahgf7vanm0
✅ codelookup #001v77fenc2q4prm6nds1dmrckmuf280jrg6e7ndchr6tt3g2o1rq
✅ codelookup #03880kcvadlrci39lhn2gtn9vo93raan2sm6onlmjjed9mq8855hm
✅ 5 safe
✅ 5.0 safe
✅ "" safe
✅ 0xs1337 safe
✅ List.map safe
✅ FilePath.open unsafe
✅ sandbox.open1 unsafe
✅ sandbox.open2 unsafe
✅ Code.cache_ unsafe
✅ FilePath.open allowed
✅ Code.cache_ allowed
💔💥
The program halted with an unhandled exception:
Failure
(typeLink IOFailure)
"unison-src/transcripts-using-base/serialized-cases/case-04.v4.ser: openFile: does not exist (No such file or directory)"
(Any ())
Stack trace:
##raise
Also, tested https://github.com/NixOS/nixpkgs/pull/312922 and it works fine on Darwin aarch64:
.> run.native foo
foo
()
Note: it takes a while to show up, but it does eventually. In the order of 1 second or so.
And for the sake of completeness, Darwin on x86_64 working as well with https://github.com/NixOS/nixpkgs/pull/312922:
vibrant-wallaroo/main> run foo
foo
()
vibrant-wallaroo/main> run.native foo
foo
()
Hello @aryairani,
It failed, but not sure why exactly,
open-input-fileseems to have failed. Do I need to run this command from a specific folder or something similar?native tests Just for sanity,
run tests(without native) fails in a similar way:tests
@ereslibre Oops, sorry about that — that's a known issue I forgot about, which trips me up sometimes too. If you run the tests from the root directory of the unisonweb/unison repo, that file will be available.
I'm thinking that ideally the only files the tests should be reading should be ones that it also wrote, but that's a separate issue for a separate ticket for a separate repo. 😅
@ereslibre Oops, sorry about that — that's a known issue I forgot about, which trips me up sometimes too. If you run the tests from the root directory of the unisonweb/unison repo, that file will be available.
I see, thanks for confirming. I will check later tonight just to confirm, but I think it's already looking good.
I'm thinking that ideally the only files the tests should be reading should be ones that it also wrote, but that's a separate issue for a separate ticket for a separate repo. 😅
Hehe, absolutely :)
Yup, tests pass with run.native tests after cloning clone @unison/runtime-tests, and when executed from within the unison directory.
@unison/runtime-tests/main> run.native tests
<snip>
Summary of results:
✅✅✅ 499 PASSED
()