Support export *, see erikd#124

Author: DanBurton

src/Language/JavaScript/Parser/AST.hs

@@ -114,8 +114,8 @@ data JSImportSpecifier
     deriving (Data, Eq, Generic, NFData, Show, Typeable)
 
 data JSExportDeclaration
-    -- = JSExportAllFrom
-    = JSExportFrom JSExportClause JSFromClause !JSSemi -- ^exports, module, semi
+    = JSExportAllFrom !JSBinOp !JSFromClause !JSSemi -- ^*, module, semi
+    | JSExportFrom !JSExportClause JSFromClause !JSSemi -- ^exports, module, semi
     | JSExportLocals JSExportClause !JSSemi -- ^exports, autosemi
     | JSExport !JSStatement !JSSemi -- ^body, autosemi
     -- | JSExportDefault
@@ -499,6 +499,7 @@ instance ShowStripped JSImportSpecifier where
     ss (JSImportSpecifierAs x1 _ x2) = "JSImportSpecifierAs (" ++ ss x1 ++ "," ++ ss x2 ++ ")"
 
 instance ShowStripped JSExportDeclaration where
+    ss (JSExportAllFrom _ from _) = "JSExportAllFrom (" ++ ss from ++ ")"
     ss (JSExportFrom xs from _) = "JSExportFrom (" ++ ss xs ++ "," ++ ss from ++ ")"
     ss (JSExportLocals xs _) = "JSExportLocals (" ++ ss xs ++ ")"
     ss (JSExport x1 _) = "JSExport (" ++ ss x1 ++ ")"

src/Language/JavaScript/Parser/Grammar7.y

@@ -1443,7 +1443,7 @@ ImportSpecifier : IdentifierName
                     { AST.JSImportSpecifierAs (identName $1) $2 (identName $3) }
 
 -- ExportDeclaration :                                                        See 15.2.3
--- [ ]    export * FromClause ;
+-- [x]    export * FromClause ;
 -- [x]    export ExportClause FromClause ;
 -- [x]    export ExportClause ;
 -- [x]    export VariableStatement
@@ -1461,7 +1461,9 @@ ImportSpecifier : IdentifierName
 -- [ ]    export default ClassDeclaration[Default]
 -- [ ]    export default [lookahead ∉ { function, class }] AssignmentExpression[In] ;
 ExportDeclaration :: { AST.JSExportDeclaration }
-ExportDeclaration : ExportClause FromClause AutoSemi
+ExportDeclaration : Mul FromClause AutoSemi
+                         { AST.JSExportAllFrom $1 $2 $3 {- 'ExportDeclaration0' -} }
+                  | ExportClause FromClause AutoSemi
                          { AST.JSExportFrom $1 $2 $3  {- 'ExportDeclaration1' -} }
                   | ExportClause AutoSemi
                          { AST.JSExportLocals $1 $2   {- 'ExportDeclaration2' -} }

src/Language/JavaScript/Pretty/Printer.hs

@@ -337,6 +337,7 @@ instance RenderJS JSExportDeclaration where
     (|>) pacc (JSExport x1 s) = pacc |> x1 |> s
     (|>) pacc (JSExportLocals xs semi) = pacc |> xs |> semi
     (|>) pacc (JSExportFrom xs from semi) = pacc |> xs |> from |> semi
+    (|>) pacc (JSExportAllFrom star from semi) = pacc |> star |> from |> semi
 
 instance RenderJS JSExportClause where
     (|>) pacc (JSExportClause alb JSLNil arb) = pacc |> alb |> "{" |> arb |> "}"

src/Language/JavaScript/Process/Minify.hs

@@ -330,6 +330,7 @@ instance MinifyJS JSImportSpecifier where
     fix _ (JSImportSpecifierAs x1 _ x2) = JSImportSpecifierAs (fixEmpty x1) spaceAnnot (fixSpace x2)
 
 instance MinifyJS JSExportDeclaration where
+    fix a (JSExportAllFrom _ from _) = JSExportAllFrom (JSBinOpTimes a) (fix a from) noSemi
     fix a (JSExportFrom x1 from _) = JSExportFrom (fix a x1) (fix a from) noSemi
     fix _ (JSExportLocals x1 _) = JSExportLocals (fix emptyAnnot x1) noSemi
     fix _ (JSExport x1 _) = JSExport (fixStmt spaceAnnot noSemi x1) noSemi

test/Test/Language/Javascript/Minify.hs

@@ -333,6 +333,7 @@ testMinifyModule = describe "Minify modules:" $ do
         minifyModule " export const a = 1 ; " `shouldBe` "export const a=1"
         minifyModule " export function f () {  } ; " `shouldBe` "export function f(){}"
         minifyModule " export function * f () {  } ; " `shouldBe` "export function*f(){}"
+        minifyModule " export * from \"mod\" ; " `shouldBe` "export*from\"mod\""
 
 -- -----------------------------------------------------------------------------
 -- Minify test helpers.