Commit Graph

129 Commits

Author SHA1 Message Date
Araq
fe983b1309 fixes a regression where memset was used without including <string.h> 2013-12-03 01:59:38 +01:00
Zahary Karadjov
6082595e96 Merge branch 'type-classes' into upstream 2013-09-03 03:14:56 +03:00
Araq
9c6de08db0 fixes #516 2013-08-31 16:45:10 +02:00
Araq
4d9b2f671a fixes #578 2013-08-30 22:47:14 +02:00
Zahary Karadjov
dc33638cb2 proper discrimination between csEmpty and csNoMatch
fixes twrongtupleaccess and topaque
2013-08-27 00:08:47 +03:00
Zahary Karadjov
bdeaee4a33 fix tnoop
This commit requires further investigation.

Fixing semExpr(nkCall) once and for all to work with sym-choices and to
allow overloading with immediate templates and macros will probably set
this straight too.
2013-08-26 23:43:39 +03:00
Zahary Karadjov
28d9398de7 implemented delegators and improved the error messages of unmatched type classes 2013-08-26 23:29:24 +03:00
Zahary Karadjov
ca3a4ce672 hacky fix for generic constraints matching 2013-08-19 01:48:25 +03:00
Araq
c1155cd2a5 fixes #503 2013-07-02 19:32:12 +02:00
Araq
1a5e30b053 made some tests green 2013-06-30 21:55:05 +02:00
Araq
ed56b8c173 fixes #442 2013-06-27 08:06:55 +02:00
Araq
ff1d68c50b fixes #481 2013-06-13 15:19:55 +02:00
Araq
0097305953 bugfixes for the guarded data flow analysis 2013-06-12 00:41:02 +02:00
Araq
c156f2d493 next steps for guarded data flow analysis 2013-06-11 00:31:40 +02:00
Araq
8f97f3180a made tests green 2013-06-10 00:17:10 +02:00
Araq
3f35e2d39e resolved conflict; added missing files 2013-06-09 23:33:32 +02:00
Araq
23ef565a3c implemented large parts of the 'not nil' checking 2013-06-09 23:29:43 +02:00
Araq
2f5d5e3ba7 fixes #451 2013-06-04 07:48:46 +02:00
Araq
1c9b4e5d33 made some tests green; implemented 'from module import nil' 2013-05-19 23:17:16 +02:00
Araq
7b36d3d6ff made some tests green 2013-05-19 17:06:11 +02:00
Araq
9f6547ba63 fixes #433 2013-05-18 23:41:44 +02:00
Zahary Karadjov
289c975d85 fixes #430 2013-05-12 21:55:55 +03:00
Zahary Karadjov
b3103c4657 fixes #429 and tstmtexpr 2013-05-12 21:01:39 +03:00
Zahary Karadjov
4005cd1fa3 fixing the dos line endings in a broken test 2013-05-12 17:25:54 +03:00
Araq
adedfc3a10 new effect system should be sound now 2013-05-11 10:53:40 +02:00
Araq
61e9bd0c48 made some tests green 2013-04-22 21:18:48 +02:00
Araq
3cb3813eed fixes #287; bugfix: subrange checking is performed again 2013-04-12 16:24:58 +02:00
Araq
45185f84df cleanup of tests; use 'koch install' instead of 'install.sh' for a bootstrapping build 2013-04-11 17:28:17 +02:00
Araq
bb3f648bd2 improvements for destructors 2013-04-08 00:10:34 +02:00
Araq
beb13ecf62 rod file viewer for easier debugging of rod files 2013-04-04 13:05:38 +02:00
Araq
3051c52f51 fixes a long-standing bug about procvar checking 2013-03-25 01:44:52 +01:00
Araq
02b1503e1f bugfix: case exhaustiveness checking 2013-03-21 08:09:14 +01:00
Grzegorz Adam Hankiewicz
72a3e21f28 Removes executable bit for text files. 2013-03-16 23:53:07 +01:00
Araq
c87e1c96ad some bugfixes; no system.$ for object as it breaks code 2013-02-24 12:34:50 +01:00
Araq
5d119f61d1 preparations for a generational GC 2013-02-16 22:53:35 +01:00
Araq
5a31bc8274 made some tests green 2013-02-08 00:07:32 +01:00
Zahary Karadjov
6fc4991415 Merge remote-tracking branch 'upstream/master' into upstream 2013-01-28 00:47:55 +02:00
Zahary Karadjov
19e795e017 the mainmodule option has effect only when no explicit module is given 2013-01-28 00:26:49 +02:00
Araq
d5a5c2291f bugfix: overlap checking for 'case' 2013-01-27 22:58:21 +01:00
Araq
f96ec25ed2 made some tests green; some small bugfixes 2012-12-09 15:53:59 +01:00
Araq
8948a97151 bugfix: 'not nil' and 'shared' types 2012-12-02 20:02:42 +01:00
Araq
92e10e4b18 implemented 'import except' 2012-11-28 23:54:23 +01:00
Araq
538699a281 parser support for 'not nil' annotation 2012-11-25 23:40:42 +01:00
Araq
ec9b1f78e1 annotated effects of modules: os, sockets, times 2012-11-18 13:34:48 +01:00
Araq
c439010d52 made some tests green 2012-11-11 22:08:29 +01:00
Araq
48a62af3b1 implemented 'tags' pragma 2012-11-11 22:03:41 +01:00
Araq
515cf985f4 made some tests green 2012-11-07 01:08:31 +01:00
Araq
42c8fd1fe2 bugfixes for exception tracking 2012-11-04 22:40:51 +01:00
Araq
6dd2c2d767 exception tracking should work 2012-11-04 18:09:15 +01:00
Araq
86ed918157 fixes #235 2012-10-24 23:26:13 +02:00