RFC: Also change lowering of getproperty

base/Base.jl

@@ -20,6 +20,8 @@ include(path::String) = include(Base, path)
 const is_primary_base_module = ccall(:jl_module_parent, Ref{Module}, (Any,), Base) === Core.Main
 ccall(:jl_set_istopmod, Cvoid, (Any, Bool), Base, is_primary_base_module)
 
+getproperty(x) = getfield
+
 # Try to help prevent users from shooting them-selves in the foot
 # with ambiguities by defining a few common and critical operations
 # (and these don't need the extra convert code)
@@ -317,8 +319,8 @@ include("hashing2.jl")
 
 # irrational mathematical constants
 include("irrationals.jl")
-include("mathconstants.jl")
-using .MathConstants: ℯ, π, pi
+#include("mathconstants.jl")
+#using .MathConstants: ℯ, π, pi
 
 # metaprogramming
 include("meta.jl")

base/boot.jl

@@ -184,7 +184,6 @@ export
     # constants
     nothing, Main
 
-const getproperty = getfield
 const setproperty! = setfield!
 
 abstract type Number end
@@ -226,6 +225,8 @@ ccall(:jl_toplevel_eval_in, Any, (Any, Any),
       (f::typeof(Typeof))(x) = ($(_expr(:meta,:nospecialize,:x)); isa(x,Type) ? Type{x} : typeof(x))
       end)
 
+getproperty(x) = getfield
+
 # let the compiler assume that calling Union{} as a constructor does not need
 # to be considered ever (which comes up often as Type{<:T})
 Union{}(a...) = throw(MethodError(Union{}, a))

base/compiler/compiler.jl

@@ -8,7 +8,7 @@ import Core: print, println, show, write, unsafe_write, stdout, stderr,
              _apply, _apply_iterate, svec, apply_type, Builtin, IntrinsicFunction,
              MethodInstance, CodeInstance, MethodMatch
 
-const getproperty = Core.getfield
+getproperty(x) = Core.getfield
 const setproperty! = Core.setfield!
 
 ccall(:jl_set_istopmod, Cvoid, (Any, Bool), Compiler, false)

base/io.jl

@@ -346,7 +346,7 @@ If `pipe isa AbstractPipe`, it must obey the following interface:
 """
 abstract type AbstractPipe <: IO end
 
-function getproperty(pipe::AbstractPipe, name::Symbol)
+getproperty(pipe::AbstractPipe) = (pipe::AbstractPipe, name::Symbol)->begin
     if name === :in || name === :in_stream || name === :out || name === :out_stream ||
        name === :err || name === :err_stream
         return getfield(pipe, name)::IO

base/stream.jl

@@ -26,7 +26,7 @@ If `server isa LibuvServer`, it must obey the following interface:
 """
 abstract type LibuvServer <: IOServer end
 
-function getproperty(server::LibuvServer, name::Symbol)
+getproperty(server::LibuvServer) = (server::LibuvServer, name::Symbol)->begin
     if name === :handle
         return getfield(server, :handle)::Ptr{Cvoid}
     elseif name === :status
