qbit/go
1
0
Fork 0
mirror of https://github.com/golang/go synced 2024-10-04 11:11:21 -06:00
Code Releases Activity
4,645 Commits 58 Branches 402 Tags 522 MiB
dfc0ed9559
Commit Graph

730 Commits

Author SHA1 Message Date
Russ Cox
dbe004efe4 delayed evaluation of var blocks 
R=ken
OCL=32750
CL=32753
 2009-08-04 16:53:06 -07:00
Russ Cox
f7a867e1a6 move select into its own file. 
split into typecheck + walk

R=ken
OCL=32726
CL=32726
 2009-08-04 12:57:48 -07:00
Russ Cox
d8c19c80dc type checking of assignments, switch, if, for 
R=ken
OCL=32716
CL=32720
 2009-08-04 10:26:29 -07:00
Russ Cox
9dc22b6d6f more 6g reorg; checkpoint. 
typecheck.c is now responsible for all type checking
except for assignment and function argument "..."

R=ken
OCL=32661
CL=32667
 2009-08-03 11:58:52 -07:00
Russ Cox
9953c48dc4 missed in last checkin 
R=ken
OCL=32581
CL=32581
 2009-07-31 09:45:39 -07:00
Russ Cox
a2b8e38766 checkpoint; still plenty to clean up 
R=ken
OCL=32576
CL=32580
 2009-07-31 09:29:28 -07:00
Russ Cox
b754b4348f delete some code from walkexpr that is now 
handled by typecheck.

second switch is gone

move floating point minus into back end

R=ken
OCL=32558
CL=32558
 2009-07-30 18:56:44 -07:00
Russ Cox
ff3a73b407 typechecking checkpoint. 
started to move typechecking to another file.
can build entire tree still, but lots of work
is duplicated.  much to clean up.

R=ken
OCL=32536
CL=32543
 2009-07-30 16:53:08 -07:00
Russ Cox
2946069e3f break and continue fixes 
labeled break/continue was using
first loop with any label,
not first loop with the right label.

R=ken
OCL=32453
CL=32458
 2009-07-29 14:49:01 -07:00
Russ Cox
9271c6402e introduce typecheck pass before walkexpr. 
not complete but compiler still works.

R=ken
OCL=32424
CL=32426
 2009-07-29 12:47:51 -07:00
Russ Cox
056940d84b convert walkexpr to take Node**; drop indir 
R=ken
OCL=32421
CL=32421
 2009-07-29 12:00:34 -07:00
Russ Cox
4152b925f9 expression printer; %#N 
R=ken
OCL=32419
CL=32419
 2009-07-29 11:51:34 -07:00
Russ Cox
9346c6d901 make every func literal expression allocate, 
so that == on func means that the
functions originated in the same
execution of a func literal or definition.

before, there was an inconsistency:

	func() {x++} != func() {x++}

but

	func() {} == func() {}

this CL makes the second case != too,
just like

	make(map[int]int) != make(map[int]int)

R=r
DELTA=202  (71 added, 62 deleted, 69 changed)
OCL=32393
CL=32398
 2009-07-28 20:01:00 -07:00
Russ Cox
123ff2ebb8 bug177: anonymous struct fields in reflect 
(reported by iant)

R=r
DELTA=50  (32 added, 12 deleted, 6 changed)
OCL=32263
CL=32385
 2009-07-28 17:01:46 -07:00
Russ Cox
18840f5429 constant keys for array initializers 
R=ken
OCL=32261
CL=32261
 2009-07-27 17:58:25 -07:00
Russ Cox
b7dd312c93 bug170; fix test for bug175 
R=ken
OCL=32255
CL=32255
 2009-07-27 17:24:07 -07:00
Russ Cox
a587d9a73f multiple return in := bug 
R=ken
OCL=32253
CL=32253
 2009-07-27 16:59:10 -07:00
Russ Cox
059bbdd340 print(1<<x) 
R=ken
OCL=32252
CL=32252
 2009-07-27 16:17:09 -07:00
Russ Cox
811e59f2fa named string type bugs 
R=ken
OCL=32244
CL=32244
 2009-07-27 15:16:28 -07:00
Russ Cox
03b25a92a3 catch 
a := true;
	a |= a;
in the front end.

R=ken
OCL=32240
CL=32243
 2009-07-27 14:55:14 -07:00
Russ Cox
0b2683d1ee do not insert implicit "return;" in empty function body 
R=ken
OCL=32239
CL=32239
 2009-07-27 14:36:32 -07:00
Russ Cox
5a74c0b6ba do not use ONONAMEs for line number information, 
just like ONAME etc.

R=ken
OCL=31964
CL=31964
 2009-07-21 16:38:56 -07:00
Russ Cox
1d51978fed fix cut-and-paste bugs in error messages 
R=ken
OCL=31890
CL=31890
 2009-07-20 17:41:18 -07:00
Russ Cox
6e1ad041f7 avoid strncat in formatters. 
the n argument to strncat is the maximum
number of bytes to read from the src,
not the total size of the destination.

R=ken
OCL=31871
CL=31875
 2009-07-20 14:16:25 -07:00
Russ Cox
f664d0e904 explain selectsend problem 
R=ken
OCL=31865
CL=31867
 2009-07-20 13:29:56 -07:00
Russ Cox
35e5906f91 another baby step. 
excluding import data,
no yacc node has type Type* anymore.

0 reduce/reduce conflicts.

R=ken
OCL=31793
CL=31795
 2009-07-17 14:42:14 -07:00
Russ Cox
db508ccbff baby step: const decls can refer to future 
consts in the same factored block

	const (
		X = Y;
		Y = 2;
	)

