Changeset bd72f517 for src/Parser/TypeData.cpp
- Timestamp:
- May 13, 2025, 1:17:50 PM (4 months ago)
- Branches:
- master
- Children:
- 0528d79
- Parents:
- 7d02d35 (diff), 2410424 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/Parser/TypeData.cpp
r7d02d35 rbd72f517 737 737 location, 738 738 "?=?", 739 {}, // forall740 {}, // assertions741 739 { 742 740 new ast::ObjectDecl( … … 779 777 location, 780 778 "?{}", 781 {}, // forall782 {}, // assertions783 779 { 784 780 new ast::ObjectDecl( … … 802 798 location, 803 799 "?{}", 804 {}, // forall805 {}, // assertions806 800 { 807 801 new ast::ObjectDecl( … … 834 828 location, 835 829 "^?{}", 836 {}, // forall837 {}, // assertions838 830 { 839 831 new ast::ObjectDecl( … … 882 874 location, 883 875 "?=?", 884 {}, // forall885 {}, // assertions886 876 { 887 877 new ast::ObjectDecl( … … 924 914 location, 925 915 "?{}", 926 {}, // forall927 {}, // assertions928 916 { 929 917 new ast::ObjectDecl( … … 948 936 location, 949 937 "?{}", 950 {}, // forall951 {}, // assertions952 938 { 953 939 new ast::ObjectDecl( … … 981 967 location, 982 968 "^?{}", 983 {}, // forall984 {}, // assertions985 969 { 986 970 new ast::ObjectDecl(
Note:
See TracChangeset
for help on using the changeset viewer.