---

Revision 2479 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 1 21:43:08 2007 UTC (13 years, 8 months ago) by dbm
File length: 34520 byte(s)
Diff to previous 2476

simplification of mkVBs in simple variable binding case; use anyErrors to suppress spurious reports about unresolved FLEX tyvars

---

Revision 2476 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 30 23:56:18 2007 UTC (13 years, 8 months ago) by dbm
File length: 34441 byte(s)
Diff to previous 2475

slight fix in typecheck.sml to correct problem with reporting hidden unresolved flex record types redundantly

---

Revision 2475 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 30 23:30:34 2007 UTC (13 years, 8 months ago) by dbm
File length: 34321 byte(s)
Diff to previous 2456

modified typecheck.sml and translate.sml to move checking for unresolved (hidden) flex record types into the front end

---

Revision 2456 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 27 05:21:38 2007 UTC (13 years, 8 months ago) by dbm
File length: 33254 byte(s)
Diff to previous 2454

added Control.Elab.tcdebugging and Control.Elab.unidebugging flags for type checking and unification. Some reorg of Control.

---

Revision 2454 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 26 03:52:12 2007 UTC (13 years, 8 months ago) by dbm
File length: 33240 byte(s)
Diff to previous 2451

stopped making nullary POLYtys in generalizeTy (typecheck.sml)

---

Revision 2451 - (view) (download) (annotate) - [select for diffs]
Modified Tue Apr 24 21:48:40 2007 UTC (13 years, 8 months ago) by dbm
File length: 33072 byte(s)
Diff to previous 2222

bug fixes, changed TV_MARK to LBOUND, first attempt to compute LBOUND indexes in front end

---

Revision 2222 - (view) (download) (annotate) - [select for diffs]
Modified Tue Nov 28 22:02:39 2006 UTC (14 years, 1 month ago) by blume
File length: 32354 byte(s)
Diff to previous 2221

merged all changes from primop-branch-2

---

Revision 2221 - (view) (download) (annotate) - [select for diffs]
Modified Tue Nov 28 21:56:55 2006 UTC (14 years, 1 month ago) by blume
File length: 32332 byte(s)
Diff to previous 2162

create primop branch 3 as future target to merge changes from primop branch 2

---

Revision 2162 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 2 21:20:47 2006 UTC (14 years, 2 months ago) by blume
Original Path: sml/trunk/compiler/Elaborator/types/typecheck.sml
File length: 32332 byte(s)
Diff to previous 1681

eliminated src dir

---

Revision 1681 - (view) (download) (annotate) - [select for diffs]
Modified Mon Nov 8 23:03:24 2004 UTC (16 years, 2 months ago) by mblume
Original Path: sml/trunk/src/compiler/Elaborator/types/typecheck.sml
File length: 32332 byte(s)
Diff to previous 1641

some code cleanup

---

Revision 1641 - (view) (download) (annotate) - [select for diffs]
Modified Wed Oct 6 20:18:55 2004 UTC (16 years, 3 months ago) by mblume
Original Path: sml/trunk/src/compiler/Elaborator/types/typecheck.sml
File length: 32506 byte(s)
Diff to previous 1374

minor cleanup in absyn and btrace

---

Revision 1374 - (view) (download) (annotate) - [select for diffs]
Modified Mon Sep 15 22:17:10 2003 UTC (17 years, 4 months ago) by macqueen
Original Path: sml/trunk/src/compiler/Elaborator/types/typecheck.sml
File length: 32483 byte(s)
Diff to previous 1370

undoing accidental commit of files intended for primop-branch

---

Revision 1370 - (view) (download) (annotate) - [select for diffs]
Modified Mon Sep 15 03:38:25 2003 UTC (17 years, 4 months ago) by macqueen
Original Path: sml/trunk/src/compiler/Elaborator/types/typecheck.sml
File length: 32589 byte(s)
Diff to previous 1344

eliminate types from primop info

---

Revision 1344 - (view) (download) (annotate) - [select for diffs]
Modified Wed Aug 13 18:04:08 2003 UTC (17 years, 5 months ago) by macqueen
Original Path: sml/trunk/src/compiler/Elaborator/types/typecheck.sml
File length: 32483 byte(s)
Diff to previous 1332

merged changes from mcz-branch (tag: dbm-20030813-mcz-merge1)

---

Revision 1332 - (view) (download) (annotate) - [select for diffs]
Modified Sun May 18 03:21:16 2003 UTC (17 years, 8 months ago) by mblume
Original Path: sml/trunk/src/compiler/Elaborator/types/typecheck.sml
File length: 32494 byte(s)
Diff to previous 902

added IF/WHILE/ANDALSO/ORELSE to Absyn (to improve error messages)

---

Revision 902 - (view) (download) (annotate) - [select for diffs]
Added Wed Aug 15 21:17:05 2001 UTC (19 years, 5 months ago) by blume
Original Path: sml/trunk/src/compiler/Elaborator/types/typecheck.sml
File length: 30552 byte(s)

new organization of compiler libraries