HCoop Git - hcoop/zz_old/domtool2-proto.git/commit - src/tycheck.sml

HCoop / hcoop / zz_old / domtool2-proto.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 7d3ae99) | patch

author	adamch <adamch>
	Sat, 29 Jul 2006 19:44:25 +0000 (19:44 +0000)
committer	adamch <adamch>
	Sat, 29 Jul 2006 19:44:25 +0000 (19:44 +0000)
commit	64014a0380b1fde92f212951abe9027eef7f6e32
tree	4e2fe3df8ed92caccc865f50dfc4cfdfbf2de038	tree \| snapshot (tar.gz zip)
parent	7d3ae99f183c68a1e3fbf44cf91fa7cb48a7abe8	commit \| diff

Basic type-checking

src/ast.sml		diff \| blob \| blame \| history
src/domtool.cm		diff \| blob \| blame \| history
src/domtool.grm		diff \| blob \| blame \| history
src/print.sig		diff \| blob \| blame \| history
src/print.sml		diff \| blob \| blame \| history
src/tycheck.sig	[new file with mode: 0644]	blob
src/tycheck.sml	[new file with mode: 0644]	blob
tests/test.dtl		diff \| blob \| blame \| history

DomTool: HCoop's distributed system configuration tool.