]> Cypherpunks repositories - gostls13.git/commit
exp/types: configurable types.Check API
authorRobert Griesemer <gri@golang.org>
Wed, 26 Dec 2012 20:48:26 +0000 (12:48 -0800)
committerRobert Griesemer <gri@golang.org>
Wed, 26 Dec 2012 20:48:26 +0000 (12:48 -0800)
commit888111e081fc8eda605d5c2706f14d0f9473fae2
tree169deb5d361772fad5ea51640ebb7800e35fb0cd
parentf296adf819b0c2d20b7b44d04f947602b43f226c
exp/types: configurable types.Check API

- added Context type for configuration of type checker
- type check all function and method bodies
- (partial) fixes to shift hinting (still not complete)
- revamped test harness - does not rely on specific position
  representation anymore, just a standard (compiler) error
  message
- lots of bug fixes

R=adonovan, rsc
CC=golang-dev
https://golang.org/cl/6948071
18 files changed:
src/pkg/exp/gotype/gotype.go
src/pkg/exp/gotype/gotype_test.go
src/pkg/exp/types/api.go [new file with mode: 0644]
src/pkg/exp/types/builtins.go
src/pkg/exp/types/check.go
src/pkg/exp/types/check_test.go
src/pkg/exp/types/const.go
src/pkg/exp/types/errors.go
src/pkg/exp/types/expr.go
src/pkg/exp/types/operand.go
src/pkg/exp/types/stmt.go
src/pkg/exp/types/testdata/builtins.src
src/pkg/exp/types/testdata/decls1.src
src/pkg/exp/types/testdata/decls2a.src
src/pkg/exp/types/testdata/expr0.src
src/pkg/exp/types/testdata/stmt0.src
src/pkg/exp/types/types.go
src/pkg/exp/types/types_test.go