JavaScriptExpert
diff --git a/‎examples/passing/Operators.purs‎
Lines changed: 12 additions & 0 deletions b/‎examples/passing/Operators.purs‎
Lines changed: 12 additions & 0 deletions
diff --git a/‎src/Language/PureScript/Pretty/JS.hs‎
Lines changed: 13 additions & 4 deletions b/‎src/Language/PureScript/Pretty/JS.hs‎
Lines changed: 13 additions & 4 deletions
diff --git a/‎src/Language/PureScript/Sugar/Operators.hs‎
Lines changed: 0 additions & 2 deletions b/‎src/Language/PureScript/Sugar/Operators.hs‎
Lines changed: 0 additions & 2 deletions
@@ -64,6 +64,15 @@ module Main where
   test16 :: Number -> Number -> Number 
   test16 x y = x .|. y .&. y
 
+  test17 :: Number
+  test17 = negate (-1)
+
+  test18 :: Number
+  test18 = negate $ negate 1
+
+  test19 :: Number
+  test19 = negate $ negate (-1)
+
   main = do
     let t1 = test1 1 2 (\x y -> x + y)
     let t2 = test2
@@ -81,4 +90,7 @@ module Main where
     let t14 = test14 1 2
     let t15 = test15 1 2
     let t16 = test16 1 2
+    let t17 = test17
+    let t18 = test18
+    let t19 = test19
     trace "Done"
@@ -209,15 +209,24 @@ instanceOf = mkPattern match
   match (JSInstanceOf val ty) = Just (val, ty)
   match _ = Nothing
 
-unary :: UnaryOperator -> String -> Operator PrinterState JS String
-unary op str = Wrap match (++)
+unary' :: UnaryOperator -> (JS -> String) -> Operator PrinterState JS String
+unary' op mkStr = Wrap match (++)
   where
   match :: Pattern PrinterState JS (String, JS)
   match = mkPattern match'
     where
-    match' (JSUnary op' val) | op' == op = Just (str, val)
+    match' (JSUnary op' val) | op' == op = Just (mkStr val, val)
     match' _ = Nothing
 
+unary :: UnaryOperator -> String -> Operator PrinterState JS String
+unary op str = unary' op (const str)
+
+negateOperator :: Operator PrinterState JS String
+negateOperator = unary' Negate (\v -> if isNegate v then "- " else "-")
+  where
+  isNegate (JSUnary Negate _) = True
+  isNegate _ = False
+
 binary :: BinaryOperator -> String -> Operator PrinterState JS String
 binary op str = AssocL match (\v1 v2 -> v1 ++ " " ++ str ++ " " ++ v2)
   where
@@ -271,7 +280,7 @@ prettyPrintJS' = A.runKleisli $ runPattern matchValue
                   , [ AssocR instanceOf $ \v1 v2 -> v1 ++ " instanceof " ++ v2 ]
                   , [ unary     Not                  "!" ]
                   , [ unary     BitwiseNot           "~" ]
-                  , [ unary     Negate               "-" ]
+                  , [ negateOperator ]
                   , [ unary     Positive             "+" ]
                   , [ binary    Multiply             "*"
                     , binary    Divide               "/"
 
@@ -58,8 +58,6 @@ removeSignedLiterals (Module mn ds exts) = Module mn (map f' ds) exts
   where
   (f', _, _) = everywhereOnValues id go id
 
-  go (UnaryMinus (NumericLiteral (Left n))) = NumericLiteral (Left $ negate n)
-  go (UnaryMinus (NumericLiteral (Right n))) = NumericLiteral (Right $ negate n)
   go (UnaryMinus val) = App (Var (Qualified (Just (ModuleName [ProperName C.prelude])) (Ident C.negate))) val
   go other = other