profile
viewpoint

tweag/asterius 1824

A Haskell to WebAssembly compiler

tweag/funflow 342

Functional workflows

tweag/capability 200

Extensional capabilities and deriving combinators

tweag/clodl 135

Turn dynamically linked ELF binaries and libraries into self-contained closures.

tweag/distributed-closure 63

Serializable closures for distributed programming.

tweag/ghc 47

Fork of official GHC repository.

tweag/blog-resources 29

Extra resources for Tweag's blog posts.

tweag/funflow2 9

Compose and run computational workflows

tweag/functionless 8

CLI tool for packaging Haskell executables for AWS Lambda

tweag/gazelle_cabal 8

A gazelle extension to produce Haskell rules from cabal files

push eventtweag/nickel

Yannik Sander

commit sha ebbae046ce6096e570c08a7391a4358da96375c0

Remove irrelevant `enumerate()`s

view details

push time in 6 hours

PR opened tweag/nickel

[Language Server] Automatically manage scope_ids

Let the Linearizer handle scoping logic. The caller side implementation does not add benefit to the LSP and just increases the work done on the typechecker side.

+31 -35

0 comment

3 changed files

pr created time in 6 hours

create barnchtweag/nickel

branch : language-server/scope-ids

created branch time in 6 hours

issue openedtweag/asterius

ahc --help

Describe the bug A clear and concise description of what the bug is. ahc --help fails when using lastest docker image

To Reproduce Steps to reproduce the behavior. run docker run --rm -it -v $(pwd):/project -w /project terrorjack/asterius Now you see this:

/root/.asterius/.stack-work/install/x86_64-linux-tinfo6/3445437948fd86ce7ef120ae609b3b54e4a1ea68fb09256c10b6b2a6394fb17d/8.8.4/share/x86_64-linux-ghc-8.8.4/asterius-0.0.1/.boot/asterius_lib/ghc-usage.txt: openFile: does not exist (No such file or directory)

Expected behavior A clear and concise description of what you expected to happen. help message appears, because ahc with no arguments prints ahc: no input files Usage: For basic information, try the--help' option.`

Environment

  • OS name + version: Ubuntu 21.04
  • Version of the code:

created time in 13 hours

fork lagunoff/pthread

Bindings for the pthread library

fork in 14 hours

fork hostyStack/terraform-nixos

A set of Terraform modules that are designed to deploy NixOS

fork in 14 hours

push eventtweag/nickel

github-actions[bot]

commit sha f65b1f1f8bf7bffaf98a52041757105bcfc651be

flake.lock: Update Flake lock file changes: • Updated input 'flake-utils': 'github:numtide/flake-utils/74f7e4319258e287b0f9cb95426c9853b282730b' (2021-11-28) → 'github:numtide/flake-utils/846b2ae0fc4cc943637d3d1def4454213e203cba' (2022-01-20) • Updated input 'nixpkgs': 'github:NixOS/nixpkgs/09cd65b33c5653d7d2954fef4b9f0e718c899743' (2021-09-08) → 'github:NixOS/nixpkgs/fc4148a47fa927319186061aa42633c8aa5777f1' (2022-01-22) • Updated input 'rust-overlay': 'github:oxalica/rust-overlay/9c426beb3820ca3ede6349c664eb461ae4603565' (2022-01-16) → 'github:oxalica/rust-overlay/9fb49daf1bbe1d91e6c837706c481f9ebb3d8097' (2022-01-22)

view details

push time in 16 hours

startedtweag/asterius

started time in 20 hours

startedtweag/trustix

started time in 20 hours

startedtweag/nickel

started time in 21 hours

startedtweag/asterius

started time in a day

issue commenttweag/opam-nix

Fails to find repositories specified in `pin-depends`

Certainly possible :)

What is the exact problem you're experiencing?

brendanzab

comment created time in a day

issue commenttweag/opam-nix

Fails to find repositories specified in `pin-depends`

Could it be that there is some weirdness in how opam-nix is understanding my pinned deps?