R=ken
OCL=31782
CL=31782
 2009-07-17 13:38:16 -07:00
Russ Cox
e52e9ca82e another step toward eliminating forward declarations. 
introduce NodeList* type in compiler to replace OLIST.
this clarifies where lists can and cannot occur.
list append and concatenation are now cheap.
the _r rules are gone from yacc.
rev and unrev are gone.
no more lists of lists.

the representation of assignments is a bit clunkier.
split into OAS (1=1) and OAS2 (2 or more on one side).

delete dead chanrecv3 code.

delay construction of func types.

R=ken
OCL=31745
CL=31762
 2009-07-17 01:00:44 -07:00
Russ Cox
be16caf872 step toward no function prototypes. 
delay evaluation of most types (all but func)
from parse time to type check time.

R=ken
OCL=31585
CL=31585
 2009-07-13 23:38:39 -07:00
Russ Cox
e11447f7da bug148. 
R=ken
OCL=31582
CL=31582
 2009-07-13 23:29:44 -07:00
Russ Cox
0dadc4fe4f cleanup in preparation for new scoping. 
walkstate -> walkstmt
walktype -> walkexpr; stmts moved to walkstmt

walktype and friends have a final Node **init
argument that can have side effects appended,
making it more explicit when they do and do not happen.
this replaces the old global addtop and addtotop.

delete switch map and interface conversion cases
(dropped from the language months ago).

R=ken
OCL=31465
CL=31468
 2009-07-10 16:29:26 -07:00
Ken Thompson
ed124a971e segfault 
R=rsc
OCL=31467
CL=31467
 2009-07-10 16:12:21 -07:00
Ken Thompson
5ff7d84892 segment fault 
R=rsc
OCL=31396
CL=31396
 2009-07-09 11:41:06 -07:00
Ken Thompson
a68b1da3cc another nil reference 
R=rsc
OCL=31373
CL=31373
 2009-07-08 17:58:15 -07:00
Russ Cox
903d28bd1e ANY is already checked separately, 
so remove code from go.y.

show original types in badtype; don't remove pointers.
not sure why this was here but it confuses things
if the bad part involves two named pointer types
with different names but the same pointed-at type.

R=ken
OCL=31369
CL=31369
 2009-07-08 16:39:19 -07:00
Russ Cox
42af80348c method expansion bugs 
R=ken
OCL=31310
CL=31310
 2009-07-07 16:05:55 -07:00
Russ Cox
a1b64821f8 bug167 
R=ken
OCL=31295
CL=31295
 2009-07-07 11:48:22 -07:00
Russ Cox
541e638f9b 6g, 8g: generate data structures for new reflect interface (CL 31107) 
R=ken
OCL=31122
CL=31278
 2009-07-07 11:03:04 -07:00
Russ Cox
c7513eac88 runtime: use new reflect data structures (CL 31107) 
in place of sigi, sigt.

R=ken
OCL=31118
CL=31277
 2009-07-07 11:02:54 -07:00
Russ Cox
0417aafe75 insert ODCL in type switch case. 
needed for heap allocation if variable escapes.

package main
func main(){
	var i interface{} = 42;
	switch v := i.(type) {
	case int:
		println(&v, v);
	}
}

R=ken
OCL=31245
CL=31245
 2009-07-06 23:42:57 -07:00
Russ Cox
0aa1b1508a shift typechecking bugs 
x << "a"
	1 << int(2)

R=ken
OCL=31244
CL=31244
 2009-07-06 23:33:17 -07:00
Russ Cox
2acbc37166 various 6g cleanup: 
* give genwrapper and genembedtramp the same signature.
* move duint8, duint16, duint32, duint64, duintptr into gc.
* tidy genwrapper.
* bug involving struct field symbols in signature list.
  (hash-order dependent so hard to trigger)
* new Type print format %#-T like %#T but omits
  names on function arguments.

R=ken
OCL=31237
CL=31237
 2009-07-06 22:31:20 -07:00
Russ Cox
74b546aefd statements after panicln are unreachable, just like after panic. 
missing break after error.

dot symbol bug fix: leave sym alone
(was incorrect for inserted cross-package dots).

R=ken
OCL=31234
CL=31236
 2009-07-06 22:25:54 -07:00
Russ Cox
ef4ddd63f8 another piece for cross-file forward struct declarations. 
R=ken
OCL=31233
CL=31233
 2009-07-06 21:39:18 -07:00
Russ Cox
a14b28a24d fix bug involving typed nil constants: 
interface = (*int)(nil) is not the same as
interface = nil.

package main
func main() {
	var x interface{} = (*int)(nil);
	println(x.(*int));
}

R=ken
OCL=31232
CL=31232
 2009-07-06 21:37:29 -07:00
Russ Cox
7af032b87b fix forward struct declarations 
R=ken
OCL=31230
CL=31230
 2009-07-06 18:05:11 -07:00
Russ Cox
d436a70193 allow conversion to interface type 
when implicit assignment would have been okay.

R=ken
OCL=31225
CL=31227
 2009-07-06 17:20:48 -07:00
Russ Cox
53ebd163c6 more precise error message 
package main

func main() {
       var x interface {} = 42;
       switch x := x.(type) {
       case int:
       case foo:
       }
}

before:
x.go:7: non-type case in type switch
x.go:7: inappropriate case for a type switch

now:
x.go:7: foo: undefined

R=ken
OCL=31221
CL=31221
 2009-07-06 16:29:28 -07:00
Russ Cox
769919c4ee better error message + line numbers 
package main
func main() {
       var x interface{};
       switch x {
       case 41:
       case "b":
       }
}

before:
x.go:5: fatal error: exprcmp

now:
x.go:5: illegal types for operand: EQ
	interface { }
	int
