---

Revision 169 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jul 22 20:07:37 2010 UTC (11 years, 11 months ago) by jhr
File length: 2755 byte(s)
Diff to previous 110

  Split function and variable namespaces and add notion of restricted operations
  that cannot appear inside actor or initialization code.

---

Revision 110 - (view) (download) (annotate) - [select for diffs]
Modified Wed Jun 23 19:28:48 2010 UTC (12 years ago) by jhr
File length: 2994 byte(s)
Diff to previous 81

  Moving compiler sources into src/compiler

---

Revision 81 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 26 17:28:54 2010 UTC (12 years, 1 month ago) by jhr
Original Path: trunk/src/ast/types.sml
File length: 2994 byte(s)
Diff to previous 75

  Working on typechecker

---

Revision 75 - (view) (download) (annotate) - [select for diffs]
Modified Mon May 24 20:41:18 2010 UTC (12 years, 1 month ago) by jhr
Original Path: trunk/src/ast/types.sml
File length: 2843 byte(s)
Diff to previous 74

  Propoagating changes to meta variables

---

Revision 74 - (view) (download) (annotate) - [select for diffs]
Modified Mon May 24 16:38:42 2010 UTC (12 years, 1 month ago) by jhr
Original Path: trunk/src/ast/types.sml
File length: 2761 byte(s)
Diff to previous 73

  Refined meta-variable representation

---

Revision 73 - (view) (download) (annotate) - [select for diffs]
Modified Sun May 23 22:54:59 2010 UTC (12 years, 1 month ago) by jhr
Original Path: trunk/src/ast/types.sml
File length: 2072 byte(s)
Diff to previous 70

  Comment out raw types, which are not used yet.

---

Revision 70 - (view) (download) (annotate) - [select for diffs]
Modified Sat May 22 14:23:32 2010 UTC (12 years, 1 month ago) by jhr
Original Path: trunk/src/ast/types.sml
File length: 2061 byte(s)
Diff to previous 69

  Working on typechecker

---

Revision 69 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 18 21:23:53 2010 UTC (12 years, 1 month ago) by jhr
Original Path: trunk/src/ast/types.sml
File length: 2075 byte(s)
Diff to previous 63

  Starting to write a typechecker

---

Revision 63 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 13 00:29:39 2010 UTC (12 years, 1 month ago) by jhr
Original Path: trunk/src/ast/types.sml
File length: 2053 byte(s)
Diff to previous 62

  Working on typechecking for Diderot

---

Revision 62 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 11 16:03:31 2010 UTC (12 years, 1 month ago) by jhr
Original Path: trunk/src/ast/types.sml
File length: 1880 byte(s)
Diff to previous 61

  edit comments

---

Revision 61 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 11 16:02:48 2010 UTC (12 years, 1 month ago) by jhr
Original Path: trunk/src/ast/types.sml
File length: 1845 byte(s)
Diff to previous 40

  Fix representation of types

---

Revision 40 - (view) (download) (annotate) - [select for diffs]
Added Wed Mar 3 14:51:38 2010 UTC (12 years, 3 months ago) by jhr
Original Path: trunk/src/ast/types.sml
File length: 1253 byte(s)

  Added intialization syntax