diff options
| author | Nadrieril | 2020-12-07 13:47:21 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-12-07 19:34:39 +0000 |
| commit | 3c522217b7445c6df9e170d830f485086ad7e062 (patch) | |
| tree | 2b32d2c9106e6f0f6ad5edc7b3144f33b5991d8c /dhall/src/api | |
| parent | c785b7c0c6cd8b3b1cc15eb79caf982a757020ba (diff) | |
Tag cx ids with the cx lifetime
To make sure we don't let ids escape and we don't mix scopes.
Diffstat (limited to 'dhall/src/api')
0 files changed, 0 insertions, 0 deletions