x.go:6: illegal types for operand: EQ
	interface { }
	string

R=ken
OCL=31217
CL=31219
 2009-07-06 16:05:48 -07:00
Ken Thompson
6bb3c48d3d another seg fault 
R=r
OCL=31156
CL=31156
 2009-07-04 13:59:08 -07:00
Russ Cox
db312fa8de bug163 
R=ken
OCL=31149
CL=31149
 2009-07-03 13:34:05 -07:00
Russ Cox
75fe1303c1 maps have == so maps are okay as map keys. 
alignment issue is fixed.

R=ken
OCL=31124
CL=31144
 2009-07-03 09:44:59 -07:00
Russ Cox
20cfa4a568 change alignment rules: roll receiver into 
input parameters, move output parameters
into their own struct.

R=ken
OCL=30954
CL=30966
 2009-06-30 20:02:07 -07:00
Russ Cox
5d5904bb4d bug163 bug164 bug166 
R=ken
OCL=30889
CL=30889
 2009-06-29 17:46:22 -07:00
Russ Cox
9435dc2bdf allow forward declaration of struct in another file 
(in the same package).

allow forward method declaration to be satisfied
by implementation in another file (in the same package).
all methods must be declared in the same file
as the receiver type.

R=ken
OCL=30864
CL=30869
 2009-06-29 15:13:37 -07:00
Russ Cox
480f51243c bug165 
R=ken
OCL=30783
CL=30783
 2009-06-25 21:02:39 -07:00
Russ Cox
70e232e668 separate local path lookup from standard package directories 
R=ken
OCL=30760
CL=30779
 2009-06-25 20:15:56 -07:00
Russ Cox
5851a1b5ad allow 
package main
type t interface
type t interface{ m(map[t]bool) }
type m map[t] int

making it work without the forward declaration will require a second pass.

R=ken
OCL=30773
CL=30773
 2009-06-25 18:19:05 -07:00
Russ Cox
1ea28570ec the any fix was too aggressive; allow any in any import. 
R=ken
OCL=30768
CL=30768
 2009-06-25 16:57:56 -07:00
Russ Cox
fa6df47986 package main 
const foo = []int{1,2}

x.go:3: expression must be a constant

instead of

x.go:3: fatal error: gettype: addtop

R=ken
OCL=30767
CL=30767
 2009-06-25 16:42:08 -07:00
Russ Cox
70a273476b better error; clean up lineno in a few places 
wreck.mtv=; cat x.go
package main
var x = string.Split()
wreck.mtv=; 6g x.go
x.go:2: type string used as expression
x.go:2: undefined DOT Split on string
x.go:3: illegal types for operand: AS
	undefined
wreck.mtv=;

BUG=1938751
R=ken
OCL=30766
CL=30766
 2009-06-25 16:32:33 -07:00
Russ Cox
4bce6d455f package main 
func foo(y) { }

was:
x.go:2: NONAME-y G0 u(1) a(1) l(77) x(-1000000000) is not a type

now:
x.go:2: y is not a type

R=ken
OCL=30764
CL=30764
 2009-06-25 16:25:06 -07:00
Russ Cox
30f2799f88 disable "any" except during canned imports. 
new flag -A enables it during mkbuiltin.
avoids mysterious errors in programs
that refer to any accidentally.

R=ken
OCL=30763
CL=30763
 2009-06-25 16:22:46 -07:00
Russ Cox
111ae83bb7 6g: update for spec change CL 30586 
R=ken
OCL=30593
CL=30756
 2009-06-25 14:44:45 -07:00
Ken Thompson
466dd8da4e 6g crash re mail from gri jun 18. 
R=r
OCL=30719
CL=30719
 2009-06-24 17:50:25 -07:00
Russ Cox
0aef57e37f fix a 6g crash after type errors. 
do not bother warning about marks left
on stack after syntax errors.

leave OCONV nodes in tree to avoid type errors
arising from multiple walks.

R=ken
OCL=30639
CL=30662
 2009-06-23 15:30:59 -07:00
Russ Cox
7f3eb2738f implement new spec language regarding conversions 
R=ken
OCL=30519
CL=30534
 2009-06-19 14:00:53 -07:00
Ken Thompson
eba82f4391 better diagnostics for eof in a string. 
this assumes that embedded newlines are
legal in back-quote strings.

R=r
OCL=30502
CL=30502
 2009-06-18 15:49:41 -07:00
Russ Cox
30a28aec25 b/1909731 
package main
func f(a *c.b) {}
func main() {}

BUG=1909731
R=ken
OCL=30322
CL=30322
 2009-06-15 20:15:59 -07:00
Russ Cox
8abcdee175 implement optional semicolons with help from the lexer, 
instead of having to double the type and statement grammars.

R=ken
OCL=29987
CL=29998
 2009-06-06 19:27:48 -07:00
Russ Cox
8f4af6d205 gc: grammar cleanup: 
* no longer distinguishes const, var, type, package names.
  * all the predefined names are not tokens anymore.

R=ken
OCL=29326
CL=29985
 2009-06-06 12:46:38 -07:00
Russ Cox
01fe6a9c58 more build refinements: 
* use new Make.$GOARCH files in gobuild.
 * rename 6ar to arch-generic gopack.
 * place objects in $GOROOT/pkg/$GOOS_$GOARCH
   (makes cross-compiling easier, and no one
   ever types these paths by hand anyway).

R=r
DELTA=29  (6 added, 8 deleted, 15 changed)
OCL=29923
CL=29967
 2009-06-05 22:18:32 -07:00
Russ Cox
6609d2f88d restructure makefiles, scripts to factor out O= logic. 
remove a few hardcoded paths elsewhere too.