@@ -55,7 +55,7 @@ If`stream isa LibuvStream`, it must obey the following interface:
 """
 abstract type LibuvStream <: IO end
 
-function getproperty(stream::LibuvStream, name::Symbol)
+getproperty(server::LibuvStream) = (stream::LibuvStream, name::Symbol)->begin
     if name === :handle
         return getfield(stream, :handle)::Ptr{Cvoid}
     elseif name === :status

base/task.jl

@@ -127,7 +127,8 @@ const task_state_runnable = UInt8(0)
 const task_state_done     = UInt8(1)
 const task_state_failed   = UInt8(2)
 
-@inline function getproperty(t::Task, field::Symbol)
+getproperty(t::Task) = (t::Task, field::Symbol)->begin
+    @_inline_meta
     if field === :state
         # TODO: this field name should be deprecated in 2.0
         st = getfield(t, :_state)

src/ast.scm

@@ -361,6 +361,9 @@
 (define (outerref? e)
   (and (pair? e) (eq? (car e) 'outerref)))
 
+(define (nothing? e)
+  (and (pair? e) (eq? (car e) 'null)))
+
 (define (symbol-like? e)
   (or (symbol? e) (ssavalue? e)))
 

src/julia-syntax.scm

@@ -239,15 +239,18 @@
                        (cdr type-ex))))
         '())))
 
-;; expressions of the form a.b.c... where everything is a symbol
-(define (sym-ref? e)
+(define (nodot-sym-ref? e)
   (or (symbol? e)
       (and (length= e 3) (eq? (car e) 'globalref))
-      (and (length= e 2) (eq? (car e) 'outerref))
+      (and (length= e 2) (eq? (car e) 'outerref))))
+
+;; expressions of the form a.b.c... where everything is a symbol
+(define (sym-ref? e)
+  (or (nodot-sym-ref? e)
       (and (length= e 3) (eq? (car e) '|.|)
-           (or (atom? (cadr e)) (sym-ref? (cadr e)))
-           (pair? (caddr e)) (memq (car (caddr e)) '(quote inert))
-           (symbol? (cadr (caddr e))))))
+            (or (atom? (cadr e)) (sym-ref? (cadr e)))
+            (pair? (caddr e)) (memq (car (caddr e)) '(quote inert))
+            (symbol? (cadr (caddr e))))))
 
 ;; convert final (... x) to (curly Vararg x)
 (define (dots->vararg a)
@@ -344,7 +347,7 @@
          (error "function static parameter names not unique"))
      (if (any (lambda (x) (and (not (eq? x UNUSED)) (memq x names))) anames)
          (error "function argument and static parameter names must be distinct"))
-     (if (or (and name (not (sym-ref? name))) (not (valid-name? name)))
+     (if (and (not (nothing? name)) (or (and name (not (sym-ref? name))) (not (valid-name? name))))
          (error (string "invalid function name \"" (deparse name) "\"")))
      (let* ((loc (maybe-remove-functionloc! body))
             (generator (if (expr-contains-p if-generated? body (lambda (x) (not (function-def? x))))
@@ -496,7 +499,7 @@
 
         ;; call with no keyword args
         ,(method-def-expr-
-          name positional-sparams pargl-all
+          (if (nodot-sym-ref? name) name `(null)) positional-sparams pargl-all
           `(block
             ,@(without-generated prologue)
             ,(let (;; call mangled(vals..., [rest_kw,] pargs..., [vararg]...)
@@ -682,7 +685,7 @@
         (begin (check-kw-args (cdar argl))
                (keywords-method-def-expr name sparams argl body rett))
         ;; no keywords
-        (method-def-expr- name sparams argl body rett))))
+        (method-def-expr- (if (nodot-sym-ref? name) name `(null)) sparams argl body rett))))
 
 (define (struct-def-expr name params super fields mut)
   (receive
@@ -1762,7 +1765,12 @@
     (if (and (pair? e) (eq? (car e) '|.|))
         (let ((f (cadr e)) (x (caddr e)))
           (cond ((or (atom? x) (eq? (car x) 'quote) (eq? (car x) 'inert) (eq? (car x) '$))
-                 `(call (top getproperty) ,f ,x))
+                 (if (symbol-like? f)
+                    `(call (call (top getproperty) ,f) ,f ,x)
+                      (let ((ff (make-ssavalue)))
+                          `(block
+                              (= ,ff ,f)
+                              (call (call (top getproperty) ,ff) ,ff ,x)))))
                 ((eq? (car x) 'tuple)
                  (if (and (eq? (identifier-name f) '^) (length= x 3) (integer? (caddr x)))
                      (make-fuse '(top literal_pow)

stdlib/Random/src/generation.jl

@@ -76,12 +76,14 @@ function _rand(rng::AbstractRNG, sp::SamplerBigFloat, ::CloseOpen12{BigFloat})
     z
 end
 
+const RoundingMode = Base.MPFR.MPFRRoundingMode
+
 function _rand(rng::AbstractRNG, sp::SamplerBigFloat, ::CloseOpen01{BigFloat})
     z, randbool = _rand(rng, sp)
     z.exp = 0
     randbool &&
         ccall((:mpfr_sub_d, :libmpfr), Int32,
-              (Ref{BigFloat}, Ref{BigFloat}, Cdouble, Base.MPFR.MPFRRoundingMode),
+              (Ref{BigFloat}, Ref{BigFloat}, Cdouble, RoundingMode),
               z, z, 0.5, Base.MPFR.ROUNDING_MODE[])
     z
 end
@@ -90,7 +92,7 @@ end
 # TODO: make an API for requesting full or not-full precision
 function _rand(rng::AbstractRNG, sp::SamplerBigFloat, ::CloseOpen01{BigFloat}, ::Nothing)
     z = _rand(rng, sp, CloseOpen12(BigFloat))
-    ccall((:mpfr_sub_ui, :libmpfr), Int32, (Ref{BigFloat}, Ref{BigFloat}, Culong, Base.MPFR.MPFRRoundingMode),
+    ccall((:mpfr_sub_ui, :libmpfr), Int32, (Ref{BigFloat}, Ref{BigFloat}, Culong, RoundingMode),
           z, z, 1, Base.MPFR.ROUNDING_MODE[])
     z
 end

stdlib/Random/src/normal.jl

@@ -66,7 +66,8 @@ end
 
 ### complex randn
 
-Base.@irrational SQRT_HALF 0.7071067811865475244008  sqrt(big(0.5))
+#Base.@irrational SQRT_HALF 0.7071067811865475244008  sqrt(big(0.5))
+const SQRT_HALF = 0.7071067811865475244008
 
 randn(rng::AbstractRNG, ::Type{Complex{T}}) where {T<:AbstractFloat} =
     Complex{T}(SQRT_HALF * randn(rng, T), SQRT_HALF * randn(rng, T))