2012-02-17 08:48:57 +04:00
|
|
|
// errorcheck
|
2010-04-19 20:21:51 +04:00
|
|
|
|
|
|
|
// Copyright 2010 The Go Authors. All rights reserved.
|
|
|
|
// Use of this source code is governed by a BSD-style
|
|
|
|
// license that can be found in the LICENSE file.
|
|
|
|
|
2012-02-19 06:19:43 +04:00
|
|
|
// Verify that incorrect invocations of the complex predeclared function are detected.
|
|
|
|
// Does not compile.
|
|
|
|
|
2010-04-19 20:21:51 +04:00
|
|
|
package main
|
|
|
|
|
2013-03-12 01:55:14 +04:00
|
|
|
type (
|
|
|
|
Float32 float32
|
|
|
|
Float64 float64
|
|
|
|
Complex64 complex64
|
|
|
|
Complex128 complex128
|
|
|
|
)
|
|
|
|
|
2010-04-19 20:21:51 +04:00
|
|
|
var (
|
|
|
|
f32 float32
|
|
|
|
f64 float64
|
2013-03-12 01:55:14 +04:00
|
|
|
F32 Float32
|
|
|
|
F64 Float64
|
2010-04-19 20:21:51 +04:00
|
|
|
|
2011-01-20 07:09:00 +03:00
|
|
|
c64 complex64
|
2010-04-19 20:21:51 +04:00
|
|
|
c128 complex128
|
2013-03-12 01:55:14 +04:00
|
|
|
C64 Complex64
|
|
|
|
C128 Complex128
|
2010-04-19 20:21:51 +04:00
|
|
|
)
|
2011-01-20 07:09:00 +03:00
|
|
|
|
2010-04-19 20:21:51 +04:00
|
|
|
func main() {
|
|
|
|
// ok
|
2011-01-20 07:09:00 +03:00
|
|
|
c64 = complex(f32, f32)
|
|
|
|
c128 = complex(f64, f64)
|
2010-04-19 20:21:51 +04:00
|
|
|
|
2011-01-20 07:09:00 +03:00
|
|
|
_ = complex128(0) // ok
|
|
|
|
_ = complex(f32, f64) // ERROR "complex"
|
|
|
|
_ = complex(f64, f32) // ERROR "complex"
|
2013-03-12 01:55:14 +04:00
|
|
|
_ = complex(f32, F32) // ERROR "complex"
|
|
|
|
_ = complex(F32, f32) // ERROR "complex"
|
|
|
|
_ = complex(f64, F64) // ERROR "complex"
|
|
|
|
_ = complex(F64, f64) // ERROR "complex"
|
|
|
|
|
|
|
|
c128 = complex(f32, f32) // ERROR "cannot use"
|
|
|
|
c64 = complex(f64, f64) // ERROR "cannot use"
|
|
|
|
|
|
|
|
c64 = complex(1.0, 2.0) // ok, constant is untyped
|
|
|
|
c128 = complex(1.0, 2.0)
|
|
|
|
C64 = complex(1.0, 2.0)
|
|
|
|
C128 = complex(1.0, 2.0)
|
|
|
|
|
|
|
|
C64 = complex(f32, f32) // ERROR "cannot use"
|
|
|
|
C128 = complex(f64, f64) // ERROR "cannot use"
|
2010-04-19 20:21:51 +04:00
|
|
|
}
|