R=r,gri
DELTA=123  (44 added, 15 deleted, 64 changed)
OCL=29914
CL=29945
 2009-06-05 10:59:55 -07:00
Russ Cox
2f2577a4f6 bug161, fixed 
R=ken
OCL=29907
CL=29907
 2009-06-04 16:18:13 -07:00
Russ Cox
9a9ffb2b0e more 8g progress. 
likely to go back to registers for most temporaries.

most tests in lib pass.  these fail:

	datafmt
	fmt
	go/scanner
	log
	reflect
	strconv
	template

R=ken
OCL=29896
CL=29898
 2009-06-04 15:24:01 -07:00
Russ Cox
f51ca384eb fix handling of floating point zero constant 0p+0 
R=r
DELTA=25  (25 added, 0 deleted, 0 changed)
OCL=29875
CL=29875
 2009-06-04 11:06:37 -07:00
Russ Cox
ea7f5505d1 zero struct in T{} 
R=ken
OCL=29849
CL=29849
 2009-06-03 16:10:13 -07:00
Russ Cox
f1f970ad21 minor cleanup, 64-bit /= and %= on 32-bit 
R=ken
OCL=29806
CL=29808
 2009-06-02 23:21:58 -07:00
Ken Thompson
c17ce9f94f prevent multiple similar errors 
in complex literals. side effect is
fix of error in initializerr.go

R=r
OCL=29667
CL=29667
 2009-05-31 13:02:24 -07:00
Russ Cox
d6a9817051 bug157 
R=ken
OCL=29651
CL=29653
 2009-05-30 21:18:15 -07:00
Ken Thompson
be63b6dc44 bug 158 
R=r
OCL=29646
CL=29646
 2009-05-30 17:06:51 -07:00
Ken Thompson
fbcbcdbb1d bug 156 
R=r
OCL=29623
CL=29623
 2009-05-29 15:34:47 -07:00
Ken Thompson
3b37b02834 bug 149 
R=r
OCL=29612
CL=29612
 2009-05-29 13:44:30 -07:00
Russ Cox
0a6d83567e print uint64 as uint64. 
R=ken
OCL=29568
CL=29570
 2009-05-28 22:24:03 -07:00
Ken Thompson
e2613711aa detect recursive initialization 
R=r
OCL=29544
CL=29544
 2009-05-28 16:00:55 -07:00
Russ Cox
3aa006b8cd better 64-bit handling in 8g. 
fewer moves, fewer stupid LEALs.
powser1 runs (with evaln commented out).
beginnings of floating point.

R=ken
OCL=29540
CL=29543
 2009-05-28 15:48:47 -07:00
Russ Cox
e81d97ea84 clean up gmove: 
* conversions all in one place.
	* no separate load, store phases;
	  direct memory addressing when possible
	  (this is the x86 after all!).
	  avoids extra registers, extra MOVQs.
	* fixes int32 -> uint64 bug
	  (was zero-extending)

R=ken
OCL=29482
CL=29484
 2009-05-27 23:55:14 -07:00
Ken Thompson
b3f303ec9a bug 153 
R=r
OCL=29479
CL=29479
 2009-05-27 18:37:02 -07:00
Ken Thompson
64c3fe05bf string([]int) conversion 
R=r
OCL=29466
CL=29466
 2009-05-27 15:38:02 -07:00
Russ Cox
18890eebbf fix bug154; tweak bug153 exit status 
R=ken
OCL=29448
CL=29448
 2009-05-27 10:16:13 -07:00
Russ Cox
a8e4ed6a3d 8g: 64-bit arithmetic and assorted bug fixes; 
can run 64-bit sieve and powser.
interfaces are limping along.
next hurdle is floating point.

R=ken
OCL=29418
CL=29423
 2009-05-26 21:07:26 -07:00
Ken Thompson
b46e7c4d3c bug 152 
R=r
OCL=29419
CL=29419
 2009-05-26 19:48:39 -07:00
Ken Thompson
51ddddc67e bug 151 
R=r
OCL=29409
CL=29409
 2009-05-26 16:30:35 -07:00
Ken Thompson
850cd6a2fe bug 150 
R=r
OCL=29405
CL=29405
 2009-05-26 15:56:37 -07:00
Russ Cox
021abfbd28 8g: hello world works again 
* string format changed
	* files got renamed
	* new files that i forgot to check in last time
updates are all copy and paste from 6g

R=ken
OCL=29385
CL=29400
 2009-05-26 14:46:06 -07:00
Ken Thompson
802e1a6104 static init reenabled 
R=r
OCL=29358
CL=29358
 2009-05-25 19:40:41 -07:00
Ken Thompson
4238b18344 1. check for dups in complex literals 
structtype{a:1, a:2}
   maptypetype{"xx":1, "xx":2}
   arraytypetype{5:1, 5:2}
2. bug in registerization concerning
   alias of a struct and one of its elements
3. code optimization of struct.field
   (which exposed bug in 2)

R=r
OCL=29315
CL=29315
 2009-05-23 15:34:29 -07:00
Russ Cox
4beac9985b simplifying grammar: delete LBASETYPE and LACONST. 
take 2

R=ken
OCL=29304
CL=29306
 2009-05-22 22:46:06 -07:00
Russ Cox
ca2fe5d8bd Automated g4 rollback of changelist 29302. 
*** Reason for rollback ***

too many files included

*** Original change description ***

simplifying grammar: delete LBASETYPE and LACONST

R=ken
OCL=29303
CL=29303
 2009-05-22 22:43:57 -07:00
Russ Cox
2a4dcfffc9 simplifying grammar: delete LBASETYPE and LACONST 
R=ken
OCL=29300
CL=29302
 2009-05-22 22:42:12 -07:00
