qbit/go
1
0
Fork 0
mirror of https://github.com/golang/go synced 2024-10-05 10:31:22 -06:00
Code Releases Activity
6,598 Commits 58 Branches 402 Tags 522 MiB
e5bd12ea90
Commit Graph

229 Commits

Author SHA1 Message Date
Russ Cox
5d16d23362 update type switch to match spec. 
R=ken
OCL=34471
CL=34471
 2009-09-09 00:18:16 -07:00
Russ Cox
27c4e7e74e catch package net import "net" for release 
R=ken
OCL=34205
CL=34207
 2009-09-01 14:12:09 -07:00
Russ Cox
5600435fe4 produce diagnostic for 
import "fmt"
var fmt = 1

R=ken
OCL=33556
CL=33561
 2009-08-19 17:27:08 -07:00
Russ Cox
38df5ec58d try to do better line number reporting 
in the presence of yacc lookahead.
better but still not perfect

R=ken
OCL=33541
CL=33541
 2009-08-19 15:18:08 -07:00
Russ Cox
a92610208e delete code for forward type declarations 
R=ken
OCL=33108
CL=33113
 2009-08-12 14:41:13 -07:00
Russ Cox
66bb399fdd whole-package compilation 
R=ken
OCL=33063
CL=33095
 2009-08-12 13:18:19 -07:00
Russ Cox
b648716ee9 forward declarations not necessary. 
still to do:
	* initializer cycle detection
	* nicer error for type checking cycles

R=ken
OCL=32855
CL=32880
 2009-08-07 12:50:26 -07:00
Russ Cox
2609731736 delay range processing. old2new is gone 
R=ken
OCL=32780
CL=32780
 2009-08-05 02:33:30 -07:00
Russ Cox
54b403723b delay := processing 
R=ken
OCL=32772
CL=32772
 2009-08-05 00:42:44 -07:00
Russ Cox
a121410541 make Syms smaller. 
collapse a lot of duplication in dcl.c
switch to NodeList* from Dcl*

R=ken
OCL=32770
CL=32770
 2009-08-04 22:59:23 -07:00
Russ Cox
aa347c4a0d move various bits of code around 
and delete some dead code.
no actual changes here.

R=ken
OCL=32764
CL=32764
 2009-08-04 18:43:32 -07:00
Russ Cox
dbe004efe4 delayed evaluation of var blocks 
R=ken
OCL=32750
CL=32753
 2009-08-04 16:53:06 -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
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
056940d84b convert walkexpr to take Node**; drop indir 
R=ken
OCL=32421
CL=32421
 2009-07-29 12:00:34 -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
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
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
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
7af032b87b fix forward struct declarations 
R=ken
OCL=31230
CL=31230
 2009-07-06 18:05:11 -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
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
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
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
d6a9817051 bug157 
R=ken
OCL=29651
CL=29653
 2009-05-30 21:18:15 -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
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
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
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
d4fa253837 eqtype(t1, t2, 0) => eqtype(t1, t2) 
R=ken
OCL=28559
CL=28562
 2009-05-08 14:40:38 -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
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
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
Ken Thompson
79fa5b65cb rewrote switch 
fixed bug 141

R=r
OCL=26627
CL=26627
 2009-03-22 20:54:21 -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
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
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
63985b489b bug085 bug129 
R=ken
OCL=25787
CL=25791
 2009-03-05 15:57:03 -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
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
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
Russ Cox
b4af09ab56 embedded interface types in interfaces. 
R=ken
OCL=25072
CL=25072
 2009-02-16 16:36:18 -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
Ken Thompson
8a70545b57 unsafe.Sizeof and unsafe.Offsetof 
R=r
OCL=24639
CL=24639
 2009-02-07 12:34:45 -08:00
Russ Cox
0970c46863 closures - 6g support 
R=ken
OCL=24501
CL=24566
 2009-02-06 13:47:10 -08:00
