summary refs log tree commit diff stats
path: root/compiler/sigmatch.nim
Commit message (Expand)AuthorAgeFilesLines
* tyTypeDesc and tyRange always have 1 child; this might be tyNone but it is re...Araq2014-02-051-9/+10
* 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
* 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
|\
| * 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 SquareMatr...Zahary Karadjov2013-12-271-0/+16
| * bugfix: in some contexts, newSeq[T](n) is incorrectly inferred to have a seq[...Zahary Karadjov2013-12-261-2/+4
| * 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
| * make the current PContext accessible through TCandidateZahary Karadjov2013-12-251-26/+33
| * static params: expr[T] is now static[T]Zahary Karadjov2013-12-191-29/+33
* | case consistency: cs:partial bootstraps on windowsAraq2013-12-291-8/+8
* | case consistency: next stepsAraq2013-12-291-7/+7
* | case consistency part 4Araq2013-12-271-25/+25
* | case consistency part 1Araq2013-12-271-6/+6
|/
* progress towards adding negative type classesZahary Karadjov2013-12-091-24/+227
* adding some provisions for writing lower-level unit tests targeting specific ...Zahary Karadjov2013-12-071-2/+15
* simple unit test and better documentation for the user defined type classesZahary Karadjov2013-11-171-14/+8
* improvements for the `is` operator; implemented the type lifting rule in user...Zahary Karadjov2013-11-171-10/+19
* support for multiple test variables and var qualifiers in user-defined type c...Zahary Karadjov2013-11-131-4/+17
* Merge branch 'type-classes' into upstreamZahary Karadjov2013-09-031-41/+82
|\
| * minor improvement towards tgenericshardcasesZahary Karadjov2013-08-281-16/+23
| * implemented delegators and improved the error messages of unmatched type classesZahary Karadjov2013-08-261-22/+0
| * working code for simple cases of user-defined type classesZahary Karadjov2013-08-251-3/+59
* | bugfix: conversions to float32 are allowed again but of lower priorityAraq2013-08-301-3/+3
* | conversions to float32 are allowed again but of lower priorityAraq2013-08-301-3/+3
* | Merge branch 'master' of github.com:Araq/NimrodAraq2013-08-301-2/+6
|\|
| * implemented and documented the new typedesc binding rulesZahary Karadjov2013-08-231-2/+4
| * pass-through of static int generic params to arrays when late instantiation i...Zahary Karadjov2013-08-231-1/+2
| * Experimental support for delayed instantiation of genericsZahary Karadjov2013-08-231-1/+2
* | float64 is now an alias to 'float'; fixes #545Araq2013-08-301-3/+7
|/
* hacky fix for generic constraints matchingZahary Karadjov2013-08-191-1/+22
* some steps to improve the type mismatches with the newZahary Karadjov2013-08-191-9/+13
* Revert "Revert "static and default params for generics""Zahary Karadjov2013-08-191-5/+14
* 'modules' module from 'main'; minor bugfixesAraq2013-07-201-2/+4
* fixes #442Araq2013-06-271-11/+20
* improvements for 'not nil' checkingAraq2013-06-131-4/+27
* fixes #385Araq2013-06-031-3/+18
* Revert "static and default params for generics"Araq2013-05-271-14/+5
* static and default params for genericsZahary Karadjov2013-05-261-5/+14
#n631'>631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869