summaryrefslogtreecommitdiff
path: root/dhall_generator/src/derive.rs
diff options
context:
space:
mode:
authorNadrieril2019-04-23 12:38:48 +0200
committerNadrieril2019-04-23 12:38:48 +0200
commit162d2a2a6d241d525346e295b0cf2ad43387bed5 (patch)
tree043d01626ee4e6a564098315a0ae1abdd4d9af5e /dhall_generator/src/derive.rs
parent60df4ed07a752d256888e6b4449a48bfa43cf79f (diff)
Pass TypedImproved directly to type_last_layer
Diffstat (limited to 'dhall_generator/src/derive.rs')
0 files changed, 0 insertions, 0 deletions