Add atomics support in the standard library

[lucteo]

No description provided.

[lucteo]

@kyouko-taiga : Do you have any idea why I get a "Sources/FrontEnd/TypeChecking/TypeChecker.swift:6183: Assertion failed: type already inferred" error on many of the tests on Ubuntu builds (see https://github.com/hylo-lang/hylo/actions/runs/12597537109/job/35110729555?pr=1637)?

[kyouko-taiga]

@kyouko-taiga : Do you have any idea why I get a "Sources/FrontEnd/TypeChecking/TypeChecker.swift:6183: Assertion failed: type already inferred" error on many of the tests on Ubuntu builds (see https://github.com/hylo-lang/hylo/actions/runs/12597537109/job/35110729555?pr=1637)?

It means something causes the type checker to visit the same tree twice. If you point me at the test cases that are failing I can investigate if you want.

[lucteo]

The failures can be seen at https://github.com/hylo-lang/hylo/actions/runs/12597537109/job/35110729555?pr=1637.
It shows me the following failed tests:

	  2 - DriverTests (ILLEGAL)
	  3 - ManglingTests (ILLEGAL)
	  4 - HyloTests (ILLEGAL)
	  5 - HyloTests_TestCases_Lowering_0 (ILLEGAL)
	  6 - HyloTests_TestCases_Lowering_1 (ILLEGAL)
	  7 - HyloTests_TestCases_Lowering_2 (ILLEGAL)
	  8 - HyloTests_TestCases_Lowering_3 (ILLEGAL)
	  9 - HyloTests_TestCases_Parsing_0 (ILLEGAL)
	 10 - HyloTests_TestCases_Parsing_1 (ILLEGAL)
	 11 - HyloTests_TestCases_Parsing_2 (ILLEGAL)
	 12 - HyloTests_TestCases_TypeChecking_0 (ILLEGAL)
	 13 - HyloTests_TestCases_TypeChecking_1 (ILLEGAL)
	 14 - HyloTests_TestCases_TypeChecking_2 (ILLEGAL)
	 15 - HyloTests_TestCases_TypeChecking_3 (ILLEGAL)
	 16 - HyloTests_TestCases_TypeChecking_4 (ILLEGAL)
	 17 - HyloTests_TestCases_TypeChecking_5 (ILLEGAL)
	 18 - HyloTests_TestCases_TypeChecking_6 (ILLEGAL)
	 19 - HyloTests_TestCases_TypeChecking_7 (ILLEGAL)
	 20 - HyloTests_TestCases_TypeChecking_8 (ILLEGAL)
	 21 - HyloTests_TestCases_TypeChecking_9 (ILLEGAL)
	 22 - HyloTests_TestCases_TypeChecking_10 (ILLEGAL)
	 23 - EndToEndTests (ILLEGAL)
	 24 - EndToEndTests_TestCases_0 (ILLEGAL)
	 25 - EndToEndTests_TestCases_1 (ILLEGAL)
	 26 - EndToEndTests_TestCases_2 (ILLEGAL)
	 27 - EndToEndTests_TestCases_3 (ILLEGAL)
	 28 - EndToEndTests_TestCases_4 (ILLEGAL)
	 29 - EndToEndTests_TestCases_Concurrency (ILLEGAL)
	 31 - LibraryTests_TestCases_0 (ILLEGAL)
	 32 - LibraryTests_TestCases_1 (ILLEGAL)

Please note that these tests only fail on Ubuntul, I haven't seen any failures on MacOS.

[kyouko-taiga]

If the failure is so widespread I think there's something going wrong with your code generator. It's surprising that the error occurs only on Ubuntu but perhaps that's because you're generating a duplicate declaration only on this platform?

My current theory is that two identical definitions are being fed to the type checker (which currently does not check for duplicate declaration).

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 88.76%. Comparing base (7f92282) to head (396a0b7).

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1637      +/-   ##
==========================================
+ Coverage   88.34%   88.76%   +0.42%     
==========================================
  Files         381      381              
  Lines       31503    31503              
==========================================
+ Hits        27831    27964     +133     
+ Misses       3672     3539     -133     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.