diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-05-28 12:58:28 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2019-05-28 13:06:43 +0200 |
| commit | 6d7efcfaeb715b04986ef5a6b1d8f57de4ba5509 (patch) | |
| tree | 9cb888193b86a44fcf1cafd0ca13b7b6217a6061 /mk | |
| parent | de36cf3db95afbc96eae80cae9cf2901d1f3d9db (diff) | |
Store SourceInfo in Flake and NonFlake
This deduplicates some shared fields. Factoring out the commonality is
useful in places like makeFlakeValue().
Diffstat (limited to 'mk')
0 files changed, 0 insertions, 0 deletions