shithub: mc

f3b75c3f – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/10 04:15

Move main file to backend.

221a1f2c – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 20:47

Infer function literals correctly.

e3b7056a – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 19:52

Constrain conditional tests to be testable

e30e522d – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 19:40

Infer return type for non-returning functions

35bfc4bc – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 19:22

Assert that nodes inserted into nodelists are non-null

342be478 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 19:21

Don't insert empty stmt nodes into list.

c3dc6ac4 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 19:18

Error out on underconstrained types.

a70314d6 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 19:18

Fix up type merging and improve error messages a bit.

04f63c18 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 18:43

Try to look up named types.

1499a361 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 18:33

Fix constraint checking

6d9376e3 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 18:29

Recurse into types when fixing them up.

7a0b41da – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 18:04

Return proper written offset from fmtcstr.

fe282895 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 17:40

Alloc the return type for functions

1a9d4b86 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/09 16:45

Set up scope chains properly.

3825a62a – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/06 19:22

Some misc type inference fixes.

6eea4ad5 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/06 18:55

Fix unification of compound types with tyvars.

b6555615 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/06 18:55

Fix readback of compound types.

c39f89dd – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/06 18:47

Create function types.

0a0f0610 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/06 15:48

Fix type inference:

04ebbd67 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/06 11:00

Merge branch 'master' of git+ssh://eigenstate.org/git/ori/mc2

c9f9102a – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/06 04:17

Stab modifications.

c0af6b2f – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/04 05:44

Merge branch 'master' of git+ssh://eigenstate.org/git/ori/mc2

d47d4ee1 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/03 20:36

Make stabs at appropriate places.

7eaa7298 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/03 20:23

Remove some random segfaults.

82782ab0 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/03 20:06

Implement symtabs.

507aaa9c – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/03 18:27

Simplify type reading/writing.

00047234 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/03 15:35

A bit more logical arrangement of stuff.

0642dae7 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/03 15:31

Make it clear that typarams are unencodable.

6df1963a – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/03 15:28

Use standard endian swapping.

24a5f2f6 – Ori Bernstein <ori@eigenstate.org> authored on 2012/01/03 15:17

Actually define 'ulong' as a type.

36cfe833 – Ori Bernstein <orib@google.com> authored on 2012/01/03 14:41

Add hashing util funcs

10e15739 – Ori Bernstein <orib@google.com> authored on 2012/01/03 14:06

Add hash table impl

4f226284 – Ori Bernstein <orib@google.com> authored on 2012/01/03 13:18

Make debugging type dumps easier.

f1fd4734 – Ori Bernstein <orib@google.com> authored on 2012/01/03 13:16

More work on type encoding.

7c3b9e70 – Ori Bernstein <orib@google.com> authored on 2012/01/03 11:46

Start of pickling stuff.

58bda459 – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/24 14:45

Unify subtypes

8bf7a907 – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/24 14:31

Make tyfin() work

5192aa93 – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/24 13:48

Move towards type constraints working.

dd7fbc02 – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/24 11:29

Do type substitutions.

85cdc11b – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/24 09:49

Fix static analysis warnings.

dc062d85 – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/23 12:01

Add missing file

9bdc51d8 – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/21 09:09

More stubbing.

e08b97c2 – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/19 16:13

Fix some random crashes.

0bc3c366 – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/19 16:06

Grow the typetab on type allocation

c9abdb32 – Ori Bernstein <orib@google.com> authored on 2011/12/19 14:42

Stub in more type inference.

efb34ddd – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/15 19:13

Fill in rest of bitset operations.

a4a9799d – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/15 17:57

Add a Bitset data structure

6e6109bf – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/15 17:29

Make literal expressions where we expect them.

d3793273 – Ori Bernstein <ori@eigenstate.org> authored on 2011/12/15 16:56

Merge branch 'master' of git+ssh://eigenstate.org/git/ori/mc2

8dbc1506 – Ori Bernstein <orib@google.com> authored on 2011/12/15 14:50

Actually descend down the AST when inferring.

fb324f09 – Ori Bernstein <orib@google.com> authored on 2011/12/15 11:10

More stubbing in of type stuff.

a63c8ce2 – Ori Bernstein <orib@google.com> authored on 2011/12/14 13:10

Start stubbing in inference.

a58bb4d8 – Ori Bernstein <orib@google.com> authored on 2011/12/14 10:45

Fix typos

03989060 – Ori Bernstein <orib@google.com> authored on 2011/12/07 09:00

Allow empty param list

0bb3d25b – Ori Bernstein <orib@google.com> authored on 2011/12/06 09:41

Get rid of trailing whitespace.

2181395e – Ori Bernstein <orib@google.com> authored on 2011/12/06 09:40

Don't fail at tokenizing big files.

b5bfdc40 – Ori Bernstein <ori@eigenstate.org> authored on 2011/11/26 09:12

Fix nested comments.

1a3a60b6 – Ori Bernstein <ori@eigenstate.org> authored on 2011/11/24 21:22

Merge branch 'master' of git+ssh://eigenstate.org/git/ori/mc2

a516d330 – Ori Bernstein <ori@eigenstate.org> authored on 2011/11/24 21:21

Allow newlines in type defn bodies.

420ff90e – Ori Bernstein <ori@eigenstate.org> authored on 2011/11/24 21:20

Fix peekn and eatcomment

99da1640 – Ori Bernstein <orib@google.com> authored on 2011/11/22 08:57

More similar formatting improvements.

e57fd1de – Ori Bernstein <orib@google.com> authored on 2011/11/22 08:54

Clean up separator formatting code.

bc5b6f51 – Ori Bernstein <ori@eigenstate.org> authored on 2011/11/20 19:34

Fix type formatting for func and name types

4c9035bc – Ori Bernstein <ori@eigenstate.org> authored on 2011/11/20 19:10

Parse into symtabs.

462ab909 – Ori Bernstein <ori@eigenstate.org> authored on 2011/11/20 18:24

Allow decls in blocks

c8c925b9 – Ori Bernstein <ori@eigenstate.org> authored on 2011/11/20 18:03

We don't error on package specs now

49a8bf1b – Ori Bernstein <ori@eigenstate.org> authored on 2011/11/20 17:29

Don't die on function types.

73ecd7d7 – Ori Bernstein <ori@eigenstate.org> authored on 2011/11/20 17:06

Improve line number reporting

5b5cc114 – Ori Bernstein <ori@eigenstate.org> authored on 2011/11/19 08:38

Add in type for type constraints

12c5d386 – Ori Bernstein <ori@eigenstate.org> authored on 2011/11/14 18:40

Fix formatting in gram.y

fb9b1e2d – Ori Bernstein <ori@eigenstate.org> authored on 2011/11/13 20:30

Actually parse into the file variable

dc95ae0d – Ori Bernstein <ori@eigenstate.org> authored on 2011/11/13 16:28

Stubbing in more stuff.

aa6064b0 – Ori Bernstein <ori@eigenstate.org> authored on 2011/11/13 16:28

Started stubbing in type inference.

25913255 – Ori Bernstein <ori@eigenstate.org> authored on 2011/11/13 06:25

More parsing work.

af410eb5 – Ori Bernstein <ori@eigenstate.org> authored on 2011/11/09 03:38

Start type formatting code.

e773fcec – Ori Bernstein <ori@eigenstate.org> authored on 2011/11/08 18:58

Fix up parsing func lits

45c4886b – Ori Bernstein <ori@eigenstate.org> authored on 2011/11/05 08:22

More work towards fully parsing.

76d42756 – Ori Bernstein <ori@odin.theasylum> authored on 2011/11/04 21:32

Initial commit