Russ Cox
f4d3d22a94 enforce channel direction 
R=ken
OCL=29209
CL=29216
 2009-05-21 17:32:44 -07:00
Russ Cox
c2fa45b973 allow type name as key to accomodate anonymous fields. 
update tests.

R=ken
OCL=29207
CL=29207
 2009-05-21 16:31:10 -07:00
Ken Thompson
bba10b3f49 some array init bugs 
renamed 6g/(gen|align|obj).c

R=r
OCL=29205
CL=29205
 2009-05-21 15:44:06 -07:00
Russ Cox
8b6b380605 stricter rules for assignment. 
when assigning a multifield object
(structs or arrays of structs) they
must not contain any fields that could
not be assigned individually.

R=ken
OCL=29192
CL=29194
 2009-05-21 14:06:24 -07:00
Ken Thompson
a016081f43 added key:val extension to 
structure and array literals

R=r
OCL=29190
CL=29190
 2009-05-21 13:46:07 -07:00
Russ Cox
23e62d169f stricter interface conversion rule: i.(T) 
must have non-nil i.

R=ken
OCL=29136
CL=29136
 2009-05-20 18:23:19 -07:00
Russ Cox
a39bae095a ifaceop was being called with integers 
that came from two different enums.
spilt into ifacecvt and ifaceop depending
on which enum the argument is.

R=ken
OCL=29122
CL=29122
 2009-05-20 15:09:50 -07:00
Russ Cox
2da5022bcf change representation of interface values. 
this is not a user-visible change.

before, all interface values were

	struct Itype {
		Sigt *type;
		Sigi *inter;
		void *method[n];
	}

	struct Iface {
		void *addr;
		Itype *itype;
	}

the itype is basically a vtable, but it's unnecessary
if the static type is interface{ }.
for interface values with static type empty, the
new representation is

	struct Eface {
		void *addr;
		Sigt *type;
	}

this complicates the code somewhat, but
it reduces the number of Itypes that
have to be computed and cached,
it opens up opportunities to avoid function
calls in a few common cases,
and it will make it possible to lay out
interface{} values at compile time,
which i think i'll need for the new reflection.

R=ken
OCL=28701
CL=29121
 2009-05-20 14:57:55 -07:00
Russ Cox
47e5152790 fix implicit star for range on *map, *[]. 
do not update lineno from ONAME nodes,
	because they have declaration lineno not use.
show actual name in top-level statement error.

before
runtime.a:7: x.go:5: walkstate: NAME not a top level statement

after
x.go:14: walkstate: runtime.Goexit not a top level statement

R=ken
OCL=29113
CL=29116
 2009-05-20 14:24:23 -07:00
Ken Thompson
b91a043d02 static initialization of slices 
R=r
OCL=29016
CL=29016
 2009-05-18 22:11:22 -07:00
Ken Thompson
62231e91d0 static initialization with DATA statements 
structs and arrays are done
slices and maps are yet to do

R=r
OCL=28977
CL=28977
 2009-05-17 19:16:16 -07:00
Ken Thompson
52b0f77bf9 static initialization 
structure set up - no change yet

R=r
OCL=28966
CL=28966
 2009-05-16 13:29:08 -07:00
Rob Pike
a8db4593ab fix spelling error in message 
R=ken
OCL=28814
CL=28814
 2009-05-14 09:59:16 -07:00
Russ Cox
d06a79e31b no need for compiler to hard-code definition of runtime. 
use the actual go source instead.

R=r
DELTA=90  (66 added, 18 deleted, 6 changed)
OCL=28708
CL=28719
 2009-05-12 16:15:52 -07:00
Russ Cox
b3533dfd72 6g: 
new type equality restrictions
	better handling of renamed packages
	"sys" is no longer available to programs

R=ken
OCL=28553
CL=28578
 2009-05-08 15:40:31 -07:00
Russ Cox
918afd9491 move things out of sys into os and runtime 
R=r
OCL=28569
CL=28573
 2009-05-08 15:21:41 -07:00
Rob Pike
c367d1b789 Move sys.Reflect and sys.Unreflect into unsafe. 
R=rsc
DELTA=19  (4 added, 5 deleted, 10 changed)
OCL=28563
CL=28566
 2009-05-08 14:57:56 -07:00
Russ Cox
d4fa253837 eqtype(t1, t2, 0) => eqtype(t1, t2) 
R=ken
OCL=28559
CL=28562
 2009-05-08 14:40:38 -07:00
Russ Cox
401a95aa83 if a struct s contains an anonymous interface value 
with method m, s.m() is ok and m now shows up
in s's method set for interface runtime.

see http://cl/28419-p2 for new test interface10.go.

R=ken
OCL=28420
CL=28423
 2009-05-07 13:42:47 -07:00
Russ Cox
88a1aa8e1a 6g: error messages 
part 2; missing files

R=ken
OCL=28408
CL=28410
 2009-05-07 10:30:22 -07:00
Russ Cox
b5e212ffdd 6g: error messages 
replace "shape error across CALL" with more information.

x.go:7: not enough arguments to CALL
	a int, b int
	int
x.go:10: assignment count mismatch: 3 = 2
x.go:12: too many arguments to RETURN
	[no arguments expected]
	int, int, int

also leave type alone after conversion failure,
for later errors:

bug049.go:6: cannot convert nil constant to string
bug049.go:6: illegal types for operand: EQ
	string
	nil		# this used to be blank

R=ken
OCL=28405
CL=28407
 2009-05-07 10:29:35 -07:00
Russ Cox
a6ba5ec535 6g: new interface rules (code got simpler!) 
R=ken
OCL=28374
CL=28378
 2009-05-06 17:05:35 -07:00
