proglang.git
13 years agominor change master
Michael Andreen [Mon, 27 Nov 2006 11:58:48 +0000 (11:58 +0000)]
minor change

14 years agosmall fix
Michael Andreen [Wed, 15 Mar 2006 18:45:03 +0000 (18:45 +0000)]
small fix

14 years agobetter semantics and show div by zero errors earlier
Michael Andreen [Wed, 15 Mar 2006 16:20:05 +0000 (16:20 +0000)]
better semantics and show div by zero errors earlier

14 years agoliftM
Michael Andreen [Wed, 15 Mar 2006 13:46:06 +0000 (13:46 +0000)]
liftM

14 years agomore generic type declaration and evaluates input directly
Michael Andreen [Wed, 15 Mar 2006 12:35:18 +0000 (12:35 +0000)]
more generic type declaration and evaluates input directly

14 years agoErrorT instead..
Michael Andreen [Wed, 15 Mar 2006 10:18:39 +0000 (10:18 +0000)]
ErrorT instead..

14 years agosemantics and some more typing rules
Michael Andreen [Tue, 14 Mar 2006 22:07:53 +0000 (22:07 +0000)]
semantics and some more typing rules

14 years agoupdating documentation
Michael Andreen [Tue, 14 Mar 2006 20:54:11 +0000 (20:54 +0000)]
updating documentation

14 years agoupdating documentation
Michael Andreen [Tue, 14 Mar 2006 20:54:11 +0000 (20:54 +0000)]
updating documentation

14 years agocompiler seems to be working
Michael Andreen [Tue, 14 Mar 2006 20:23:09 +0000 (20:23 +0000)]
compiler seems to be working

14 years agominor stuff
Michael Andreen [Tue, 14 Mar 2006 19:45:23 +0000 (19:45 +0000)]
minor stuff

14 years agosmaller update
Michael Andreen [Tue, 14 Mar 2006 19:40:43 +0000 (19:40 +0000)]
smaller update

14 years agomerged changes to function branch
Michael Andreen [Tue, 14 Mar 2006 18:08:37 +0000 (18:08 +0000)]
merged changes to function branch

14 years agoCompInt, integrated compiler and interpreter for the new century
Michael Andreen [Tue, 14 Mar 2006 17:29:20 +0000 (17:29 +0000)]
CompInt, integrated compiler and interpreter for the new century

14 years agoCompInt, integrated compiler and interpreter for the new century
Michael Andreen [Tue, 14 Mar 2006 17:29:07 +0000 (17:29 +0000)]
CompInt, integrated compiler and interpreter for the new century

14 years agomost of the semantics added
Michael Andreen [Tue, 14 Mar 2006 16:53:17 +0000 (16:53 +0000)]
most of the semantics added

14 years agofoldr and zip instead of my own function
Michael Andreen [Sat, 11 Mar 2006 20:23:18 +0000 (20:23 +0000)]
foldr and zip instead of my own function

14 years agorejects functions without return statements
Michael Andreen [Sat, 11 Mar 2006 20:00:34 +0000 (20:00 +0000)]
rejects functions without return statements

14 years agoInterpreter works
Michael Andreen [Sat, 11 Mar 2006 17:48:20 +0000 (17:48 +0000)]
Interpreter works

14 years agointerpreter compiles
Michael Andreen [Sat, 11 Mar 2006 14:15:08 +0000 (14:15 +0000)]
interpreter compiles

14 years agotypechecker seems to work for function calls
Michael Andreen [Sat, 11 Mar 2006 13:44:06 +0000 (13:44 +0000)]
typechecker seems to work for function calls

14 years agotypechecking of functions added, not function calls yet though
Michael Andreen [Sat, 11 Mar 2006 13:30:43 +0000 (13:30 +0000)]
typechecking of functions added, not function calls yet though

14 years agotypechecker compiles and is compatible with old programs while using the new state...
Michael Andreen [Sat, 11 Mar 2006 13:08:01 +0000 (13:08 +0000)]
typechecker compiles and is compatible with old programs while using the new state, still doesn't check functions though

14 years agoparsing works
Michael Andreen [Sat, 11 Mar 2006 12:41:35 +0000 (12:41 +0000)]
parsing works

14 years agoadded branch for implementing functions
Michael Andreen [Sat, 11 Mar 2006 10:59:37 +0000 (10:59 +0000)]
added branch for implementing functions

14 years agoreadBool now reads integer values, where 0 is false and the rest is true, instead...
Michael Andreen [Fri, 10 Mar 2006 16:26:31 +0000 (16:26 +0000)]
readBool now reads integer values, where 0 is false and the rest is true, instead of True and False

14 years agoadded two new examples
Michael Andreen [Fri, 10 Mar 2006 11:02:24 +0000 (11:02 +0000)]
added two new examples

14 years agoreplace E with in
Michael Andreen [Fri, 10 Mar 2006 10:30:44 +0000 (10:30 +0000)]
replace E with in

14 years agomajor update of the natural deduction
Michael Andreen [Fri, 10 Mar 2006 10:01:30 +0000 (10:01 +0000)]
major update of the natural deduction

14 years agoadded constructor for declaration with default value
Michael Andreen [Fri, 10 Mar 2006 08:36:58 +0000 (08:36 +0000)]
added constructor for declaration with default value

14 years agointroduced pushAndPop in the typechecker too
Michael Andreen [Thu, 2 Mar 2006 20:41:09 +0000 (20:41 +0000)]
introduced pushAndPop in the typechecker too

14 years agoadded pushAndPop function to push and pop the scope
Michael Andreen [Thu, 2 Mar 2006 19:48:59 +0000 (19:48 +0000)]
added  pushAndPop function to push and pop the scope

14 years agoremoved NoType and EDefault and added assert
Michael Andreen [Thu, 2 Mar 2006 19:29:32 +0000 (19:29 +0000)]
removed NoType and EDefault and added assert

14 years agofully functional and C99 (not C90) compliant output
Michael Andreen [Wed, 1 Mar 2006 19:21:40 +0000 (19:21 +0000)]
fully functional and C99 (not C90) compliant output

14 years agoadding compiler
Michael Andreen [Wed, 1 Mar 2006 14:18:38 +0000 (14:18 +0000)]
adding compiler

14 years agoYEAH
Fredrik Möllerstrand [Wed, 1 Mar 2006 10:37:03 +0000 (10:37 +0000)]
YEAH

14 years agointerpreter seems to work
Michael Andreen [Wed, 1 Mar 2006 10:36:39 +0000 (10:36 +0000)]
interpreter seems to work

14 years agoinitial commit of interpreter
Michael Andreen [Wed, 1 Mar 2006 09:18:40 +0000 (09:18 +0000)]
initial commit of interpreter

14 years agominor stuff
Michael Andreen [Wed, 1 Mar 2006 07:55:32 +0000 (07:55 +0000)]
minor stuff

14 years agotyping rules in documentation
Fredrik Möllerstrand [Tue, 28 Feb 2006 21:01:44 +0000 (21:01 +0000)]
typing rules in documentation

14 years agosmll stuff
Michael Andreen [Tue, 28 Feb 2006 10:12:44 +0000 (10:12 +0000)]
smll stuff

14 years agob not in scope
Michael Andreen [Tue, 28 Feb 2006 08:56:36 +0000 (08:56 +0000)]
b not in scope

14 years agosupport for scope
Michael Andreen [Tue, 28 Feb 2006 08:52:54 +0000 (08:52 +0000)]
support for scope

14 years agoadded not
Michael Andreen [Tue, 28 Feb 2006 08:03:56 +0000 (08:03 +0000)]
added not

14 years agominor stuff
Michael Andreen [Mon, 27 Feb 2006 21:11:24 +0000 (21:11 +0000)]
minor stuff

14 years agosome restructuring
Michael Andreen [Mon, 27 Feb 2006 19:07:16 +0000 (19:07 +0000)]
some restructuring

14 years agotypechecker finds redeclaration of a variable
Michael Andreen [Mon, 27 Feb 2006 13:47:05 +0000 (13:47 +0000)]
typechecker finds redeclaration of a variable

14 years agoadded some more typeerrors
Michael Andreen [Mon, 27 Feb 2006 10:33:53 +0000 (10:33 +0000)]
added some more typeerrors

14 years agostreamlined the binary operators
Michael Andreen [Mon, 27 Feb 2006 10:25:29 +0000 (10:25 +0000)]
streamlined the binary operators

14 years agomoved modified Testsyntax to Typechecker to keep the original one
Michael Andreen [Sun, 26 Feb 2006 21:26:14 +0000 (21:26 +0000)]
moved modified Testsyntax to Typechecker to keep the original one

14 years agochanged the documentation
Michael Andreen [Sun, 26 Feb 2006 21:11:54 +0000 (21:11 +0000)]
changed the documentation

14 years agoremoved most shift/reduce conflicts by moving EAss from Exp3 to Exp and thus disallow...
Michael Andreen [Sun, 26 Feb 2006 20:50:51 +0000 (20:50 +0000)]
removed most shift/reduce conflicts by moving EAss from Exp3 to Exp and thus disallowing many constructs if parenthesis aren't used

14 years agoneeded
Michael Andreen [Fri, 24 Feb 2006 14:38:31 +0000 (14:38 +0000)]
needed

14 years agoneeded
Michael Andreen [Fri, 24 Feb 2006 12:05:14 +0000 (12:05 +0000)]
needed

14 years agodone?
Michael Andreen [Fri, 24 Feb 2006 12:04:35 +0000 (12:04 +0000)]
done?

14 years agohopefully compiles properly
Michael Andreen [Fri, 24 Feb 2006 11:55:49 +0000 (11:55 +0000)]
hopefully compiles properly

14 years agotypechecker compiles but can't be run
Michael Andreen [Fri, 24 Feb 2006 10:55:18 +0000 (10:55 +0000)]
typechecker compiles but can't be run

14 years agomore or less done with the syntx
Michael Andreen [Fri, 24 Feb 2006 08:02:00 +0000 (08:02 +0000)]
more or less done with the syntx

14 years agostreamlining the abstract syntax
Michael Andreen [Sat, 18 Feb 2006 14:25:25 +0000 (14:25 +0000)]
streamlining the abstract syntax

14 years agoupdated syntax to use define
Michael Andreen [Thu, 16 Feb 2006 10:17:46 +0000 (10:17 +0000)]
updated syntax to use define

14 years agoRemoved assignments as variables
Michael Andreen [Fri, 10 Feb 2006 12:41:11 +0000 (12:41 +0000)]
Removed assignments as variables

14 years agoexplained the shift/reduce conflicts
Michael Andreen [Tue, 7 Feb 2006 10:51:45 +0000 (10:51 +0000)]
explained the shift/reduce conflicts

14 years agomoved comments to examples
Michael Andreen [Tue, 7 Feb 2006 10:18:09 +0000 (10:18 +0000)]
moved comments to examples

14 years agoinitial commit
Michael Andreen [Tue, 7 Feb 2006 09:51:45 +0000 (09:51 +0000)]
initial commit