aboutsummaryrefslogtreecommitdiffhomepage
path: root/interp
diff options
context:
space:
mode:
authorGravatar Tej Chajed <tchajed@mit.edu>2017-10-25 16:05:39 -0400
committerGravatar Tej Chajed <tchajed@mit.edu>2017-10-25 16:05:39 -0400
commit3a5abd404674900397e0b3a4d050e0fb12829406 (patch)
tree589e936d471dcd573413f5e5beb62a6cb3c91c28 /interp
parentad973248998da8d7d10ed00f4bcd6f383ba9a171 (diff)
Use GHC.Base.Any for compatibility with GHC 8.2
Fixes #6022.
Diffstat (limited to 'interp')
0 files changed, 0 insertions, 0 deletions