summary refs log tree commit diff stats
path: root/compiler/sigmatch.nim
Commit message (Expand)AuthorAgeFilesLines
* fix tbindtypedesc and tactiontable2Zahary Karadjov2014-02-181-5/+12
* quite messy implementation of generic lambdas, needs reworking; fixes #715Zahary Karadjov2014-02-171-4/+5
* fix argument_parserZahary Karadjov2014-02-161-24/+29
* fix some regressions caused by tyTypeDesc[tyNone]Zahary Karadjov2014-02-151-13/+11
* fixes #797; generic procs can be used in places expecting matching concrete p...Zahary Karadjov2014-02-111-28/+49
* fixes 'newSeq[T]' instantiation bugAraq2014-02-091-0/+1
* tyTypeDesc and tyRange always have 1 child; this might be tyNone but it is re...Araq2014-02-051-9/+10
* the `is` operator now uses exactly the same algorithm as proc signature matchingZahary Karadjov2014-01-261-1/+1
* implements #766;Zahary Karadjov2014-01-241-26/+21
* support for parametric user-defined type classesZahary Karadjov2014-01-241-58/+71
* fix the segfault in #827Zahary Karadjov2014-01-201-1/+1
* 'nil' as a statement is deprecated, use an empty 'discard' insteadAraq2014-01-191-16/+16
* fix bootstrapping on windowsZahary Karadjov2014-01-061-1/+3
* introduce tyFromExpr; fixes #618Zahary Karadjov2014-01-041-3/+7
* clean-up some obsolete code; close #602Zahary Karadjov2013-12-311-34/+36
* Templates will pick the candidate in the nearest scope when symbols are mixed-inZahary Karadjov2013-12-311-7/+16
* migrate the static param handling to ReplaceTypeVars; fix tgenericvariantZahary Karadjov2013-12-301-2/+1
* Merge branch 'upstream' into develZahary Karadjov2013-12-291-103/+148
|\
| * integrate the logic of fixupProcType into ReplaceTypeVarsZahary Karadjov2013-12-291-4/+11
| * make more tests greenZahary Karadjov2013-12-291-25/+25
| * fix tclosure4Zahary Karadjov2013-12-281-6/+11
| * towards support for composite type classes such as seq[Number] and SquareMatr...Zahary Karadjov2013-12-271-0/+16
| * bugfix: in some contexts, newSeq[T](n) is incorrectly inferred to have a seq[...Zahary Karadjov2013-12-261-2/+4
| * better integration of tyStatic into typeRelZahary Karadjov2013-12-251-32/+28
| * wip type class reforms (the compiler bootstraps fine)Zahary Karadjov2013-12-251-16/+24
| * make the current PContext accessible through TCandidateZahary Karadjov2013-12-251-26/+33
| * static params: expr[T] is now static[T]Zahary Karadjov2013-12-191-29/+33
* | case consistency: cs:partial bootstraps on windowsAraq2013-12-291-8/+8
* | case consistency: next stepsAraq2013-12-291-7/+7
* | case consistency part 4Araq2013-12-271-25/+25
* | case consistency part 1Araq2013-12-271-6/+6
|/
* progress towards adding negative type classesZahary Karadjov2013-12-091-24/+227
* adding some provisions for writing lower-level unit tests targeting specific ...Zahary Karadjov2013-12-071-2/+15
* simple unit test and better documentation for the user defined type classesZahary Karadjov2013-11-171-14/+8
* improvements for the `is` operator; implemented the type lifting rule in user...Zahary Karadjov2013-11-171-10/+19
* support for multiple test variables and var qualifiers in user-defined type c...Zahary Karadjov2013-11-131-4/+17
* Merge branch 'type-classes' into upstreamZahary Karadjov2013-09-031-41/+82
|\
| * minor improvement towards tgenericshardcasesZahary Karadjov2013-08-281-16/+23
| * implemented delegators and improved the error messages of unmatched type classesZahary Karadjov2013-08-261-22/+0
| * working code for simple cases of user-defined type classesZahary Karadjov2013-08-251-3/+59
* | bugfix: conversions to float32 are allowed again but of lower priorityAraq2013-08-301-3/+3
* | conversions to float32 are allowed again but of lower priorityAraq2013-08-301-3/+3
* | Merge branch 'master' of github.com:Araq/NimrodAraq2013-08-301-2/+6
|\|
| * implemented and documented the new typedesc binding rulesZahary Karadjov2013-08-231-2/+4
| * pass-through of static int generic params to arrays when late instantiation i...Zahary Karadjov2013-08-231-1/+2
| * Experimental support for delayed instantiation of genericsZahary Karadjov2013-08-231-1/+2
* | float64 is now an alias to 'float'; fixes #545Araq2013-08-301-3/+7
|/
* hacky fix for generic constraints matchingZahary Karadjov2013-08-191-1/+22
* some steps to improve the type mismatches with the newZahary Karadjov2013-08-191-9/+13
* Revert "Revert "static and default params for generics""Zahary Karadjov2013-08-191-5/+14