ruin.nu Git - proglang.git/history

]> ruin.nu Git - proglang.git/history - Typecheck.hs

2006-03-14	Michael Andreen	updating documentation	blob \| commitdiff \| raw
2006-03-14	Michael Andreen	compiler seems to be working	blob \| commitdiff \| raw
2006-03-14	Michael Andreen	merged changes to function branch	blob \| commitdiff \| raw
2006-03-14	Michael Andreen	CompInt, integrated compiler and interpreter for the...	blob \| commitdiff \| raw \| diff to current
2006-03-11	Michael Andreen	rejects functions without return statements	blob \| commitdiff \| raw \| diff to current
2006-03-11	Michael Andreen	Interpreter works	blob \| commitdiff \| raw \| diff to current
2006-03-11	Michael Andreen	interpreter compiles	blob \| commitdiff \| raw \| diff to current
2006-03-11	Michael Andreen	typechecker seems to work for function calls	blob \| commitdiff \| raw \| diff to current
2006-03-11	Michael Andreen	typechecking of functions added, not function calls...	blob \| commitdiff \| raw \| diff to current
2006-03-11	Michael Andreen	typechecker compiles and is compatible with old program...	blob \| commitdiff \| raw \| diff to current
2006-03-11	Michael Andreen	added branch for implementing functions	blob \| commitdiff \| raw \| diff to current
2006-03-10	Michael Andreen	added constructor for declaration with default value	blob \| commitdiff \| raw \| diff to current
2006-03-02	Michael Andreen	introduced pushAndPop in the typechecker too	blob \| commitdiff \| raw \| diff to current
2006-03-02	Michael Andreen	removed NoType and EDefault and added assert	blob \| commitdiff \| raw \| diff to current
2006-02-28	Fredrik Möllerstrand	typing rules in documentation	blob \| commitdiff \| raw \| diff to current
2006-02-28	Michael Andreen	smll stuff	blob \| commitdiff \| raw \| diff to current
2006-02-28	Michael Andreen	support for scope	blob \| commitdiff \| raw \| diff to current
2006-02-28	Michael Andreen	added not	blob \| commitdiff \| raw \| diff to current
2006-02-27	Michael Andreen	minor stuff	blob \| commitdiff \| raw \| diff to current
2006-02-27	Michael Andreen	some restructuring	blob \| commitdiff \| raw \| diff to current
2006-02-27	Michael Andreen	typechecker finds redeclaration of a variable	blob \| commitdiff \| raw \| diff to current
2006-02-27	Michael Andreen	streamlined the binary operators	blob \| commitdiff \| raw \| diff to current
2006-02-24	Michael Andreen	done?	blob \| commitdiff \| raw \| diff to current
2006-02-24	Michael Andreen	hopefully compiles properly	blob \| commitdiff \| raw \| diff to current
2006-02-24	Michael Andreen	typechecker compiles but can't be run	blob \| commitdiff \| raw \| diff to current
2006-02-18	Michael Andreen	streamlining the abstract syntax	blob \| commitdiff \| raw \| diff to current

A small C-ish language

RSS Atom