diff options
author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-03-13 03:03:20 -0700 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-03-23 17:20:08 -0400 |
commit | 26879d9b4a2aba264a10812f2738d4db685d61d1 (patch) | |
tree | 0ddafd48d8ba8dc3f48a4c764cd35b886836bf77 /hypsrc-test/src/Records.hs | |
parent | 68e531baa35e698d947686b83525871eb33c3730 (diff) |
Add a field marking if interface is a signature or not.
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
(cherry picked from commit 930cfbe58e2e87f5a4d431d89a3c204934e6e858)
Diffstat (limited to 'hypsrc-test/src/Records.hs')
0 files changed, 0 insertions, 0 deletions