liquid-fixpoint-0.8.10.7 expects for rest-rewrite to expose a module named Language.REST.AbstractOC, but rest-rewrite versions 0.2 and higher don't have that module. Adding an upper bound with a hackage metadata revision will make this build without users having to pin down rest-rewrite in their cabal file or their cabal.project file.
liquid-fixpoint-0.8.10.7 expects for
rest-rewriteto expose a module namedLanguage.REST.AbstractOC, butrest-rewriteversions 0.2 and higher don't have that module. Adding an upper bound with a hackage metadata revision will make this build without users having to pin downrest-rewritein their cabal file or their cabal.project file.