fix futhark build failed in ghc 8.10.3#67363

Closed

fishtreesugar wants to merge 2 commits intoHomebrew:masterfrom fishtreesugar:futhark-ghc-8.10.3

+3-1

Commits on Dec 21, 2020

fix futhark build failed in ghc 8.10.3
fishtreesugar
committed

Commits on Dec 22, 2020

remove revision

fishtreesugar
and
carlocab
authored