git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Merge pull request #1324 from purescript/1312-boolean-optimizations
3af0231Phil Freeman
src/Language/PureScript/CodeGen/JS/Optimizer/Inliner.hs+7−10
compare with golang
unifiedsplit
@@ -156,11 +156,11 @@ inlineCommonOperators = applyAll $
156 , binary semigroupString (C.<>) Add
156 , binary semigroupString (C.<>) Add
157 , binary semigroupString (C.++) Add
157 , binary semigroupString (C.++) Add
158
158
159− , binary latticeBoolean (C.&&) And
159+ , binary booleanAlgebraBoolean (C.&&) And
160− , binary latticeBoolean (C.||) Or
160+ , binary booleanAlgebraBoolean (C.||) Or
161− , binaryFunction latticeBoolean C.inf And
161+ , binaryFunction booleanAlgebraBoolean C.conj And
162− , binaryFunction latticeBoolean C.sup Or
162+ , binaryFunction booleanAlgebraBoolean C.disj Or
163− , unary complementedLatticeBoolean C.not Not
163+ , unary booleanAlgebraBoolean C.not Not
164
164
165 , binary' C.dataIntBits (C..|.) BitwiseOr
165 , binary' C.dataIntBits (C..|.) BitwiseOr
166 , binary' C.dataIntBits (C..&.) BitwiseAnd
166 , binary' C.dataIntBits (C..&.) BitwiseAnd
@@ -307,11 +307,8 @@ semigroupString = (C.prelude, C.semigroupString)
307boundedBoolean :: (String, String)
307boundedBoolean :: (String, String)
308boundedBoolean = (C.prelude, C.boundedBoolean)
308boundedBoolean = (C.prelude, C.boundedBoolean)
309
309
310−latticeBoolean :: (String, String)
310+booleanAlgebraBoolean :: (String, String)
311−latticeBoolean = (C.prelude, C.latticeBoolean)
311+booleanAlgebraBoolean = (C.prelude, C.booleanAlgebraBoolean)
312−
313−complementedLatticeBoolean :: (String, String)
314−complementedLatticeBoolean = (C.prelude, C.complementedLatticeBoolean)
315
312
316semigroupoidArr :: (String, String)
313semigroupoidArr :: (String, String)
317semigroupoidArr = (C.prelude, C.semigroupoidArr)
314semigroupoidArr = (C.prelude, C.semigroupoidArr)
src/Language/PureScript/Constants.hs+6−9
@@ -97,11 +97,11 @@ negate = "negate"
97not :: String
97not :: String
98not = "not"
98not = "not"
99
99
100−sup :: String
100+conj :: String
101−sup = "sup"
101+conj = "conj"
102
102
103−inf :: String
103+disj :: String
104−inf = "inf"
104+disj = "disj"
105
105
106mod :: String
106mod :: String
107mod = "mod"
107mod = "mod"
@@ -229,11 +229,8 @@ eqBoolean = "eqBoolean"
229boundedBoolean :: String
229boundedBoolean :: String
230boundedBoolean = "boundedBoolean"
230boundedBoolean = "boundedBoolean"
231
231
232−latticeBoolean :: String
232+booleanAlgebraBoolean :: String
233−latticeBoolean = "latticeBoolean"
233+booleanAlgebraBoolean = "booleanAlgebraBoolean"
234−
235−complementedLatticeBoolean :: String
236−complementedLatticeBoolean = "complementedLatticeBoolean"
237
234
238semigroupString :: String
235semigroupString :: String
239semigroupString = "semigroupString"
236semigroupString = "semigroupString"