summary refs log tree commit diff stats
path: root/compiler/sigmatch.nim
Commit message (Collapse)AuthorAgeFilesLines
* 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
| |
| * towards support for composite type classes such as seq[Number] and ↵Zahary Karadjov2013-12-271-0/+16
| | | | | | | | SquareMatrix[T]
| * bugfix: in some contexts, newSeq[T](n) is incorrectly inferred to have a ↵Zahary Karadjov2013-12-261-2/+4
| | | | | | | | seq[typedesc[T]] type
| * 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
| | | | | | | | | | | | * replace tfAny and tfAll with tyAnd and tyOr * integrate matchTypeClass into typeRel * introduce tyBuiltInTypeClass to handle types such as tuple, object, proc, etc
| * make the current PContext accessible through TCandidateZahary Karadjov2013-12-251-26/+33
| | | | | | | | | | | | the goal here is to remove all the hacks from ParamTypeMatch and to handle all type matching in typeRel (the context there is required to evaluate any static params and to run the compilation tests of user-defined type classes)
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2025-02-13 11:39:50 +0000