free-theorems 0.3.1.2 → 0.3.1.3
raw patch · 2 files changed
+3/−3 lines, 2 filesnew-uploader
Files
free-theorems.cabal view
@@ -1,5 +1,5 @@ name: free-theorems-version: 0.3.1.2+version: 0.3.1.3 license: PublicDomain license-file: LICENSE author: Sascha Boehme@@ -17,7 +17,7 @@ In the last two sublanguages, also inequational free theorems may be derived in addition to classical equational results. category: Language-tested-with: GHC==6.8.2, GHC==6.10.1+tested-with: GHC==6.8.2, GHC==6.10.1, GHC==6.12.3 cabal-version: >= 1.2.3 build-type: Simple
src/Language/Haskell/FreeTheorems/Intermediate.hs view
@@ -317,7 +317,7 @@ -- hack! should be somehow better implemented -- if BottomReflecting is not present, we had -- TypeAbsLab quantification in (SubsetWithSeq Equational)- res' = if elem BottomReflecting res then res'' else filter (/= Total) res''+ res' = if elem BottomReflecting res || elem Total res then res'' else filter (/= Total) res'' in if rv == r then FunAbs ri fv ts (res' ++ (classConstraints res)) rel' else rel