digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-09-20 17:28:46 +03:00
Code Issues Projects Releases Wiki Activity
cbe423fc6c
daml/stack-snapshot.yaml

35 lines
1.2 KiB
YAML
Raw Normal View History

replace DAML Authors with DA in copyright headers (#5228) Change requested by Manoj. CHANGELOG_BEGIN CHANGELOG_END
2020-03-27 03:26:10 +03:00
# Copyright (c) 2020 Digital Asset (Switzerland) GmbH and/or its affiliates. All rights reserved.
add copyright headers to yml files (#4407) We seem to have forgotten about them in the copyright scripts. CHANGELOG_BEGIN CHANGELOG_END
2020-02-06 14:54:07 +03:00
# SPDX-License-Identifier: Apache-2.0
Update rules_haskell (#3473) * Update rules_haskell & rules_nixpkgs * Define dadew POSIX toolchain on Windows * Build hpp with stack and Cabal * Replace Hazel hpp by @stackage hpp * replace backslash by forward slash * Cabal wrapper exclude bindist includes * ghci-grpc patch fix missing argument * Switch to rules_haskell master
2019-11-15 13:50:12 +03:00
resolver: lts-14.1
packages:
Fix packaging performance (#6350) fixes #3150 This PR introduces a patch to GHC to fix the performance of the pattern match checker in the presence of multiple packages which is currently significantly (orders of magnitude) slower than having everything in a single package. I also added a test case that hits this. Here’s what you need to hit this issue: 1. A typeclass with a functional dependency. `HasField` is the obvious candidate for this. 2. A lot of instances of this typeclass in a separate package (this is the only part where the separate package matters). 3. A reasonably large ADT with a bunch of strict fields. 4. A pattern match in the context of some constraints of the typeclass. The constraints can be completely unused. In that case, you will get a significant slowdown in the number of instances, number of constructors and number of constraints (didn’t verify if it’s linear but it is significant which is all that matters). Here’s why this happens: 1. The pattern match checker checks for strict fields if the type is inhabited. 2. This calls `pmTopNormaliseType_maybe` to normalize a type (the details don’t matter) which in turn calls into the typechecker. This function is called very often (presumably linear in the number of constructors but didn’t verify.) 3. The typechecker has some logic in `improveFromInstEnv` for generating additional equations by unifying functional dependencies `a -> b` with constraints in scope and thereby deducing information about `b`. 4. In the pattern match checker the list of instances of the home package is empty since the pattern match checker (apparently) doesn’t actually care about those extra equations. However, the list of instances in the EPS is not empty. This is the issue here: By moving it to an external package we suddenly end up with thousands of instances that we try to unify with the functional dependencies every time we normalize which happens very often. Proposed fix: The solution is rather simple: Since the pattern match checker apparently does not care about the instances of the home package, it almost certainly doesn’t care about instances in general so we just empty the instances of external packages explicitly. Is the fix correct? 1. I verified that the GHC test suite passes with this patch which gives me a reasonable level of confidence. 2. I verified that our own test suite passes. 3. The most dodgy part is actually emptying the instance since the whole EPS stuff is a mutable mess. What could in theory happen is that the PM ends up loading an interface file that mutates this again. However, afaiu it is impossible for the PM to need an interface that the typechecker didnt already need. I did do a bunch of debugging and this is exactly what I observed in my experiments. Alternative ideas and upstreaming: The other option would be to not try and mess with the EPS but somehow have a conditional flag somewhere in the typechecker env to disable this logic in the pattern match checker. However, that sounds significantly more complex so I don’t think it’s worth the effort. GHC 8.10 has a new pattern match checker that has different performance characteristics and seems to do much better here so there is little reason to try and upstream this. I strongly want to avoid upgrading DAML to 8.10 at this point (too much risk, let’s wait until things calm down) changelog_begin - [DAML Compiler] Fix an issue where compilation slowed down significantly when code was split up into several packages. See https://github.com/digital-asset/daml/issues/3150 changelog_end
2020-06-16 16:12:34 +03:00
- archive: https://daml-binaries.da-ext.net/da-ghc-lib/ghc-lib-942755169bad510701179c8c40cddd3e.tar.gz
sha256: "367f779d564e01a98fe7e9c7f1d7c1a7936759aae9c273eb2dfc6f1ed1c51d07"
- archive: https://daml-binaries.da-ext.net/da-ghc-lib/ghc-lib-parser-942755169bad510701179c8c40cddd3e.tar.gz
sha256: "bf17b50a11369b67237e6e0e22589f7ead7b482d05e0e3c68654c9be5b3d3fac"
Replace Hazel by stack_snapshot (#2743) * Unmangled libz.so and libbz2.so * Use stack_snapshot instead of Hazel * Remove Hazel * Define stack_snapshot * Update rules_haskell * Document stack_snapshot * Clean stack's lock file from aborted builds
2019-11-22 17:24:08 +03:00
- github: digital-asset/hlint
Update hlint (#5123) changelog_begin changelog_end
2020-03-22 19:30:11 +03:00
commit: "3e78bce69749b22a80fec1e8eb853cc0c100c18e"
sha256: "cf39f2b378485afc77ffdad4dbb057d5d9b4dfc5a38c76ddc44e920e537fb0fa"
- ghc-lib-parser-ex-8.8.5.8
Replace Hazel by stack_snapshot (#2743) * Unmangled libz.so and libbz2.so * Use stack_snapshot instead of Hazel * Remove Hazel * Define stack_snapshot * Update rules_haskell * Document stack_snapshot * Clean stack's lock file from aborted builds
2019-11-22 17:24:08 +03:00
- bytestring-nums-0.3.6
Update hlint (#5123) changelog_begin changelog_end
2020-03-22 19:30:11 +03:00
- extra-1.7.1
Replace Hazel by stack_snapshot (#2743) * Unmangled libz.so and libbz2.so * Use stack_snapshot instead of Hazel * Remove Hazel * Define stack_snapshot * Update rules_haskell * Document stack_snapshot * Clean stack's lock file from aborted builds
2019-11-22 17:24:08 +03:00
- grpc-haskell-0.0.1.0
- grpc-haskell-core-0.0.0.0
Bump ghcide (#3943) * Bump ghcide * Fix ghcide build * Include bugfix for Windows
2020-01-04 09:51:51 +03:00
- fuzzy-0.1.0.0
Bump ghcide (#5128) This PR bumps ghcide, haskell-lsp and haskell-lsp-types. There aren’t really any important changes in ghcide itself but the haskell-lsp update includes my fix for crashing completions. One change in ghcide itself is that NormalizedFilePath got moved to haskell-lsp. ghcide needs special treatment for empty file paths so we use `toNormalizedFilePath'` from ghcide instead of `toNormalizedFilePath` from `haskell-lsp`. I’ve added an hlint rule to enforce this. changelog_begin changelog_end
2020-03-23 15:09:36 +03:00
- haskell-lsp-0.21.0.0
Switch to ghcide 0.1.0 (#4381) * Switch to ghcide 0.1.0 changelog_begin changelog_end * Bump hie-bios
2020-02-04 20:40:43 +03:00
- haddock-library-1.8.0
Bump ghcide (#5128) This PR bumps ghcide, haskell-lsp and haskell-lsp-types. There aren’t really any important changes in ghcide itself but the haskell-lsp update includes my fix for crashing completions. One change in ghcide itself is that NormalizedFilePath got moved to haskell-lsp. ghcide needs special treatment for empty file paths so we use `toNormalizedFilePath'` from ghcide instead of `toNormalizedFilePath` from `haskell-lsp`. I’ve added an hlint rule to enforce this. changelog_begin changelog_end
2020-03-23 15:09:36 +03:00
- haskell-lsp-types-0.21.0.0
Switch to ghcide 0.1.0 (#4381) * Switch to ghcide 0.1.0 changelog_begin changelog_end * Bump hie-bios
2020-02-04 20:40:43 +03:00
- hie-bios-0.4.0
Update rules_haskell (#3473) * Update rules_haskell & rules_nixpkgs * Define dadew POSIX toolchain on Windows * Build hpp with stack and Cabal * Replace Hazel hpp by @stackage hpp * replace backslash by forward slash * Cabal wrapper exclude bindist includes * ghci-grpc patch fix missing argument * Switch to rules_haskell master
2019-11-15 13:50:12 +03:00
- hpp-0.6.1
Bump ghcide (#5128) This PR bumps ghcide, haskell-lsp and haskell-lsp-types. There aren’t really any important changes in ghcide itself but the haskell-lsp update includes my fix for crashing completions. One change in ghcide itself is that NormalizedFilePath got moved to haskell-lsp. ghcide needs special treatment for empty file paths so we use `toNormalizedFilePath'` from ghcide instead of `toNormalizedFilePath` from `haskell-lsp`. I’ve added an hlint rule to enforce this. changelog_begin changelog_end
2020-03-23 15:09:36 +03:00
- lsp-test-0.10.2.0
Upgrade to haskell-lsp 0.20 (#4397) * Upgrade to haskell-lsp 0.20 This includes another ghcide bump but the only change there is the haskell-lsp ugprade. haskell-lsp 0.20 includes some performance improvements. changelog_begin changelog_end * Bump parser-combinators
2020-02-05 13:27:44 +03:00
- parser-combinators-1.2.1
Replace Hazel by stack_snapshot (#2743) * Unmangled libz.so and libbz2.so * Use stack_snapshot instead of Hazel * Remove Hazel * Define stack_snapshot * Update rules_haskell * Document stack_snapshot * Clean stack's lock file from aborted builds
2019-11-22 17:24:08 +03:00
- proto3-suite-0.4.0.0
- proto3-wire-1.1.0
Bump ghcide (#3943) * Bump ghcide * Fix ghcide build * Include bugfix for Windows
2020-01-04 09:51:51 +03:00
- regex-base-0.94.0.0
- regex-tdfa-1.3.1.0
Switch to ghcide 0.1.0 (#4381) * Switch to ghcide 0.1.0 changelog_begin changelog_end * Bump hie-bios
2020-02-04 20:40:43 +03:00
- shake-0.18.5
WIP: Draft version constraint generation (#5472) First version of static verification tool. The current state of the tool: - Reads DAR files. - Partially evaluates the code. - Generates constraints for the field and choice to be verified. - Passes the constraints to an SMT solver. - Some basic tests.
2020-05-20 09:08:18 +03:00
- simple-smt-0.9.4
Update rules_haskell (#3473) * Update rules_haskell & rules_nixpkgs * Define dadew POSIX toolchain on Windows * Build hpp with stack and Cabal * Replace Hazel hpp by @stackage hpp * replace backslash by forward slash * Cabal wrapper exclude bindist includes * ghci-grpc patch fix missing argument * Switch to rules_haskell master
2019-11-15 13:50:12 +03:00
# Core packages, need to be listed for integer-simple flags.
- integer-simple-0.1.1.1
- text-1.2.3.1
Reference in New Issue Copy Permalink