pin-depends: [
  # The sha1 hashes currently point to the main branch of the yocaml repository
  ["yocaml.dev" "git+https://github.com/xhtmlboi/yocaml.git#167cddf111bec1095fc35a10f5c10d2d25e9adbd"]
  ["yocaml_markdown.dev" "git+https://github.com/xhtmlboi/yocaml.git#167cddf111bec1095fc35a10f5c10d2d25e9adbd"]
  ["yocaml_mustache.dev" "git+https://github.com/xhtmlboi/yocaml.git#167cddf111bec1095fc35a10f5c10d2d25e9adbd"]
  ["yocaml_unix.dev" "git+https://github.com/xhtmlboi/yocaml.git#167cddf111bec1095fc35a10f5c10d2d25e9adbd"]
  ["yocaml_yaml.dev" "git+https://github.com/xhtmlboi/yocaml.git#167cddf111bec1095fc35a10f5c10d2d25e9adbd"]
]
brendanzab

comment created time in a day

create barnchtweag/nickel

branch : update_flake_lock_action

created branch time in a day

PR opened tweag/nickel

flake.lock: Update

Automated changes by the update-flake-lock GitHub Action.

Flake lock file changes:

• Updated input 'flake-utils':
    'github:numtide/flake-utils/74f7e4319258e287b0f9cb95426c9853b282730b' (2021-11-28)
  → 'github:numtide/flake-utils/846b2ae0fc4cc943637d3d1def4454213e203cba' (2022-01-20)
• Updated input 'nixpkgs':
    'github:NixOS/nixpkgs/09cd65b33c5653d7d2954fef4b9f0e718c899743' (2021-09-08)
  → 'github:NixOS/nixpkgs/fc4148a47fa927319186061aa42633c8aa5777f1' (2022-01-22)
• Updated input 'rust-overlay':
    'github:oxalica/rust-overlay/9c426beb3820ca3ede6349c664eb461ae4603565' (2022-01-16)
  → 'github:oxalica/rust-overlay/9fb49daf1bbe1d91e6c837706c481f9ebb3d8097' (2022-01-22)

Running GitHub Actions on this PR

GitHub Actions will not run workflows on pull requests which are opened by a GitHub Action.

To run GitHub Actions workflows on this PR, run:

git branch -D update_flake_lock_action
git fetch origin
git checkout update_flake_lock_action
git commit --amend --no-edit
git push origin update_flake_lock_action --force
+9 -9

0 comment

1 changed file

pr created time in a day

PR opened tweag/webauthn

Explicitly declare kinds, improve singleton instances

The kind declarations are not necessary - GHC infers the kind like CeremonyKind using the local bindings under case. Declaring kind makes it easier to read the type signatures.

Also, I simplified a few places around the singleton logic and replaces instances created for the singleton constructors with the instances for the regular data type.

+49 -56

0 comment

7 changed files

pr created time in a day

PR opened tweag/webauthn

Simplify server example, drop singletons

Now understanding the example does not require knowledge of singletons. The type safety is still preserved.

+28 -44

0 comment

3 changed files

pr created time in a day

issue openedtweag/plutus-libs

HLS works in cooked-validators, fails in examples

Note: I named the directory plutus-libs-tweag (instead of plutus-libs).

cd plutus-libs-tweag
nix-shell
emacs

