[teyjus/teyjus] 79080b: First stab at allowing renamings in accumulate, ac...

[Andrew Gacek]

Branch: refs/heads/renaming
Home: https://github.com/teyjus/teyjus
Commit: 79080beb0c6c8d641df56397921959532fb33642
https://github.com/teyjus/teyjus/commit/79080beb0c6c8d641df56397921959532fb33642
Author: Daniel Ehrenberg <micr...@gmail.com>
Date: 2009-08-12 (Wed, 12 Aug 2009)

Changed paths:
M source/compiler/absyn.ml
M source/compiler/absyn.mli
M source/compiler/codegen.ml
M source/compiler/codegen.mli
M source/compiler/lplex.mll
M source/compiler/lpyacc.mly
M source/compiler/preabsyn.ml
M source/compiler/preabsyn.mli
M source/compiler/spitcode.ml
M source/compiler/translate.ml
M source/front/dependfront.ml

Log Message:
-----------
First stab at allowing renamings in accumulate, accum_sig and use_sig

git-svn-id: https://teyjus.googlecode.com/svn/branches/renaming@954 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf


Commit: eb039069db3f933a82d2d6da5f2ed4d95213b4bd
https://github.com/teyjus/teyjus/commit/eb039069db3f933a82d2d6da5f2ed4d95213b4bd
Author: Daniel Ehrenberg <micr...@gmail.com>
Date: 2009-08-13 (Thu, 13 Aug 2009)

Changed paths:
M source/compiler/translate.ml

Log Message:
-----------
fixing bug in renaming. only remaining issue should be linker

git-svn-id: https://teyjus.googlecode.com/svn/branches/renaming@955 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf


Commit: 899f25016ce38f4c3058039cbcff608179540ad4
https://github.com/teyjus/teyjus/commit/899f25016ce38f4c3058039cbcff608179540ad4
Author: Daniel Ehrenberg <micr...@gmail.com>
Date: 2009-08-15 (Sat, 15 Aug 2009)

Changed paths:
M source/compiler/absyn.mli
M source/linker/rename.c

Log Message:
-----------
Fixing typos

git-svn-id: https://teyjus.googlecode.com/svn/branches/renaming@956 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf


Commit: e923e1107987affaca1495964e0c03241fcdd1cc
https://github.com/teyjus/teyjus/commit/e923e1107987affaca1495964e0c03241fcdd1cc
Author: Daniel Ehrenberg <micr...@gmail.com>
Date: 2009-08-31 (Mon, 31 Aug 2009)

Changed paths:
M source/compiler/translate.ml

Log Message:
-----------
Allowing kinds and consts to be hidden properly in accumulate statements

git-svn-id: https://teyjus.googlecode.com/svn/branches/renaming@958 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf


Commit: 04ad28eabe4b90bd864eaf3b576e643931e7c841
https://github.com/teyjus/teyjus/commit/04ad28eabe4b90bd864eaf3b576e643931e7c841
Author: Andrew Gacek <andrew...@gmail.com>
Date: 2009-09-17 (Thu, 17 Sep 2009)

Changed paths:
M source/compiler/translate.ml

Log Message:
-----------
A little bit of code cleanup

git-svn-id: https://teyjus.googlecode.com/svn/branches/renaming@970 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf


Commit: b66edc5df0eeffacc67a71a33de5d4d1741e737b
https://github.com/teyjus/teyjus/commit/b66edc5df0eeffacc67a71a33de5d4d1741e737b
Author: Andrew Gacek <andrew...@gmail.com>
Date: 2009-09-17 (Thu, 17 Sep 2009)

Changed paths:
M source/compiler/translate.ml

Log Message:
-----------
Added file and line info to "non-injective renaming" error message

git-svn-id: https://teyjus.googlecode.com/svn/branches/renaming@971 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf


Commit: fe6fd710b9faf66679cecadfd6ace8251206399f
https://github.com/teyjus/teyjus/commit/fe6fd710b9faf66679cecadfd6ace8251206399f
Author: Andrew Gacek <andrew...@gmail.com>
Date: 2009-09-18 (Fri, 18 Sep 2009)

Changed paths:
A issue1/Makefile
A issue1/a.sig
A issue1/b.sig
A issue1/root.mod
A issue1/root.sig
A issue2/Makefile
A issue2/a.sig
A issue2/root.mod
A issue2/root.sig

Log Message:
-----------
Created issue directories for bugs in the renaming branch

I have created the directories issue1 and issue2 which contain examples of bugs in the renaming branch. If you run 'tjcc root' in an issue directory (or more generally run 'make') you should see the erroneous behavior. I have also documented the errors in the sig/mod files.

Putting bugs into these types of toplevel directories may not be the best practice, but it should be okay for exchanging this type of information, particularly on a branch. We should find a way to migrate such things into automated test cases.

git-svn-id: https://teyjus.googlecode.com/svn/branches/renaming@972 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf


Compare: https://github.com/teyjus/teyjus/compare/3d4459608ddc...fe6fd710b9fa