Russ Cox
4a43198390 update compiler to new func rules 
R=ken
OCL=23958
CL=23961
 2009-01-30 14:39:42 -08:00
Russ Cox
391425ae55 if take address of local, move to heap. 
heuristic to not print bogus strings.
fix one error message format.

R=ken
OCL=23849
CL=23851
 2009-01-29 17:38:58 -08:00
Russ Cox
3ec4675220 clean up range grammar 
R=ken
OCL=23712
CL=23714
 2009-01-28 15:41:50 -08:00
Ken Thompson
1e1cc4eb57 defer 
R=r
OCL=23592
CL=23592
 2009-01-27 12:03:53 -08:00
Russ Cox
4efad58d0a bug133 
R=ken
OCL=23528
CL=23528
 2009-01-26 16:57:24 -08:00
Ken Thompson
7859ae8a2f removed a:b in range syntax 
added another channel test

R=r
OCL=23488
CL=23488
 2009-01-26 11:34:38 -08:00
Russ Cox
0183baaf44 * delete export 
* rename init functions

R=ken
OCL=23122
CL=23126
 2009-01-20 14:40:00 -08:00
Russ Cox
06869eedf9 disallow other package's names in struct field dot. 
R=ken
OCL=22996
CL=22996
 2009-01-16 15:25:52 -08:00
Russ Cox
dec12d3654 re-export of bools was changing 
format from hex to decimal, confusing
ar's strcmp-based value comparison.

switched export format to "true" or "false"
to keep bools separate from ints.

R=ken
OCL=22944
CL=22944
 2009-01-16 10:45:28 -08:00
Russ Cox
605d0746c5 catch export on func. 
print names in message.

R=ken
OCL=22891
CL=22891
 2009-01-15 16:43:51 -08:00
Russ Cox
07d344e442 remove export name-list statement. 
make package local the default.
warn about name case not matching export keyword.

R=ken
OCL=22881
CL=22886
 2009-01-15 16:16:52 -08:00
Russ Cox
a91af04c06 6g cleanup suggested by ken. 
remove TPTR wrapper around TMAP, TCHAN, TSTRING.

R=ken
OCL=22406
CL=22409
 2009-01-09 11:13:39 -08:00
Russ Cox
e512481b17 second pass on interface fixes and tests. 
R=ken
OCL=22370
CL=22372
 2009-01-08 18:06:06 -08:00
Russ Cox
20595ac4b0 many interface bug fixes. 
also, after
	func g() (int, int)
	func f(int, int)
allow
	f(g())
and
	func h() (int, int) { return g() }

R=ken
DELTA=356  (252 added, 26 deleted, 78 changed)
OCL=22319
CL=22325
 2009-01-08 14:30:00 -08:00
Russ Cox
855495eab6 iscomposite test in OCONV is unnecessary 
now that OCOMP exists

R=ken
OCL=22216
CL=22216
 2009-01-07 12:39:48 -08:00
Ken Thompson
b0f627a6e1 closed arrays including [...] 
R=r
OCL=22182
CL=22182
 2009-01-06 17:31:24 -08:00
Ken Thompson
88b5c5f0f8 make for slice/map/chan 
new for pointers

R=r
OCL=22158
CL=22158
 2009-01-06 14:52:26 -08:00
Russ Cox
c3077f7606 [] and struct in interfaces. 
other [] cleanup.

convert() is gone.

R=r
DELTA=352  (144 added, 68 deleted, 140 changed)
OCL=21660
CL=21662
 2008-12-19 17:11:54 -08:00
Russ Cox
dc7b2e98d2 compiler changes for *chan -> chan; *map -> map; new(T) -> new(*T) 
mainly a syntactic change: the compiler representations don't change
(chan and map are now hidden pointers like string).

R=ken
OCL=21578
CL=21582
 2008-12-19 03:05:54 -08:00
Ken Thompson
4026500d18 arrays 
R=r
OCL=21564
CL=21564
 2008-12-18 20:06:28 -08:00
