git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Merge pull request #1324 from purescript/1312-boolean-optimizations

Fix optimizer for booleanAlgebraBoolean

commit3af023100e2ae9a63ac1f81b5a5871d6ecb0c073 authorPhil Freeman <paf31@cantab.net> dateSun 2 Aug 2015, 10:51 (11 years ago) parentba3f76f20d8169
2 files changed+13−19
compare with golang
unifiedsplit
src/Language/PureScript/CodeGen/JS/Optimizer/Inliner.hs+7−10 src/Language/PureScript/Constants.hs+6−9
src/Language/PureScript/CodeGen/JS/Optimizer/Inliner.hs+7−10
@@ -156,11 +156,11 @@ inlineCommonOperators = applyAll $
156156 , binary semigroupString (C.<>) Add
157157 , binary semigroupString (C.++) Add
158158
159− , binary latticeBoolean (C.&&) And
160− , binary latticeBoolean (C.||) Or
161− , binaryFunction latticeBoolean C.inf And
162− , binaryFunction latticeBoolean C.sup Or
163− , unary complementedLatticeBoolean C.not Not
159+ , binary booleanAlgebraBoolean (C.&&) And
160+ , binary booleanAlgebraBoolean (C.||) Or
161+ , binaryFunction booleanAlgebraBoolean C.conj And
162+ , binaryFunction booleanAlgebraBoolean C.disj Or
163+ , unary booleanAlgebraBoolean C.not Not
164164
165165 , binary' C.dataIntBits (C..|.) BitwiseOr
166166 , binary' C.dataIntBits (C..&.) BitwiseAnd
@@ -307,11 +307,8 @@ semigroupString = (C.prelude, C.semigroupString)
307307boundedBoolean :: (String, String)
308308boundedBoolean = (C.prelude, C.boundedBoolean)
309309
310−latticeBoolean :: (String, String)
311−latticeBoolean = (C.prelude, C.latticeBoolean)
312−
313−complementedLatticeBoolean :: (String, String)
314−complementedLatticeBoolean = (C.prelude, C.complementedLatticeBoolean)
310+booleanAlgebraBoolean :: (String, String)
311+booleanAlgebraBoolean = (C.prelude, C.booleanAlgebraBoolean)
315312
316313semigroupoidArr :: (String, String)
317314semigroupoidArr = (C.prelude, C.semigroupoidArr)
src/Language/PureScript/Constants.hs+6−9
@@ -97,11 +97,11 @@ negate = "negate"
9797not :: String
9898not = "not"
9999
100−sup :: String
101−sup = "sup"
100+conj :: String
101+conj = "conj"
102102
103−inf :: String
104−inf = "inf"
103+disj :: String
104+disj = "disj"
105105
106106mod :: String
107107mod = "mod"
@@ -229,11 +229,8 @@ eqBoolean = "eqBoolean"
229229boundedBoolean :: String
230230boundedBoolean = "boundedBoolean"
231231
232−latticeBoolean :: String
233−latticeBoolean = "latticeBoolean"
234−
235−complementedLatticeBoolean :: String
236−complementedLatticeBoolean = "complementedLatticeBoolean"
232+booleanAlgebraBoolean :: String
233+booleanAlgebraBoolean = "booleanAlgebraBoolean"
237234
238235semigroupString :: String
239236semigroupString = "semigroupString"