summary refs log tree commit diff stats
path: root/compiler/sigmatch.nim
Commit message (Collapse)AuthorAgeFilesLines
* implements #295Araq2013-01-081-2/+3
|
* fixes #271Araq2012-12-151-20/+14
|
* implemented AST based overloadingAraq2012-12-061-4/+15
|
* implemented generic convertersAraq2012-12-051-3/+16
|
* disable SSLv2_method for ubuntuAraq2012-12-031-3/+3
|
* next steps for first class iteratorsAraq2012-11-261-0/+2
|
* first steps for 'not nil' annotationAraq2012-11-251-18/+19
|
* next steps for exception trackingAraq2012-11-031-0/+2
|
* caas barely works nowAraq2012-10-241-0/+2
|
* Improved support for nkSymChoices in type coercionsZahary Karadjov2012-10-151-2/+2
| | | | | | | | | | For example, this allows you to pick up a proc with a specific signature from an overload set. bugfix: nimrod generated invalid code when a RVO function had a single compile-time param bugfix: nkHiddenDerefs were not neutralised properly for indirect proc calls
* fixes #211Zahary Karadjov2012-10-131-8/+9
| | | | transf: fix a clang compilation error when lineDir:on is used
* fixes #217Araq2012-10-131-6/+6
|
* syntax compatibility between do blocks and stmt blocksZahary Karadjov2012-10-041-2/+6
| | | | | | | | | | | | See the section `do notation` in the manual for more info. * nkMacroStmt has been removed Macro statements are now mapped to regular nkCall nodes. The support for additional clauses (such as else, except, of, etc) have been restored - they will now appear as additional arguments for the nkCall node (as nkElse, nkExcept, etc nodes) * fixed some regressions in the `is` operator and semCompiles
* the `is` operator now works with type classes and type variablesZahary Karadjov2012-10-031-32/+5
| | | | | bugfixes: the DLL tests were failing on Mac OS X, due to an incorrect DynlibFormat
* implemented return type inferenceZahary Karadjov2012-10-031-1/+6
| | | | | | Other fixes: * bind once is now the default for type classes as documented in the manual * fixes an issue in template overloading (erroneous ambiguity when different typedesc params were used)
* improved support for typedesc valuesZahary Karadjov2012-09-251-2/+3
| | | | | * can be stored in constants and variables (including in containers like sequences) * can be passed to and returned from macros
* fixes #186 and the ttypedesc1 test caseZahary Karadjov2012-09-231-15/+15
|
* fixed incorrect implicit conversion between arrays of different sizes; see #202Zahary Karadjov2012-09-131-13/+12
|
* first steps towards term rewriting macrosAraq2012-08-301-1/+1
|
* implemented generic templatesAraq2012-08-271-2/+2
|
* distinguish properly between nkOpen and nkClosedSymChoiceAraq2012-08-261-1/+1
|
* openarray/varargs split; breaks bootstrappingAraq2012-08-161-22/+25
|
* bugfix: typo in actors.nimAraq2012-08-151-0/+12
|
* next steps for tyVarargs/tyOpenArray splitAraq2012-08-141-0/+4
|
* idetools: 'usages' and 'def' should work now; documented js backendAraq2012-08-051-14/+32
|
* idetools improvementsAraq2012-08-031-3/+8
|
* idetools improvements; preparation of first class iterators; fixes #183Araq2012-08-021-1/+1
|
* made compiler more robust for idetools; implemented idetools.usagesAraq2012-07-301-12/+16
|
* optimizations for system.compilesAraq2012-07-201-0/+1
|
* bugfix: constraint matching for tyGenericInst; implements #130Araq2012-07-191-1/+1
|
* preparations for making 'closure' the default calling convention for proc typesAraq2012-07-161-1/+3
|
* improved unsigned supportAraq2012-07-141-1/+2
|
* overloading resolution finally takes inheritance depth into accountAraq2012-07-111-62/+75
|
* some more bugfixes for the integer promotion rulesAraq2012-07-101-4/+5
|
* 'addSon' for types deprecated for 'int literal type' analysisAraq2012-07-091-3/+3
|
* changed integer promotion rules; breaks bootstrapping and lots of codeAraq2012-07-081-19/+40
|
* added devel/logging; weakrefs test; next steps for proper unsigned supportAraq2012-07-051-2/+4
|
* changed integer promotion rules; added math.fmodAraq2012-06-281-25/+31
|
* more uint related fixesZahary Karadjov2012-06-141-1/+1
|
* better support for unsigned integers.Zahary Karadjov2012-06-111-0/+8
|
* implicit generics types as return types. removed the error message for ↵Zahary Karadjov2012-04-211-21/+10
| | | | capturing incorrect uses of ``proc``
* typedesc and expr paramsZahary Karadjov2012-03-311-14/+65
| | | | | | | | | | | | types are now valid proc/template/macro params and you can overload over them: proc foo(T: typedesc) # accept any type proc foo(T: typedesc{int}) # overload specifically for int proc foo(T: typedesc{int or float or Callable}) # overload for any type matching the constraints expr{type} is a param expecting compile time value of the designated type (or type class). when typedesc or expr params are used with a proc, the proc will be instantiated once for each unique type/value used as parameter.
* generic types can be used like type classes. distinct can be applied to type ↵Zahary Karadjov2012-03-251-5/+12
| | | | classes.
* tyOrdinal now means "integral types". tyTypeClass created to take care of ↵Zahary Karadjov2012-03-221-5/+4
| | | | type constraints
* expr params implemented for procs; paving the way for type classesZahary Karadjov2012-03-221-18/+12
|
* allowing definitions of procs and templates to be overridden in local scopesZahary Karadjov2012-03-141-1/+6
|
* bootstraps fine with overloadable templatesZahary Karadjov2012-03-141-24/+30
|
* closure implementation: first stepsAraq2012-02-041-2/+8
|
* further steps to eliminate generics bugsAraq2012-01-111-12/+19
|
* bugfix: type alias to generic; generic type not stripped away from for loop ↵Araq2012-01-071-9/+15
| | | | variable