summary refs log tree commit diff stats
path: root/compiler/semtypinst.nim
Commit message (Expand)AuthorAgeFilesLines
* fixes #2505, fixes #1853, fixes #2522Araq2015-04-201-1/+3
* fixes #2509Araq2015-04-111-0/+8
* first implementation of overloading of '='; missing: rewriting let/var sectionsAraq2015-04-061-3/+9
* fixes #1783Araq2015-03-231-1/+5
* fixes #2346Araq2015-03-161-26/+27
* .n.isNil checks for tyTuple PTypes.Max Zerzouri2015-03-071-0/+2
* fixes #2169Araq2015-02-281-2/+1
* fixes #2216Araq2015-02-261-4/+4
* tsigtypeop.nim works againAraq2015-02-251-0/+1
* fixes #2125Araq2015-02-181-1/+1
* Fix typosFederico Ceratto2015-02-151-7/+7
* nimsuggest: first versionAraq2015-01-271-1/+0
* Happy new year!Guillaume Gelin2015-01-061-1/+1
* fixes #1187Araq2014-12-191-2/+3
* fixes #1687Araq2014-11-301-1/+1
* fixes #1562, fixes #1543Araq2014-11-201-0/+2
* implemented locking levels; still incompleteAraq2014-09-271-7/+0
* deepCopy is instantiated when its corresponding type is instantiatedAraq2014-09-261-0/+12
* mostly fixes #1339Zahary Karadjov2014-09-051-2/+6
* big renameAraq2014-08-271-1/+1
* progress on deepCopyAraq2014-08-011-1/+1
* fixes #847Araq2014-04-211-2/+3
* removed flawed thread analysis passAraq2014-04-201-1/+1
* new concurrency model: first steps; shared is not a keyword anymoreAraq2014-04-141-2/+14
* handle arbitrary expressions dependent on static input params in proc signaturesZahary Karadjov2014-03-161-3/+6
* more robust handling of proc signatures containing inter-param type referencesZahary Karadjov2014-03-161-5/+5
* first phase of tyGenericParam reforms needed for static paramsZahary Karadjov2014-03-161-12/+2
* fix #988Zahary Karadjov2014-03-101-3/+2
* fix #986Zahary Karadjov2014-03-101-1/+3
* implements higher-order inline iterators and return type inference for iteratorsZahary Karadjov2014-03-081-1/+6
* fix #931 and few more testsZahary Karadjov2014-02-181-3/+6
* quite messy implementation of generic lambdas, needs reworking; fixes #715Zahary Karadjov2014-02-171-6/+15
* fixes #833Araq2014-02-141-0/+3
* tyTypeDesc and tyRange always have 1 child; this might be tyNone but it is re...Araq2014-02-051-1/+1
* Merge branch 'devel' of https://www.github.com/Araq/Nimrod into develZahary Karadjov2014-01-261-2/+2
|\
| * fixes #838Araq2014-01-251-2/+2
* | support for parametric user-defined type classesZahary Karadjov2014-01-241-1/+4
|/
* 'nil' as a statement is deprecated, use an empty 'discard' insteadAraq2014-01-191-2/+2
* progress towards fixing tgenericshardcasesZahary Karadjov2014-01-061-18/+86
* introduce tyFromExpr; fixes #618Zahary Karadjov2014-01-041-0/+4
* Templates will pick the candidate in the nearest scope when symbols are mixed-inZahary Karadjov2013-12-311-7/+8
* migrate the static param handling to ReplaceTypeVars; fix tgenericvariantZahary Karadjov2013-12-301-11/+10
* properly remove intLiterals from proc signatures; fixes trettypeinferenceZahary Karadjov2013-12-301-5/+13
* handle recursive types during the instantiation of meta types; propagate tfHa...Zahary Karadjov2013-12-301-19/+79
* fix the filtering of void params in procs' signaturesZahary Karadjov2013-12-291-4/+20
* Merge branch 'upstream' into develZahary Karadjov2013-12-291-31/+52
|\
| * integrate the logic of fixupProcType into ReplaceTypeVarsZahary Karadjov2013-12-291-15/+27
| * make more tests greenZahary Karadjov2013-12-291-3/+4
| * lift generic parameters from concrete composite type classesZahary Karadjov2013-12-281-4/+5
| * towards support for composite type classes such as seq[Number] and SquareMatr...Zahary Karadjov2013-12-271-8/+13