Skip to content

Activity

Showing most recent first

Ignore build artifacts in explicit srcs list

dylant-dacreated ghc-bazel-7 • e4f3017 • 
on Jan 15

change FetchByKey/LookupByKey primitive

remyhaemmerle-dacreated remy-key • 766a41e • 
on Jul 15, 2024

Parse explicit data type declarations

Force push
moisesackerman-daforce pushed to akrmn/data-flavor • 83673a9…592e242 • 
on Apr 16, 2024

Parse 'record', 'variant' and 'enum' after 'data', adding the corresp…

Force push
moisesackerman-daforce pushed to akrmn/data-flavor • cdcf439…83673a9 • 
on Mar 27, 2024

eta-reduce

Force push
moisesackerman-daforce pushed to akrmn/data-flavor • 3fe5072…cdcf439 • 
on Mar 27, 2024

Merge pull request #181 from digital-asset/akrmn/kill-daml-header

Pull request merge
moisesackerman-dapushed 3 commits to da-master-8.8.1 • 81f8734…a16d966 • 
on Mar 13, 2024

Remove 'daml 1.2' header from daml-smoke-tests/Test0.hs

Force push
moisesackerman-daforce pushed to akrmn/kill-daml-header • 011dfcf…a953391 • 
on Mar 13, 2024

Remove 'daml 1.2' header from daml-smoke-tests/Test0.hs

akrmnpushed 1 commit to akrmn/kill-daml-header • b2aa656…011dfcf • 
on Mar 13, 2024

Drop support for 'daml 1.2' header

akrmncreated akrmn/kill-daml-header • b2aa656 • 
on Mar 13, 2024

[WIP] Parse data flavor spec and add to context (dumb theta)

Force push
akrmnforce pushed to akrmn/data-flavor • 65b8136…3fe5072 • 
on Mar 6, 2024

Parse data flavor spec and add to context (dumb theta)

akrmncreated akrmn/data-flavor • 65b8136 • 
on Mar 6, 2024

Deleted branch

moisesackerman-dadeleted akrmn/unique-enum-instance • 
on Feb 28, 2024

Merge pull request #180 from digital-asset/akrmn/unique-enum-instance

Pull request merge
moisesackerman-dapushed 2 commits to da-master-8.8.1 • bc8ba7e…81f8734 • 
on Feb 28, 2024

Don't constrain generated con2tag with stupid theta

akrmncreated akrmn/unique-enum-instance • 0df6f2a • 
on Feb 19, 2024

Deleted branch

akrmndeleted akrmn/deprecate-template-agreement • 
on Feb 16, 2024

Add deprecation warning for template agreement declarations (#179)

Pull request merge
akrmnpushed 1 commit to da-master-8.8.1-daml-2.x • d48fede…08c8345 • 
on Feb 16, 2024

Add deprecation warning for template agreement declarations

akrmnpushed 1 commit to akrmn/deprecate-template-agreement • d48fede…b779d55 • 
on Feb 13, 2024

Add warning flag '-Wretroactive-interface-instances' (#172)

akrmncreated akrmn/deprecate-template-agreement • d48fede • 
on Feb 13, 2024

Deleted branch

akrmndeleted akrmn/remove-retro-interface • 
on Feb 7, 2024

Remove retroactive interface instance syntax (#178)

Pull request merge
akrmnpushed 1 commit to da-master-8.8.1 • d4e4711…bc8ba7e • 
on Feb 7, 2024

Remove retroactive interface instance syntax

Force push
akrmnforce pushed to akrmn/remove-retro-interface • 1b59929…fc5176a • 
on Feb 5, 2024

Deleted branch

akrmndeleted akrmn/deprecate-co-implements • 
on Feb 5, 2024

Add warning flag '-Wretroactive-interface-instances' (#172)

Pull request merge
akrmnpushed 1 commit to da-master-8.8.1-daml-2.x • fa2837a…d48fede • 
on Feb 5, 2024

Deleted branch

akrmndeleted get-set-field-err • 
on Feb 1, 2024

Split {Has=>{Get,Set}}Field (#177)

Pull request merge
akrmnpushed 1 commit to da-master-8.8.1 • 5ee7177…d4e4711 • 
on Feb 1, 2024

TcDaml Handles {Get,Set}Field in addition to HasField

Force push
akrmnforce pushed to get-set-field-err • cd53eda…17e06cd • 
on Feb 1, 2024

Remove retroactive interface instance syntax

akrmncreated akrmn/remove-retro-interface • 1b59929 • 
on Jan 31, 2024

Add warning flag '-Wretroactive-interface-instances'

Force push
akrmnforce pushed to akrmn/deprecate-co-implements • 1da28aa…ff4150a • 
on Jan 30, 2024

TcDaml Handles {Get,Set}Field in addition to HasField

akrmncreated get-set-field-err • cd53eda • 
on Jan 29, 2024

Merge pull request #176 from digital-asset/pb/remove-agreement-text

Pull request merge
paulbrauner-dapushed 2 commits to da-master-8.8.1 • 1fe909e…5ee7177 • 
on Jan 26, 2024