nix-shell -p '(import <myrtle> {}).adept-utilities' -p '(import <myrtle> {}).haskellPackages.ghcWithPackages(p: with p; [clash-ghc clash-prelude])'
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import Control.Monad (replicateM) | |
-- | Read an integer, n, on one line and read n values on subsequent lines | |
readCount :: Read a => IO [a] | |
readCount = do | |
n <- readLn | |
replicateM n readLn | |
main = do | |
ints <- readCount |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
I have a function `main` compiled from C with `-mthumb`. | |
This is the entry point to the program | |
```asm | |
.TEXT | |
.GLOBAL _start | |
_start: | |
.ALIGN |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Boot Info Script cfd9efe + Boot-Repair extra info [Boot-Info 26Apr2016] | |
============================= Boot Info Summary: =============================== | |
============================ Drive/Partition Info: ============================= | |
no valid partition table found | |
"blkid" output: ________________________________________________________________ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# If this source is local, strip a bunch of things from the source before | |
# building to make the hash change a little less often on local machines. | |
# This doesn't filter non-local sources. | |
maybeFilterSource = src: | |
if !isList src && | |
!isFunction src && | |
!isDerivation src && | |
!isStorePath src | |
then defaultSourceFilter src | |
else src; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# If this source is local, strip a bunch of things from the source before | |
# building to make the has change a little less. | |
mkDerivation = | |
args: super.mkDerivation (args // ( | |
if (args ? src) | |
then {src = maybeFilterSource args.src;} | |
else {} | |
)); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Derive | |
( [ ( "out" | |
, "/nix/store/n3hm9i6yacm4qzzikqby57nccm8jizhq-update-nix-fetchgit-0.1.0.0" | |
, "" | |
, "" | |
) | |
] | |
, [ ( "/nix/store/172gppycv8zp1kz5593hb9hpmf0r1xpy-data-fix-0.0.3.drv" | |
, [ "out" ] | |
) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Derive | |
( [ ( "out" | |
, "/nix/store/n3hm9i6yacm4qzzikqby57nccm8jizhq-update-nix-fetchgit-0.1.0.0" | |
, "" | |
, "" | |
) | |
] | |
, [ ( "/nix/store/172gppycv8zp1kz5593hb9hpmf0r1xpy-data-fix-0.0.3.drv" | |
, [ "out" ] | |
) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Derive | |
( [ ( "out" | |
, "/nix/store/jypn7bry813ibr48plz9j9grakp7dqw7-update-nix-fetchgit-0.1.0.0" | |
, "" | |
, "" | |
) | |
] | |
, [ ( "/nix/store/172gppycv8zp1kz5593hb9hpmf0r1xpy-data-fix-0.0.3.drv" | |
, [ "out" ] | |
) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Overall: | |
Device size: 139.69GiB | |
Device allocated: 139.69GiB | |
Device unallocated: 1.00MiB | |
Device missing: 0.00B | |
Used: 132.53GiB | |
Free (estimated): 5.60GiB (min: 5.60GiB) | |
Data ratio: 1.00 | |
Metadata ratio: 1.00 | |
Global reserve: 512.00MiB (used: 0.00B) |