Skip to content
This repository has been archived by the owner on Jan 2, 2021. It is now read-only.

Infrastructure for on-disk incremental builds #189

Merged
merged 1 commit into from
Nov 7, 2019
Merged

Conversation

cocreature
Copy link
Collaborator

@cocreature cocreature commented Nov 7, 2019

This is intended for the DAML CLI compiler which is also built upon
ghcide. For now, we have no intention of using this in the DAML IDE
or in ghcide but that might change in the future.

See digital-asset/daml#3378 for the corresponding DAML PR.

This is intended for the DAML CLI compiler which is also built upon
`ghcide`. For now, we have no intention of using this in the DAML IDE
or in ghcide but that might change in the future.
Copy link

@ghost ghost left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM 👍

Copy link
Contributor

@aherrmann-da aherrmann-da left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks great!

@cocreature cocreature merged commit 7a215d2 into master Nov 7, 2019
@cocreature cocreature deleted the ondisk-iface branch November 7, 2019 16:13
pepeiborra pushed a commit to pepeiborra/ide that referenced this pull request Dec 29, 2020
This is intended for the DAML CLI compiler which is also built upon
`ghcide`. For now, we have no intention of using this in the DAML IDE
or in ghcide but that might change in the future.
pepeiborra pushed a commit to pepeiborra/ide that referenced this pull request Dec 29, 2020
This is intended for the DAML CLI compiler which is also built upon
`ghcide`. For now, we have no intention of using this in the DAML IDE
or in ghcide but that might change in the future.
pepeiborra pushed a commit to pepeiborra/ide that referenced this pull request Dec 29, 2020
This is intended for the DAML CLI compiler which is also built upon
`ghcide`. For now, we have no intention of using this in the DAML IDE
or in ghcide but that might change in the future.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants