search

plaidgroup / plaid-lang

The Plaid Programming Language Tools
11 stars 1 forks source link

Add type annotations to the parser #22

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
In order to write a type checker you need to know what the types are, so we 
have to add this 
functionality to the parser.

Original issue reported on code.google.com by mhahn...@gmail.com on 21 May 2010 at 7:47

GoogleCodeExporter commented 9 years ago 
I've added type annotations to field declarations.  Method declarations will be 
a little trickier due to the way we 
store multiple arguments (as a series of nested pairs of IDs).

Original comment by mhahn...@gmail.com on 21 May 2010 at 9:08

GoogleCodeExporter commented 9 years ago

Original comment by mhahn...@gmail.com on 25 May 2010 at 9:10

GoogleCodeExporter commented 9 years ago 
I've finished adding type annotations to method declarations and anonymous 
functions 
(http://code.google.com/p/plaid-lang/source/detail?r=11d792261c5f4ab13bdd7e85064
e964af1a326a8).  I've 
started adding them to local variable declarations.

Original comment by mhahn...@gmail.com on 26 May 2010 at 9:10

GoogleCodeExporter commented 9 years ago 
I've finished adding type annotations to let bindings, which encompass local 
variable declarations 
(http://code.google.com/p/plaid-lang/source/detail?r=f4982bd60e6cc9aa2616639eea4
fc150b9cac89b).

Original comment by mhahn...@gmail.com on 26 May 2010 at 9:39