Russ Cox
83cd4ee070 6g: generate string data as individual symbols, 
so that 6l can discard strings used by dead code.
also, for short strings, generate DUPOK global
symbols so that references to, say, "%s: %s" in
multiple files result in only a single symbol.

R=ken
OCL=28361
CL=28361
 2009-05-06 13:47:40 -07:00
Ken Thompson
c4de24981a signs on div and mod 
R=r
OCL=28319
CL=28319
 2009-05-05 21:19:58 -07:00
Russ Cox
3e9b171b79 6g bug: was dropping assignment of nil to globals 
R=ken
OCL=28314
CL=28314
 2009-05-05 17:33:51 -07:00
Russ Cox
f821e3c7c3 6g tweaks 
* byteastring is no longer used
	* do not generate ODCL, OAS for globals
	  (wasn't generating any code but might
	  save one or two init functions)
	* do not call self from Init function

R=ken
OCL=28309
CL=28309
 2009-05-05 16:53:46 -07:00
Ken Thompson
567a7bf664 more code optimization 
1. dont clear external and heap objects
2. propagate constant assignment

R=r
OCL=28254
CL=28254
 2009-05-04 21:48:46 -07:00
Ken Thompson
49f7494894 code optmization 
drip init function if it doesnt do anything

R=r
OCL=28180
CL=28180
 2009-05-01 18:55:16 -07:00
Russ Cox
83e976d53e bug146: array/slice conversion before I left missed conversions 
R=ken
OCL=28120
CL=28124
 2009-04-30 13:49:58 -07:00
Ken Thompson
7a98315c96 allow "defer close(chan)" 
bug found by anton

R=r
OCL=28001
CL=28001
 2009-04-28 17:20:18 -07:00
Ken Thompson
ad36c39211 bug 145 
R=r
OCL=27979
CL=27979
 2009-04-28 12:28:31 -07:00
Ken Thompson
b03b541b7a recognize a defined constant 
as a new name in a later declaration
(bug 144)

R=r
OCL=27850
CL=27850
 2009-04-24 16:43:31 -07:00
Ken Thompson
190a540892 2 minor bugs. 
lv context for some [] operations
calling implicit(*map) before walk.

R=r
OCL=27706
CL=27706
 2009-04-21 19:52:13 -07:00
Ken Thompson
b5e7562191 supply default indirection to 
map indexing - bug 143

R=r
OCL=27695
CL=27695
 2009-04-21 17:00:08 -07:00
Ken Thompson
34b6f642de mixed old/new declaration 
exact spec:
a) must be a multi-assignment w :=
b) a proper subset of the lhs
   can be declared in same block
   with the same type with no
   "redeclaration" error

R=r
OCL=27610
CL=27610
 2009-04-18 13:58:04 -07:00
Russ Cox
3ea8d854a3 make string(array) take []byte only (and thus *[10]byte but not [10]byte) 
R=ken
OCL=27581
CL=27585
 2009-04-16 23:07:30 -07:00
Russ Cox
1cb3b7d124 panicln: emit just one newline 
R=ken
OCL=27537
CL=27545
 2009-04-15 22:38:09 -07:00
Russ Cox
65d397f747 compiler implementation of array slice change 
R=ken
OCL=27533
CL=27533
 2009-04-15 20:27:22 -07:00
Russ Cox
935953a9f8 tweak interface warning heuristic. 
some day i will fix this for real.

R=ken
OCL=27468
CL=27468
 2009-04-14 19:57:27 -07:00
Russ Cox
a62467af93 fix stringrange test 
R=ken
OCL=27353
CL=27353
 2009-04-13 05:31:44 -07:00
Ken Thompson
a91a8042b4 range over strings 
R=r
OCL=27332
CL=27332
 2009-04-10 19:49:31 -07:00
Ken Thompson
3657061550 change representation of strings 
R=r
OCL=27293
CL=27293
 2009-04-09 18:16:21 -07:00
Russ Cox
f95da9a639 yet another attempt at auto-linking 
store only the original import path string (+ .a)
if 6g resolves it to an archive file.
let 6l re-resolve the .a at link time.

this lets libraries build against an archive
in the current directory but get used
against an installed archive.

R=r
OCL=27244
CL=27244
 2009-04-08 22:45:33 -07:00
Russ Cox
3067781ab9 func f() (int, int); 
x := f();

used to give
	fatal error: dowidth fn struct struct { int; int }

now gives
	assignment count mismatch: 1 = 2

R=ken
OCL=27198
CL=27201
 2009-04-07 22:20:37 -07:00
Russ Cox
d50c70d261 set line number for errors produced during walkstate. 
R=ken
OCL=27145
CL=27145
 2009-04-06 22:17:46 -07:00
Russ Cox
907cb4f1e6 fix both of anton's bugs: 
* make([100]int) was being compiled to
	make([]int), kind of.
* []this = [100]that was working for any this, that.

turned up a typo in pipe_test.go

R=ken
OCL=27081
CL=27081
 2009-04-03 23:20:51 -07:00
Russ Cox
39436f2a74 special case check for this situation 
; cat >http.go
	package main
	import "http"  // intended the library, not this file
	^D
	; 6g http.go
	; 6g http.go
	http.go:4: export/package mismatch: init
	;

new error:

	http.6:7 http.go:3: cannot import package main

R=ken
OCL=27053
CL=27053
 2009-04-02 21:46:19 -07:00
Russ Cox
07687705a4 type n t; 
was copying a bit too much about t into n,
like whether the signature was queued to be printed.
(bug reported by anton)

was also editing t, meaning you could do
	type T int;
	func (p int) Meth() { }

both fixed.

