github.com/epfl-dcsl/gotee@v0.0.0-20200909122901-014b35f5e5e9/test/safe/main.go (about)

     1  // true
     2  
     3  // Copyright 2012 The Go Authors. All rights reserved.
     4  // Use of this source code is governed by a BSD-style
     5  // license that can be found in the LICENSE file.
     6  
     7  package main
     8  
     9  // can't use local path with -u, use -I. instead
    10  import "pkg"  // ERROR "import unsafe package"
    11  
    12  func main() {
    13  	print(pkg.Float32bits(1.0))
    14  }