hylo
hylo copied to clipboard
hylo-lang
The Hylo programming language
Two of the lookup functions from the type checker are exposed in the TypedProgram with non-mutating interface, so that they can be used from the HyloDoc library for name resolution...
Attempting to compile the following Hylo source: ```swift trait BidirectionalCollection: Collection { fun position(before: Position) -> Position } public conformance Array: BidirectionalCollection { public fun position(before pos: Int) -> Int...
Bumps [compnerd/gha-setup-swift](https://github.com/compnerd/gha-setup-swift) from 0.2.2 to 0.2.3. Release notes Sourced from compnerd/gha-setup-swift's releases. ζ What's Changed Skip VS 2022 compatibility setup steps if the toolchain is newer than 5.9 by @kendalharland...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Bumps [codecov/codecov-action](https://github.com/codecov/codecov-action) from 4.4.1 to 4.5.0. Commits e28ff12 chore(release): bump to 4.5.0 (#1477) 7594baa Use an existing token even if the PR is from a fork (#1471) 81c0a51 feat: add...
I added documentation for the precondition mentioned in: #1489 When given the same `baseName` for a SourceFile's constructor as before, the provided file content must equal the one before for...
It is typically desirable for a compiler to produce the same output for a given input across multiple compilation runs. Some even advocate that two runs with the same input...
When creating two SourceFile objects with the same file name, the second one does not get an independent storage from the first one. This was confusing because the next time...
Hello! I found https://www.hylo-lang.org/pages/implementation-status.html from the README, but I don't think it's been updated in quite a while (it seems to refers to 2023 as the future). Would you mind...