R=ken
OCL=27052
CL=27052
 2009-04-02 21:38:11 -07:00
Russ Cox
416b27548e use _f007·filename for func literals. 
this avoids problems people have run into with
multiple closures in the same package.

when preparing filename, only cut off .go, not .anything.
this fixes a bug tgs ran into with foo.pb.go and foo.go
in the same package.

also turn bad identifier chars from filename into
underscores: a-b.pb.go => a_b_pb

R=ken
OCL=27050
CL=27050
 2009-04-02 18:32:57 -07:00
Ken Thompson
9efd6b8a3d compiler falut for forgetting 
the assignment on a type switch

R=r
OCL=27048
CL=27048
 2009-04-02 18:06:43 -07:00
Russ Cox
58f5f4f18d use separate lex buf for better errors: 
package main
func main() { func(){}() + + }

x.go:2: syntax error near _f001

becomes

x.go:2: syntax error near func

R=ken
OCL=27047
CL=27047
 2009-04-02 17:59:09 -07:00
Russ Cox
6b07021a2b implement some more 8g 
package main
	func main() {
		println("hello,", 123);
	}

R=ken
OCL=27043
CL=27043
 2009-04-02 16:48:06 -07:00
Ken Thompson
2450c590e9 typeswitch - expression evaluated 
twice instead of once.

R=r
OCL=27015
CL=27015
 2009-04-01 21:28:59 -07:00
Russ Cox
aacdc25399 fix http://b/1748082 
package main
var f = func(a, b int) int { return a + b }

R=ken
OCL=26935
CL=26935
 2009-03-30 22:26:00 -07:00
Russ Cox
5e792b6c09 move portable object routines (especially 
signature generation) into gc.

R=ken
OCL=26933
CL=26933
 2009-03-30 21:31:29 -07:00
Russ Cox
941ed00b1d closure bug: carry along outnamed flag. 
R=ken
OCL=26930
CL=26930
 2009-03-30 19:21:36 -07:00
Russ Cox
bac922c6e1 move portable code generation (basic statements) to gc. 
R=ken
OCL=26929
CL=26929
 2009-03-30 19:15:07 -07:00
Russ Cox
d30285a6f5 move some portable pieces of 6g/gsubr.c into gc/subr.c 
int	brcom(int);
	int	brrev(int);
	void	setmaxarg(Type*);
	Sig*	lsort(Sig*, int(*)(Sig*, Sig*));
	int	dotoffset(Node*, int*, Node**);
	void	stringpool(Node*);
	void	tempname(Node*, Type*);

R=ken
OCL=26922
CL=26922
 2009-03-30 17:52:21 -07:00
Russ Cox
8e54729b5a move alignment calculations into gc 
R=ken
OCL=26914
CL=26914
 2009-03-30 17:09:28 -07:00
Russ Cox
e224b1ebdb don't crash on 
unsafe.Alignof(struct{x float}{0}.x)

R=ken
OCL=26911
CL=26913
 2009-03-30 17:07:30 -07:00
Russ Cox
531f242f5d move bits.c from 6g to gc 
R=ken
OCL=26909
CL=26909
 2009-03-30 16:13:11 -07:00
Russ Cox
a2cbc2998d don't write cmp's output to the c file. 
cope better with p4 not found.

R=r
DELTA=3  (0 added, 0 deleted, 3 changed)
OCL=26877
CL=26879
 2009-03-30 00:12:56 -07:00
Ken Thompson
b8be809c10 ^ type(const) now inverts "enough" bits 
^ signed(const) becomes illegal
^ unsigned(const) becomes legal

R=r
OCL=26697
CL=26697
 2009-03-24 16:40:38 -07:00
Russ Cox
5a68303a15 throw away most of the compat.h compatibility layer 
in favor of the lib9 compatibility layer.  no need for two.

now that mycreate is gone, .6 files are 0644 not 0755.

TBR=r
OCL=26679
CL=26679
 2009-03-24 12:12:57 -07:00
Ken Thompson
79fa5b65cb rewrote switch 
fixed bug 141

R=r
OCL=26627
CL=26627
 2009-03-22 20:54:21 -07:00
Russ Cox
54aa835b44 range over channels. 
also fix multiple-evaluation bug in range over arrays.

R=ken
OCL=26576
CL=26576
 2009-03-20 11:32:58 -07:00
Russ Cox
f7772627ad fix b/1722502 
BUG=1722502
R=ken
OCL=26526
CL=26526
 2009-03-18 19:20:54 -07:00
Ken Thompson
1cdcfda140 remove assignment cases from switch 
R=r
OCL=26480
CL=26480
 2009-03-18 12:13:42 -07:00
Ken Thompson
1e0c17e294 switch on false error 
R=r
OCL=26434
CL=26434
 2009-03-17 19:10:32 -07:00
Ken Thompson
0f469a99a3 binary search on type switches. 
new feature 'case nil:' in type switch
will match iff the interface is nil.

R=r
OCL=26404
CL=26404
 2009-03-17 13:58:38 -07:00
Ken Thompson
5136a9e1f7 change format of Sigt and Sigi 
to allow room for type hash
needed for log-time type switch.

R=r
OCL=26354
CL=26354
 2009-03-16 15:27:08 -07:00
Russ Cox
5fbadf0bc3 warn -> yyerror in mparith. 
close two more bugs.

R=ken
OCL=26226
CL=26226
 2009-03-12 19:57:30 -07:00
Russ Cox
8f194bf5ff make 6g constants behave as ken proposes. (i hope.) 
various bug fixes and tests involving constants.

test/const1.go is the major new test case.

R=ken
OCL=26216
CL=26224
 2009-03-12 19:04:38 -07:00
