digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-09-20 01:07:18 +03:00
Code Issues Projects Releases Wiki Activity
addb2edc03
daml/compiler/daml-lf-ast/BUILD.bazel

57 lines
1.3 KiB
Python
Raw Normal View History

update copyright notices for 2021 (#8257) * update copyright notices for 2021 To be merged on 2021-01-01. CHANGELOG_BEGIN CHANGELOG_END * patch-bazel-windows & da-ghc-lib
2021-01-01 21:49:51 +03:00
# Copyright (c) 2021 Digital Asset (Switzerland) GmbH and/or its affiliates. All rights reserved.
open-sourcing daml
2019-04-04 11:33:38 +03:00
# SPDX-License-Identifier: Apache-2.0
Add Numeric literals in daml-lf-ast and daml-lf-proto. (#2706) * Add Numeric literals. * Decode numeric literals * Add tests and fix Read for s=0 * lint * Copyright header * Use numericMaxScale in Serializability check * Fix comment!
2019-08-30 11:45:03 +03:00
load("//bazel_tools:haskell.bzl", "da_haskell_library", "da_haskell_test")
open-sourcing daml
2019-04-04 11:33:38 +03:00
Enforce consistent formatting of BUILD files. (#412) * Add buildifier targets. The tool allows to check and format BUILD files in the repo. To check if files are well formatted, run: bazel run //:buildifier To fix badly-formatted files run: bazel run //:buildifier-fix * Cleanup dade-copyright-headers formatting. * Fix dade-copyright-headers on files with just the copyright. * Run buildifier automatically on CI via 'fmt.sh'. * Reformat all BUILD files with buildifier. Excludes autogenerated Bazel files.
2019-04-12 14:10:16 +03:00
da_haskell_library(
name = "daml-lf-ast",
srcs = glob(["src/**/*.hs"]),
Rename hazel_deps to hackage_deps (#2789) * hazel_deps --> hackage_deps Mechanical change: ``` sed -i 's/hazel_deps/hackage_deps/g' $(ag -l hazel_deps) ``` * Hazel dependencies --> Hackage dependencies
2019-09-06 12:01:09 +03:00
hackage_deps = [
Refactor handling of package names and versions (#4633) * Refactor handling of package names and versions This is a preparatory refactoring PR in preparation for propagating package metadata into DAML-LF. There are no actual changes in here. Primarily the changes consist of 3 things: 1. In options, we split the `optMbPackageName` field which previously contained the unit id into `optMbPackageName` and `optMbPackageVersion`. 2. We use newtypes for names and versions and try to keep them pretty much everywhere (the only place missing is `splitUnitId`, I’ll do that separately). 3. We use `UnitId` where we want `name-version`. As was probably to be expected, this surfaced some minor issues. They are pretty much exclusively in debugging or “internal” commands so I’ve mostly just added notes/todos. changelog_begin changelog_end * cry about applicativedo
2020-02-20 20:57:35 +03:00
"aeson",
Enforce consistent formatting of BUILD files. (#412) * Add buildifier targets. The tool allows to check and format BUILD files in the repo. To check if files are well formatted, run: bazel run //:buildifier To fix badly-formatted files run: bazel run //:buildifier-fix * Cleanup dade-copyright-headers formatting. * Fix dade-copyright-headers on files with just the copyright. * Run buildifier automatically on CI via 'fmt.sh'. * Reformat all BUILD files with buildifier. Excludes autogenerated Bazel files.
2019-04-12 14:10:16 +03:00
"base",
language: cross sdk dalf/dar imports (#3358) * language: cross sdk dalf/dar imports The final piece for cross sdk imports. With this PR we can import the data types of packages and dalfs that were created with different sdks. This is done by generating interface files from dalfs and an 'instances' package that contains the template instance definitions of template data types. The instances itself are defined via the `external` keyword, which is inlined to proper daml-lf instance definitions given in the respective dalf package. We test that cross sdk imports work by importing the `simple-dalf` in the daml-assistant integation tests and running a scenario.
2019-11-06 21:35:40 +03:00
"bytestring",
Enforce consistent formatting of BUILD files. (#412) * Add buildifier targets. The tool allows to check and format BUILD files in the repo. To check if files are well formatted, run: bazel run //:buildifier To fix badly-formatted files run: bazel run //:buildifier-fix * Cleanup dade-copyright-headers formatting. * Fix dade-copyright-headers on files with just the copyright. * Run buildifier automatically on CI via 'fmt.sh'. * Reformat all BUILD files with buildifier. Excludes autogenerated Bazel files.
2019-04-12 14:10:16 +03:00
"containers",
"deepseq",
Add Numeric literals in daml-lf-ast and daml-lf-proto. (#2706) * Add Numeric literals. * Decode numeric literals * Add tests and fix Read for s=0 * lint * Copyright header * Use numericMaxScale in Serializability check * Fix comment!
2019-08-30 11:45:03 +03:00
"Decimal",
Enforce consistent formatting of BUILD files. (#412) * Add buildifier targets. The tool allows to check and format BUILD files in the repo. To check if files are well formatted, run: bazel run //:buildifier To fix badly-formatted files run: bazel run //:buildifier-fix * Cleanup dade-copyright-headers formatting. * Fix dade-copyright-headers on files with just the copyright. * Run buildifier automatically on CI via 'fmt.sh'. * Reformat all BUILD files with buildifier. Excludes autogenerated Bazel files.
2019-04-12 14:10:16 +03:00
"extra",
Use package metadata instead of file names to infer unit ids (#4667) * Use package metadata instead of file names to infer unit ids This PR adds a function that abstracts over whether we get metadata from a filename (< 1.dev) or directly from the LF metadata. There is more work to be done here, in particular, I want to clean up the hacks around daml-prim/daml-stdlib but I’ll leave that for a separate PR. changelog_begin changelog_end * Update compiler/daml-lf-ast/src/DA/Daml/LF/Ast/Util.hs Co-Authored-By: associahedron <231829+associahedron@users.noreply.github.com> * Refactor getUnitId Co-authored-by: associahedron <231829+associahedron@users.noreply.github.com>
2020-02-24 21:12:29 +03:00
"filepath",
"ghc-lib-parser",
Delete DA.Prelude (#914) * Use DA.Prelude a lot less * Make LANGUAGE pragmas have the right case * Don't reexport DA.Prelude * Remove more DA.Prelude imports * Remove the nastiest renaming DA.Prelude * Final removal of DA.Prelude * Kill DA.Prelude * Add missing dependencies * More missing package imports * More missing package imports * Update compiler/daml-lf-ast/src/DA/Daml/LF/Ast/Base.hs * Update compiler/daml-lf-ast/src/DA/Daml/LF/Ast/Base.hs
2019-05-04 20:51:56 +03:00
"hashable",
Enforce consistent formatting of BUILD files. (#412) * Add buildifier targets. The tool allows to check and format BUILD files in the repo. To check if files are well formatted, run: bazel run //:buildifier To fix badly-formatted files run: bazel run //:buildifier-fix * Cleanup dade-copyright-headers formatting. * Fix dade-copyright-headers on files with just the copyright. * Run buildifier automatically on CI via 'fmt.sh'. * Reformat all BUILD files with buildifier. Excludes autogenerated Bazel files.
2019-04-12 14:10:16 +03:00
"lens",
"mtl",
"recursion-schemes",
"safe",
"scientific",
Delete DA.Prelude (#914) * Use DA.Prelude a lot less * Make LANGUAGE pragmas have the right case * Don't reexport DA.Prelude * Remove more DA.Prelude imports * Remove the nastiest renaming DA.Prelude * Final removal of DA.Prelude * Kill DA.Prelude * Add missing dependencies * More missing package imports * More missing package imports * Update compiler/daml-lf-ast/src/DA/Daml/LF/Ast/Base.hs * Update compiler/daml-lf-ast/src/DA/Daml/LF/Ast/Base.hs
2019-05-04 20:51:56 +03:00
"template-haskell",
Enforce consistent formatting of BUILD files. (#412) * Add buildifier targets. The tool allows to check and format BUILD files in the repo. To check if files are well formatted, run: bazel run //:buildifier To fix badly-formatted files run: bazel run //:buildifier-fix * Cleanup dade-copyright-headers formatting. * Fix dade-copyright-headers on files with just the copyright. * Run buildifier automatically on CI via 'fmt.sh'. * Reformat all BUILD files with buildifier. Excludes autogenerated Bazel files.
2019-04-12 14:10:16 +03:00
"text",
"time",
"unordered-containers",
],
src_strip_prefix = "src",
visibility = ["//visibility:public"],
deps = [
"//libs-haskell/da-hs-base",
],
open-sourcing daml
2019-04-04 11:33:38 +03:00
)
Add Numeric literals in daml-lf-ast and daml-lf-proto. (#2706) * Add Numeric literals. * Decode numeric literals * Add tests and fix Read for s=0 * lint * Copyright header * Use numericMaxScale in Serializability check * Fix comment!
2019-08-30 11:45:03 +03:00
da_haskell_test(
name = "tests",
srcs = glob(["test/**/*.hs"]),
Rename hazel_deps to hackage_deps (#2789) * hazel_deps --> hackage_deps Mechanical change: ``` sed -i 's/hazel_deps/hackage_deps/g' $(ag -l hazel_deps) ``` * Hazel dependencies --> Hackage dependencies
2019-09-06 12:01:09 +03:00
hackage_deps = [
Add Numeric literals in daml-lf-ast and daml-lf-proto. (#2706) * Add Numeric literals. * Decode numeric literals * Add tests and fix Read for s=0 * lint * Copyright header * Use numericMaxScale in Serializability check * Fix comment!
2019-08-30 11:45:03 +03:00
"base",
DAML-LF: fix subsitution bug (#3798) * damlc lf typechecker: expose subtitution bug * Fix substitution bug * Rename variables * fix subsitution bug in scala side * reactive some test * Update daml-lf/validation/src/main/scala/com/digitalasset/daml/lf/validation/TypeSubst.scala Co-Authored-By: associahedron <231829+associahedron@users.noreply.github.com> * Update daml-lf/validation/src/main/scala/com/digitalasset/daml/lf/validation/TypeSubst.scala Co-Authored-By: associahedron <231829+associahedron@users.noreply.github.com>
2019-12-10 15:36:55 +03:00
"containers",
Type checking DAML-LF type synonyms (#3959) * CHANGELOG_BEGIN Type-check type synonyms. CHANGELOG_END * placate HLint * comments * Add an example that requires the check in kindOf * check types containing syn-apps are well formed even when there is no expression of that type * show type mismatch error after synonyms are expanded * typeOf calls expandTypeSynonyms; track vars bound by TForall during expansion * test interaction of syn-expansion and free-vars; add one bigger testcase * extend bigger example with pointed typeclass, having functor as a super class Co-authored-by: Moritz Kiefer <moritz.kiefer@purelyfunctional.org>
2020-01-10 20:51:51 +03:00
"extra",
Add Numeric literals in daml-lf-ast and daml-lf-proto. (#2706) * Add Numeric literals. * Decode numeric literals * Add tests and fix Read for s=0 * lint * Copyright header * Use numericMaxScale in Serializability check * Fix comment!
2019-08-30 11:45:03 +03:00
"tasty",
"tasty-hunit",
],
main_function = "DA.Daml.LF.Ast.Tests.main",
src_strip_prefix = "test",
visibility = ["//visibility:public"],
deps = [
":daml-lf-ast",
Type checking DAML-LF type synonyms (#3959) * CHANGELOG_BEGIN Type-check type synonyms. CHANGELOG_END * placate HLint * comments * Add an example that requires the check in kindOf * check types containing syn-apps are well formed even when there is no expression of that type * show type mismatch error after synonyms are expanded * typeOf calls expandTypeSynonyms; track vars bound by TForall during expansion * test interaction of syn-expansion and free-vars; add one bigger testcase * extend bigger example with pointed typeclass, having functor as a super class Co-authored-by: Moritz Kiefer <moritz.kiefer@purelyfunctional.org>
2020-01-10 20:51:51 +03:00
"//compiler/daml-lf-tools",
Add Numeric literals in daml-lf-ast and daml-lf-proto. (#2706) * Add Numeric literals. * Decode numeric literals * Add tests and fix Read for s=0 * lint * Copyright header * Use numericMaxScale in Serializability check * Fix comment!
2019-08-30 11:45:03 +03:00
"//libs-haskell/da-hs-base",
Make name collision check more strict (#5219) * Make name collision check more strict This PR extends the name collision check to catch collisions between A:B (type B in module A) and module A.B.C. For now this is just a warning and not an error. Once we turn it into an error, we also need to add this to the Scala collision checker. There is a fair bit of plumbing required to make warnings work but on the plus side we get multiple errors at once now instead of erroring out on the first one. changelog_begin - [DAML Compiler] The name collision check has been extended to also count the case as a collision where you have a type B in module A and a module A.B.C (but no module A.B). This is a warning in this SDK release but will become an error in a future release. The typescript codegen is not usable on packages that don’t uphold this restriction. changelog_end * Address review comments
2020-03-26 21:24:34 +03:00
"//libs-haskell/test-utils",
Add Numeric literals in daml-lf-ast and daml-lf-proto. (#2706) * Add Numeric literals. * Decode numeric literals * Add tests and fix Read for s=0 * lint * Copyright header * Use numericMaxScale in Serializability check * Fix comment!
2019-08-30 11:45:03 +03:00
],
)
Reference in New Issue Copy Permalink