summary refs log tree commit diff stats
path: root/compiler/semtypinst.nim
Commit message (Collapse)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
| | | | | | | | | | | The compiler hangs were caused by the interaction of tyError and the instantiation caches. For procs, the cache wasn't able to find previously compiled proc featuring tyError in the signature. For types, the unresolved type parameters leading to tyError were not replaced everywhere leading to endless replaceTypeVarsT recursion for cyclic types. The fix is still not perfect, because the handling of tyError in other places in the compiler doesn't seem to be complete and the first test case now results in internal error (still, much better than a hang blocking your IDE).
* 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
| | | | trivial crash caused due to unchecked iteration over an empty reclist
* 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 ↵Araq2014-02-051-1/+1
| | | | required for skipTypes
* 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 ↵Zahary Karadjov2013-12-301-19/+79
| | | | tfHasMeta more carefully
* fix the filtering of void params in procs' signaturesZahary Karadjov2013-12-291-4/+20
|
* Merge branch 'upstream' into develZahary Karadjov2013-12-291-31/+52
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Conflicts: compiler/ccgutils.nim compiler/msgs.nim compiler/sem.nim compiler/semexprs.nim compiler/seminst.nim compiler/semmagic.nim compiler/semstmts.nim compiler/semtypes.nim compiler/semtypinst.nim compiler/sigmatch.nim compiler/types.nim compiler/vmgen.nim lib/core/macros.nim lib/system.nim tests/reject/tenummix.nim web/news.txt
| * 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 ↵Zahary Karadjov2013-12-271-8/+13
| | | | | | | | SquareMatrix[T]