In emacs, navigate to any haskell file in cooked-validators/src/*. HLS works correctly. Note: HLS works in cooked-validators/tests/* too. For success, the emacs buffer *lsp-haskell:stderr* contains:

Found "/Users/hcarr/plutus-libs-tweag/hie.yaml" for "/Users/hcarr/plutus-libs-tweag/a"
Run entered for haskell-language-server-wrapper(haskell-language-server-wrapper) Version 1.5.1.0 x86_64 ghc-8.10.4.20210212
Current directory: /Users/hcarr/plutus-libs-tweag
Operating system: darwin
Arguments: ["--lsp","-d","-l","/tmp/hls.log"]
Cradle directory: /Users/hcarr/plutus-libs-tweag
Cradle type: Cabal

Tool versions found on the $PATH
cabal:		3.6.2.0
stack:		2.7.3
ghc:		8.10.4.20210212


Consulting the cradle to get project GHC version...
Project GHC version: 8.10.4.20210212
haskell-language-server exe candidates: ["haskell-language-server-8.10.4.20210212","haskell-language-server"]
Launching haskell-language-server exe at:/nix/store/bqy1n8k5jb2hpf3zllg99qr7v49r9gbl-haskell-language-server-exe-haskell-language-server-1.5.1.0/bin/haskell-language-server
haskell-language-server version: 1.5.1.0 (GHC: 8.10.4.20210212) (PATH: /nix/store/bqy1n8k5jb2hpf3zllg99qr7v49r9gbl-haskell-language-server-exe-haskell-language-server-1.5.1.0/bin/haskell-language-server)
Starting (haskell-language-server)LSP server...
  with arguments: GhcideArguments {argsCommand = LSP, argsCwd = Nothing, argsShakeProfiling = Nothing, argsTesting = False, argsExamplePlugin = False, argsDebugOn = True, argsLogFile = Just "/tmp/hls.log", argsThreads = 0, argsProjectGhcVersion = False}
  with plugins: [PluginId "pragmas",PluginId "floskell",PluginId "fourmolu",PluginId "tactics",PluginId "ormolu",PluginId "stylish-haskell",PluginId "retrie",PluginId "brittany",PluginId "callHierarchy",PluginId "class",PluginId "haddockComments",PluginId "eval",PluginId "importLens",PluginId "refineImports",PluginId "moduleName",PluginId "hlint",PluginId "splice",PluginId "ghcide-hover-and-symbols",PluginId "ghcide-code-actions-imports-exports",PluginId "ghcide-code-actions-type-signatures",PluginId "ghcide-code-actions-bindings",PluginId "ghcide-code-actions-fill-holes",PluginId "ghcide-completions",PluginId "ghcide-type-lenses",PluginId "ghcide-core"]
  in directory: /Users/hcarr/plutus-libs-tweag

In emacs, navigate to any haskell file in examples/src/*. HLS fails.

The emacs *Messages* buffers contains:

LSP :: Connected to [lsp-haskell:93830].
LSP :: lsp-haskell has exited (exited abnormally with code 1)
LSP :: Sending to process failed with the following error: Process lsp-haskell not running
next-line: End of buffer
Server lsp-haskell:93830 exited with status exit(check corresponding stderr buffer for details). Do you want to restart it? (y or n) n

The emacs *lsp-haskell:stderr* buffer contains:

Found "/Users/hcarr/plutus-libs-tweag/hie.yaml" for "/Users/hcarr/plutus-libs-tweag/a"
Run entered for haskell-language-server-wrapper(haskell-language-server-wrapper) Version 1.5.1.0 x86_64 ghc-8.10.4.20210212
Current directory: /Users/hcarr/plutus-libs-tweag
Operating system: darwin
Arguments: ["--lsp","-d","-l","/tmp/hls.log"]
Cradle directory: /Users/hcarr/plutus-libs-tweag
Cradle type: Cabal

Tool versions found on the $PATH
cabal:		3.6.2.0
stack:		2.7.3
ghc:		8.10.4.20210212


Consulting the cradle to get project GHC version...
Project GHC version: 8.10.4.20210212
haskell-language-server exe candidates: ["haskell-language-server-8.10.4.20210212","haskell-language-server"]
Launching haskell-language-server exe at:/nix/store/bqy1n8k5jb2hpf3zllg99qr7v49r9gbl-haskell-language-server-exe-haskell-language-server-1.5.1.0/bin/haskell-language-server
haskell-language-server version: 1.5.1.0 (GHC: 8.10.4.20210212) (PATH: /nix/store/bqy1n8k5jb2hpf3zllg99qr7v49r9gbl-haskell-language-server-exe-haskell-language-server-1.5.1.0/bin/haskell-language-server)
Starting (haskell-language-server)LSP server...
  with arguments: GhcideArguments {argsCommand = LSP, argsCwd = Nothing, argsShakeProfiling = Nothing, argsTesting = False, argsExamplePlugin = False, argsDebugOn = True, argsLogFile = Just "/tmp/hls.log", argsThreads = 0, argsProjectGhcVersion = False}
  with plugins: [PluginId "pragmas",PluginId "floskell",PluginId "fourmolu",PluginId "tactics",PluginId "ormolu",PluginId "stylish-haskell",PluginId "retrie",PluginId "brittany",PluginId "callHierarchy",PluginId "class",PluginId "haddockComments",PluginId "eval",PluginId "importLens",PluginId "refineImports",PluginId "moduleName",PluginId "hlint",PluginId "splice",PluginId "ghcide-hover-and-symbols",PluginId "ghcide-code-actions-imports-exports",PluginId "ghcide-code-actions-type-signatures",PluginId "ghcide-code-actions-bindings",PluginId "ghcide-code-actions-fill-holes",PluginId "ghcide-completions",PluginId "ghcide-type-lenses",PluginId "ghcide-core"]
  in directory: /Users/hcarr/plutus-libs-tweag
 haskell-language-server-wrapper: callProcess: /nix/store/bqy1n8k5jb2hpf3zllg99qr7v49r9gbl-haskell-language-server-exe-haskell-language-server-1.5.1.0/bin/haskell-language-server "--lsp" "-d" "-l" "/tmp/hls.log" (exit -11): failed

Process lsp-haskell stderr finished

Environment

  • Mac OS 11.6.2
  • Version of the code: 29f041e

created time in a day

startedtweag/nickel

started time in 2 days

IssuesEvent
PullRequestReviewEvent

push eventtweag/nickel

Yann Hamdaoui

commit sha 2d7872aa99fe8f4bc67fa808ae1113e8499cbe42

Formatting

view details

push time in 2 days

issue commenttweag/opam-nix

Fails to find repositories specified in `pin-depends`

Well, the warning tells you exactly what to do

Yeah, I didn't want to run it in --impure, as I thought this was the point of flakes: offering isolation. I also couldn't tell from the warning where to set the sha - I was looking for somewhere in the nix file, not the .opam.template.

To be clear, this is also supported by opam, and is a good idea for reproducibility purposes regardless of opam-nix.

Ahh yeah, this might be me confused by opam's model… (which I find confoundingly frustrating at the best of times). Coming from Cargo git dependencies are automatically pinned in a lockfile. I'll go ahead and add the sha to the pin-depends, but it is kind of frustrating as it loses information on what branch it is supposed to be tracking, and can't be updated with tooling. :(

Sorry again for all my confusion!

brendanzab

comment created time in 2 days

issue commenttweag/opam-nix

Fails to find repositories specified in `pin-depends`

but now I am getting warnings like:

Well, the warning tells you exactly what to do: run your command again with --impure, or set the git commit sha1 (a.k.a rev) in the opam file (like done in the example: https://github.com/tweag/opam-nix/blob/main/examples/readme/my-package/my-package.opam#L14)

I also get a build error:

That error looks weird, I'll look into it

brendanzab

comment created time in 2 days

issue commenttweag/opam-nix

Fails to find repositories specified in `pin-depends`

I'm wondering if it's possible to use an opam lockfile to simplify this kind of thing? This is what naersk does, but I'm not too clear on the specifics of how opam works to know if it's possible here too… eg. I'm not sure how to generate the lockfile in the first place. I'm guessing it might require opam to be installed globally?

brendanzab

comment created time in 2 days

issue commenttweag/opam-nix

Fails to find repositories specified in `pin-depends`

Ooohh, so I need to set a sha in the pinned dependency?

brendanzab

comment created time in 2 days

PR opened tweag/nickel

Merge enum variants properly

Resolves #590

+23 -0

0 comment

2 changed files

pr created time in 2 days

issue openedtweag/nickel

Enum variants don't merge even if they were the same

Describe the bug Enum variants don't merge even if they were the same.

To Reproduce

nickel> `A & `A
error: Non mergeable terms
  ┌─ repl-input-1:1:1
  │
1 │ `A & `A
  │ ^^---^^
  │ │    │
  │ │    with this expression
  │ merged here
  │ cannot merge this expression

Expected behavior It should result in

`A

Environment

  • OS name + version: Linux xps 5.10.89-1-MANJARO #1 SMP PREEMPT Wed Dec 29 18:09:17 UTC 2021 x86_64 GNU/Linux
  • Version of the code: a48713d

Additional context I came across the issue when I applied the same contract (which specifies default enum variant) twice, something like

let T = {a | <A, B> | default = `A } & {a = `A} in {} | #T | #T

created time in 2 days

fork MiSawa/nickel

Better configuration for less

https://nickel-lang.org/

fork in 2 days

more