Ken Thompson
6eb54cb05b chan flags close/closed installed 
runtime not finished.

R=r
OCL=26217
CL=26217
 2009-03-12 17:55:11 -07:00
Ken Thompson
bb02e481d2 added bitclear operators &^ and &^= 
R=r
OCL=26152
CL=26152
 2009-03-11 19:59:35 -07:00
Ken Thompson
767845b6fa bug 125 
R=r
OCL=26146
CL=26146
 2009-03-11 17:37:04 -07:00
Russ Cox
4eb7ceba58 complain when trying to put T into an interface 
if T has pointer methods.  this is just a heuristic
but it catches the problem robert ran into and
lets me put the larger interface issues aside for
now.  found one bug in pretty.

R=ken
OCL=26141
CL=26141
 2009-03-11 16:06:17 -07:00
Ian Lance Taylor
062d6998ab Add support for a -I option. -I DIR searches for packages in 
DIR.

R=ken,rsc
DELTA=49  (41 added, 2 deleted, 6 changed)
OCL=26057
CL=26092
 2009-03-10 20:03:31 -07:00
Ken Thompson
d27e9f528d bug086 
R=r
OCL=26090
CL=26090
 2009-03-10 19:16:31 -07:00
Ken Thompson
0c4f4587d7 bug with interaction of variables 
declared in cases and heap allocation

R=r
OCL=26064
CL=26064
 2009-03-10 16:49:34 -07:00
Ken Thompson
820f42d977 binary search for constant case statements. 
R=r
OCL=25890
CL=25890
 2009-03-07 17:33:42 -08:00
Ken Thompson
a4a10ed856 1. type switches 
2. fixed fault on bug128
3. got rid of typeof
4. fixed bug in t,ok = I2T

R=r
OCL=25873
CL=25873
 2009-03-06 17:50:43 -08:00
Russ Cox
af678a593d new approach for generating sysimport.c 
(renamed to avoid any conflict with old p4 copies).

this approach doesn't require auto-generating
files also kept in p4, so it should be easier on
go users who don't sync very often.

this approach will be more work for go developers:
builtin.c needs to be copied to builtin.c.boot in p4
as new functions are added.  mkbuiltin does this
for certain $USERs to help us remember.

R=r
DELTA=343  (176 added, 162 deleted, 5 changed)
OCL=25803
CL=25805
 2009-03-05 18:26:12 -08:00
Russ Cox
63985b489b bug085 bug129 
R=ken
OCL=25787
CL=25791
 2009-03-05 15:57:03 -08:00
Ken Thompson
bf983477a2 new switch implementation 
in preparation of type switch.
no functional change (yet).

R=r
OCL=25784
CL=25788
 2009-03-05 15:49:34 -08:00
Russ Cox
98b34e5bbd reject invalid map key types at compile time 
R=ken
OCL=25720
CL=25720
 2009-03-04 17:38:37 -08:00
Russ Cox
955638e2fb disallow ordinary-type.(T), as in spec. 
R=ken
OCL=25705
CL=25705
 2009-03-04 14:50:25 -08:00
Russ Cox
49cc649e59 back to T{x}, stricter handling of T(x) vs x.(T) 
R=ken
DELTA=131  (60 added, 41 deleted, 30 changed)
OCL=25617
CL=25633
 2009-03-03 08:41:02 -08:00
Ken Thompson
a665e2924c bug with select := 
R=r
OCL=25278
CL=25278
 2009-02-21 12:41:34 -08:00
Russ Cox
ebc10db3e1 allow parens to disambiguate types. 
examples:

	chan <- (chan int)
	chan (<- chan int)
	(map[string]func())("a": main)

R=ken
OCL=25151
CL=25151
 2009-02-18 10:07:46 -08:00
Ken Thompson
3c0fc400fb fix unsafe.Sizeof("abc") 
R=rsc
OCL=25105
CL=25105
 2009-02-17 13:10:57 -08:00
Russ Cox
d3d0c256be bug123 
R=ken
OCL=25075
CL=25075
 2009-02-16 17:44:05 -08:00
Russ Cox
b4af09ab56 embedded interface types in interfaces. 
R=ken
OCL=25072
CL=25072
 2009-02-16 16:36:18 -08:00
Russ Cox
3b3e63735e bug fix for &x[0] when x is slice 
R=ken
OCL=25044
CL=25044
 2009-02-15 13:15:46 -08:00
Russ Cox
07244f7c80 add composite literal ( ) syntax. 
warn about composite literal { } syntax.

R=ken
OCL=25018
CL=25023
 2009-02-13 14:48:16 -08:00
Russ Cox
5f4f5647ef require type assertions when narrowing. 
R=ken
OCL=24350
CL=24914
 2009-02-11 17:57:29 -08:00
Russ Cox
73dd4a37f9 fix export bug Rob tripped over. 
the lexer is already hiding names,
so this clumsy hack is no longer necessary.

R=ken
OCL=24783
CL=24783
 2009-02-10 13:57:31 -08:00
Ian Lance Taylor
651972b31f Implement unsafe.Alignof. 
R=ken
DELTA=20  (19 added, 0 deleted, 1 changed)
OCL=24719
CL=24771
 2009-02-10 11:46:26 -08:00
Russ Cox
a81870badf add error to catch 6g alignment bug. 
the fix appears to be to align the
out struct on an 8 boundary, but that
is a bit involved.

R=ken
OCL=24657
CL=24657
 2009-02-08 11:19:45 -08:00
Russ Cox
a6c59ce274 gc funarg return fix. 
change type (to satisfy OAS) after nodarg:
nodarg uses offset from type too,
and must use correct offset.

R=ken
OCL=24656
CL=24656
 2009-02-08 11:01:52 -08:00