summary refs log tree commit diff stats
path: root/compiler/sigmatch.nim
Commit message (Collapse)AuthorAgeFilesLines
* deepCopy is instantiated when its corresponding type is instantiatedAraq2014-09-261-0/+12
|
* improvements for nimfixAraq2014-09-101-1/+3
|
* added nimfix toolAraq2014-09-051-0/+3
|
* updated the compiler to use the new symbol namesAraq2014-08-281-1/+1
|
* Nimrod renamed to NimAraq2014-08-281-1/+1
|
* fixes #1285Araq2014-06-301-3/+3
|
* Renamed considerAccents to considerQuotedIdentClay Sweetser2014-05-261-3/+3
|
* Renamed 'considerAcc' to 'considerAccents' for clarityClay Sweetser2014-05-241-3/+3
| | | | | Added documentation string to 'considerAccents' Modified renderParamType's assertion to allow nkAcc nodes.
* fixes OR for int8|int16 etcAraq2014-04-201-2/+2
|
* actors compile againAraq2014-04-201-0/+3
|
* New concurrency model: next stepsAraq2014-04-191-1/+1
|
* first version of 'spawn'Araq2014-04-161-0/+1
|
* refined and documented regionized pointersAraq2014-04-091-17/+11
|
* implemented region pointersAraq2014-04-091-4/+9
|
* fixes #913Araq2014-04-061-0/+2
|
* fix #1016Zahary Karadjov2014-03-201-1/+1
|
* implements ``distinct with/without X, Y``Zahary Karadjov2014-03-201-1/+22
| | | | | | This still doesn't work quite right, because some common operations like array indexing lay completely outside the scope/symbol lookup system - they are not even magics.
* fix #1013Zahary Karadjov2014-03-201-4/+10
|
* reference implementation of a vector swizzle libraryZahary Karadjov2014-03-201-6/+27
| | | | | This also provides the initial steps towards support for type class "filtered" type inference fixes an "ordinal type expected" ICE, related to the use of static params
* make some tests greenZahary Karadjov2014-03-161-3/+6
|
* handle arbitrary expressions dependent on static input params in proc signaturesZahary Karadjov2014-03-161-2/+6
|
* more robust handling of proc signatures containing inter-param type referencesZahary Karadjov2014-03-161-1/+12
|
* fix #997Zahary Karadjov2014-03-161-6/+7
|
* first phase of tyGenericParam reforms needed for static paramsZahary Karadjov2014-03-161-8/+24
|
* implements higher-order inline iterators and return type inference for iteratorsZahary Karadjov2014-03-081-3/+16
|
* test cases for the new handling of iterators by the `is` operatorZahary Karadjov2014-03-061-3/+9
|
* split the inline and closure iterators into different symbol kinds for ↵Zahary Karadjov2014-03-061-1/+1
| | | | easier discrimination between them
* iterators now return tyIter(T);Zahary Karadjov2014-03-051-2/+6
| | | | | | | | tyIter(T) represents an "iteration yielding values of type T" I'm planning to use that in the context of the `is` operator supporting predicates such as `C.items is iterator` and also in the upcoming support for higher-order inline iterators.
* some fixes for static params usage in macrosZahary Karadjov2014-02-251-16/+30
|
* 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 ↵Zahary Karadjov2014-02-111-28/+49
| | | | proc types
* fixes 'newSeq[T]' instantiation bugAraq2014-02-091-0/+1
|
* tyTypeDesc and tyRange always have 1 child; this might be tyNone but it is ↵Araq2014-02-051-9/+10
| | | | required for skipTypes
* 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
| | | | | | expressions such as Type.field are now recognised by the compiler. This also fixes a bug, preventing the user-defined to check for the presence of regular fields in addition to procs
* 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
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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-4/+11
| |
| * make more tests greenZahary Karadjov2013-12-291-25/+25
| |
| * fix tclosure4Zahary Karadjov2013-12-281-6/+11
| |