aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2020-05-22 18:13:17 +0100
committerFlorian Diebold <[email protected]>2020-05-22 20:05:28 +0100
commit194dd9eb0d44284f7e952a1e84296fcda4d90f5e (patch)
tree0a8f9cd65553cd6cae0a4cf3598adfcf61ac9688 /editors
parentbfbc210bc1216b79e355eb70449caf08dc67d5ad (diff)
Use Chalk's Ty::Function for function pointer types
Function pointers can be 'higher-ranked' over lifetimes, which is why they're not an application type in Chalk, but since we don't model lifetimes it doesn't matter for us yet.
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions