summary refs log tree commit diff stats
path: root/compiler/sigmatch.nim
Commit message (Expand)AuthorAgeFilesLines
* '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
* 'modules' module from 'main'; minor bugfixesAraq2013-07-201-2/+4
* fixes #442Araq2013-06-271-11/+20
* improvements for 'not nil' checkingAraq2013-06-131-4/+27
* fixes #385Araq2013-06-031-3/+18
* Revert "static and default params for generics"Araq2013-05-271-14/+5
* static and default params for genericsZahary Karadjov2013-05-261-5/+14
* fixes #119Araq2013-05-181-2/+1
* fixes #430Zahary Karadjov2013-05-121-6/+12
* fixes #429 and tstmtexprZahary Karadjov2013-05-121-3/+4
* Merge branch 'master' of gh:/Araq/Nimrod into upstreamZahary Karadjov2013-05-041-22/+124
|\
| * fixes #287; bugfix: subrange checking is performed againAraq2013-04-121-1/+20