Araq
2df9b442c6
case consistency part 1
2013-12-27 15:48:53 +01:00
Zahary Karadjov
1d02f2ea53
wip type class reforms (the compiler bootstraps fine)
...
* replace tfAny and tfAll with tyAnd and tyOr
* integrate matchTypeClass into typeRel
* introduce tyBuiltInTypeClass to handle types such as tuple, object, proc, etc
2013-12-25 19:25:04 +02:00
Zahary Karadjov
299cefdc98
make the current PContext accessible through TCandidate
...
the goal here is to remove all the hacks from ParamTypeMatch and to handle
all type matching in typeRel (the context there is required to evaluate any static
params and to run the compilation tests of user-defined type classes)
2013-12-25 00:58:22 +02:00
Araq
1081c104d0
Merge branch 'vm2' of github.com:Araq/Nimrod into vm2
2013-12-24 01:30:48 +01:00
Satish BD
033938a53a
Correct the spelling of the word 'implicitly'
2013-12-23 04:29:50 +02:00
Zahary Karadjov
027f30610e
static params: expr[T] is now static[T]
...
This introduces tyStatic and successfully bootstraps and handles
few simple test cases. Static params within macros are no longer
treated as PNimrodNodes - they are now equivalent to constants
of the designated type.
2013-12-19 01:06:38 +02:00
Araq
8c553fa8a2
Merge branch 'master' into vm2
2013-12-13 15:58:03 +01:00
Araq
6db20a4be8
new VM: improvements
2013-12-12 01:34:01 +01:00
Zahary Karadjov
95a6e01ea8
Merge branch 'master' of github.com:Araq/Nimrod into upstream
2013-12-09 00:26:04 +02:00
Zahary Karadjov
de3b7cd413
progress towards adding negative type classes
...
[unittest bugfixes]
the block form of check now allows comments
errors when inspecting the arguments of var-accepting procs
2013-12-09 00:09:03 +02:00
Araq
29357ab556
more tests are green
2013-12-08 01:47:07 +01:00
Araq
5eba93d584
Merge branch 'master' into vm2
...
Conflicts:
compiler/sem.nim
2013-12-05 00:03:27 +01:00
Araq
2dcbc6493a
fixes #686
2013-11-29 20:42:12 +01:00
Zahary Karadjov
a068aaed3c
simple unit test and better documentation for the user defined type classes
2013-11-17 22:50:26 +02:00
Zahary Karadjov
4cea15d274
improvements for the is operator; implemented the type lifting rule in user-defined type classes
2013-11-17 16:28:42 +02:00
Zahary Karadjov
31dd66acbf
support for multiple test variables and var qualifiers in user-defined type classes
2013-11-13 02:24:08 +02:00
Araq
6a9baf3fd7
compiler bootstraps with new VM
2013-10-15 08:06:54 +02:00
Araq
596496f695
fixes #566
2013-09-11 00:00:11 +02:00
Araq
4d86b8a83c
fixes #588
2013-09-10 23:49:53 +02:00
Zahary Karadjov
f05ac0cb23
fix regressions affecting the echo magic and the creating of rod files
...
the markAndSweep GC was not responsible for the regressions so
this commit restores its use
2013-09-07 11:55:19 +03:00
Zahary Karadjov
6082595e96
Merge branch 'type-classes' into upstream
2013-09-03 03:14:56 +03:00
Zahary Karadjov
b5d833b329
implemented the using statement
2013-08-31 19:40:36 +03:00
Araq
e698d6255b
fixes #563
2013-08-31 10:03:41 +02:00
Araq
8710118b2c
Merge branch 'master' of github.com:Araq/Nimrod
2013-08-30 12:44:27 +02:00
Araq
7056ceda67
float64 is now an alias to 'float'; fixes #545
2013-08-30 12:24:54 +02:00
Zahary Karadjov
01ccb52a00
minor improvement towards tgenericshardcases
2013-08-28 01:10:51 +03:00
Zahary Karadjov
52b00630c8
fix tisop
...
Adding nil checks on the exit paths for semCompiles errors.
This was probably not needed before, because semIndirectOp
had a special detection for semCompiles contexts. We could
try to restore these, but wouldn't this just postpone the crashes
until someone tries the same expressions in nimrod check?
One of the previous commits also used errorNode to avoid
returning nil. This may be an alaternative approach.
2013-08-27 01:51:02 +03:00
Zahary Karadjov
9cc23118be
fix tcompiles
2013-08-27 01:01:03 +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
89086a8e19
prevent eval crashes due to PContext-dependent ops not being available in evalConstExpr
2013-08-25 18:11:28 +03:00
Zahary Karadjov
6378fbd66e
working code for simple cases of user-defined type classes
2013-08-25 12:17:40 +03:00
Zahary Karadjov
8682ed9bd0
pass-through of static int generic params to arrays when late instantiation is disabled
2013-08-23 01:10:20 +03:00
Zahary Karadjov
cefa16ae77
Revert "Revert "fix threading tests""
...
This reverts commit 9c45e33d8c
2013-08-19 01:29:58 +03:00
Zahary Karadjov
f127bc387a
Revert "Revert "test cases for the new features""
...
This reverts commit e1b668c868
2013-08-19 01:17:07 +03:00
Zahary Karadjov
5c32156a71
fixes #534
2013-08-07 00:01:58 +03:00
Araq
84534ce4b8
Merge branch 'master' of github.com:Araq/Nimrod
2013-07-20 20:18:21 +02:00
Araq
aa88e150da
'modules' module from 'main'; minor bugfixes
2013-07-20 20:17:23 +02:00
Araq
bfbdb1f028
refactorings for the eval engine; bugfix: clean templates as accessors
2013-07-19 22:22:20 +02:00
Araq
bfca977d5f
fixes #505
2013-07-02 19:44:40 +02:00
Araq
1bdc0d1dd3
fixes lots of regressions
2013-06-29 10:04:18 +02:00
Araq
8d4f5038d0
fixes #488
2013-06-27 08:19:03 +02:00
Araq
c156f2d493
next steps for guarded data flow analysis
2013-06-11 00:31:40 +02:00
Araq
23ef565a3c
implemented large parts of the 'not nil' checking
2013-06-09 23:29:43 +02:00
Araq
4308f32255
astToStr is now immediate
2013-06-02 21:52:04 +02:00
Araq
24955f8358
fixes #458
2013-05-31 02:27:05 +02:00
Araq
9c45e33d8c
Revert "fix threading tests"
...
This reverts commit d5fffc032f
2013-05-27 23:17:48 +02:00
Araq
e1b668c868
Revert "test cases for the new features"
...
This reverts commit 66653e8f14
2013-05-27 23:16:00 +02:00
Zahary Karadjov
66653e8f14
test cases for the new features
2013-05-26 22:15:30 +03:00
Zahary Karadjov
d5fffc032f
fix threading tests
...
* more type names are valid expressions now
* void is properly stripped off during generic instantiation
2013-05-26 16:23:23 +03:00