Russ Cox
e53d5ad620 fix type/name thing, again 
R=r
DELTA=8  (7 added, 0 deleted, 1 changed)
OCL=21379
CL=21379
 2008-12-16 17:45:28 -08:00
Russ Cox
99435cac09 another "want type got name" error case 
R=ken
OCL=21377
CL=21377
 2008-12-16 17:37:07 -08:00
Ken Thompson
ae5a475e20 range clause must have = or := 
:= illegal in for-increment

R=r
OCL=21204
CL=21204
 2008-12-15 13:44:27 -08:00
Ken Thompson
7dd62cb3bc 2 minor bugs 
R=r
OCL=20906
CL=20906
 2008-12-10 12:38:16 -08:00
Ken Thompson
1d4daa2d39 foundation for import unsafe 
R=r
OCL=20794
CL=20794
 2008-12-08 19:46:39 -08:00
Ken Thompson
b79272d9a2 allowed syntax for range 
a range m (implies :=)
a,b range m (implies :=)
a:b range m (implies :=)

a := range m
a,b := range m
a:b := range m

a = range m
a,b = range m
a:b = range m

R=r
OCL=20676
CL=20676
 2008-12-06 13:40:30 -08:00
Ken Thompson
26b357ca5b range statement 
R=r
OCL=20667
CL=20667
 2008-12-05 18:24:05 -08:00
Ken Thompson
c597845e13 const/var/iota declarations as discussed 
R=r
OCL=20506
CL=20506
 2008-12-04 15:33:40 -08:00
Rob Pike
d7c1048771 really restore helpful error rules 
R=rsc
OCL=19929
CL=19929
 2008-11-24 14:23:53 -08:00
Rob Pike
46f89d53c6 restore helpful error rules 
R=rsc
OCL=19928
CL=19928
 2008-11-24 14:15:53 -08:00
Ken Thompson
8e3fe10ee3 1. retract general field names 
2. array bounds bug
3. ... optimization bug

R=r
OCL=19927
CL=19927
 2008-11-24 14:01:12 -08:00
Ken Thompson
ffafad1919 setup for keywords in fieldnames 
R=r
OCL=19883
CL=19883
 2008-11-23 15:58:48 -08:00
Russ Cox
10002bb0fb accept empty list of package imports. 
R=ken
OCL=19617
CL=19617
 2008-11-19 14:27:48 -08:00
Russ Cox
d3f6093931 package-local declarations using keyword "package". 
R=r
DELTA=129  (81 added, 0 deleted, 48 changed)
OCL=19283
CL=19291
 2008-11-14 16:35:08 -08:00
Russ Cox
9906bfc7bb 6g ninit fixes - fixes the two test cases 
i isolated last night.  does not fix rob's
interface-smashing bug.

R=ken
OCL=18698
CL=18698
 2008-11-06 13:31:13 -08:00
Ken Thompson
2fef4c7198 DOTDOTDOT import/export 
R=r
OCL=18319
CL=18319
 2008-11-01 16:52:12 -07:00
Russ Cox
f2b1536328 annotations on embedded types 
R=ken
OCL=18179
CL=18179
 2008-10-30 15:29:55 -07:00
Russ Cox
1850b29da6 struct annotations in imports. 
distribute tag across multiple names.

R=ken
OCL=18178
CL=18178
 2008-10-30 15:25:26 -07:00
Russ Cox
f27aaf4819 structure field annotation strings 
R=ken
OCL=18176
CL=18176
 2008-10-30 15:13:09 -07:00
Ken Thompson
c21d9a1ec9 the end of life as we know it 
int is new type

R=r
OCL=18023
CL=18023
 2008-10-29 12:46:44 -07:00
Russ Cox
b5c739bd1b Uncomment the name/type error checking. 
R=ken
OCL=17928
CL=17928
 2008-10-28 01:02:33 -07:00
Ken Thompson
e8278bcb29 allow len := 0 
R=r
OCL=17869
CL=17869
 2008-10-26 14:04:09 -07:00