add default kw constructor for immutables

Closes #5333.

Author: nolta

src/julia-syntax.scm

@@ -724,22 +724,27 @@
       (map (lambda (x) (gensy)) field-names)
       field-names))
 
-(define (default-inner-ctors name field-names field-types gen-specific?)
-  (let* ((field-names (safe-field-names field-names field-types))
-	 (any-ctor
-	  ;; definition with Any for all arguments
-	  `(function (call ,name ,@field-names)
-		     (block
-		      (call new ,@field-names)))))
-    (if gen-specific?
-	(list
-	 ;; definition with field types for all arguments
-	 `(function (call ,name
-			  ,@(map make-decl field-names field-types))
-		    (block
-		     (call new ,@field-names)))
-	 any-ctor)
-	(list any-ctor))))
+(define (default-inner-ctors name field-names field-types gen-specific? mutabl)
+  (let* ((arg-names (safe-field-names field-names field-types))
+         (any-ctor `(function (call ,name ,@arg-names)
+                              (block (call new ,@arg-names))))
+         (ctors (if gen-specific?
+	            (list
+                     ;; definition with field types for all arguments
+	             `(function (call ,name ,@(map make-decl arg-names field-types))
+		                (block (call new ,@arg-names)))
+	             any-ctor)
+	            (list any-ctor))))
+    (if (and (not mutabl)
+             (length> field-names 1)
+             (eq? arg-names field-names))
+        (let ((g (gensy)))
+          (cons `(function (call ,name
+                                 (parameters ,@(map (lambda (k) `(kw ,k (|.| ,g ',k))) field-names))
+                                 (|::| ,g ,name))
+                           (block (call new ,@field-names)))
+                ctors))
+        ctors)))
 
 (define (default-outer-ctor name field-names field-types params bounds)
   (let ((field-names (safe-field-names field-names field-types)))
@@ -828,7 +833,7 @@
 	  (field-names (map decl-var fields))
 	  (field-types (map decl-type fields))
 	  (defs2 (if (null? defs)
-		     (default-inner-ctors name field-names field-types (null? params))
+		     (default-inner-ctors name field-names field-types (null? params) mut)
 		     defs)))
      (for-each (lambda (v)
 		 (if (not (symbol? v))

test/core.jl

@@ -1859,3 +1859,19 @@ let ex = Expr(:(=), :(f8338(x;y=4)), :(x*y))
     eval(ex)
     @test f8338(2) == 8
 end
+
+# issue #5333
+immutable I5333
+    a::Int
+    b::Int
+end
+type T5333
+    a::Int
+    b::Int
+end
+let i = I5333(1,2), t = T5333(1,2)
+    @test I5333(i;b=3) === I5333(1,3)
+    @test I5333(i;a=3) === I5333(3,2)
+    @test_throws ErrorException T5333(t;a=3)
+    @test_throws ErrorException T5333(t;b=3)
+end