Anthony Carrico

Thanks for the question. I found some notes about the logs in the nix manual. They are (normally) stored in /nix/var/log. You can you `nix-store --read-log` to see them. ```...

... and here is a way to do it without typing the hash explicitly: ``` $ nix build --file ./pill7.nix $ nix-store --read-log result declare -x HOME="/homeless-shelter" declare -x NIX_BUILD_CORES="4"...

Digging deeper `nix log` also exists. Assuming `default.nix` is in the current directory, then: ``` nix build nix log ./result ``` will show the log (but `nix log result` will...

Right. I took another look at this (with a tiny bit more experience learning Idris), and I think the problem is with my understanding of the lexical scoping rules in...

I'm trying to check the docs, but I can't find any reference documentation for the "using" keyword. Did I miss it? Best I could find is syntax reference: ```Using ::=...

Here is an example, but may not be much use. Seems like documentation is the best solution? Starting with something like: ``` #lang racket/gui (define frame (new frame% (label "example")))...

Actually I can reproduce this behavior by hitting ^d to terminate the repl. C-c C-\ seems to do it also. M-x `racket-stop-back-end` fixes the issue.

@MathiasSven, [I uploaded this for you](https://github.com/acarrico/cabal2nix-issue-493). It seems like the default.nix there was probably the overlay I was using on this issue. I haven't tested this recently.

Got it--a syntax error! Thank you.

So the All is on the predicate contract. Does that make every opaque import a violation? The value is a pointer, so, inherently unsafe. Can we get an #:unsafe-opaque import...