hylo
hylo copied to clipboard
hylo-lang
The Hylo programming language
``` VAL_HOME=$(pwd) swift test ... Test Case '-[ValTests.ValTests testEval]' started. VIL/Typestate.swift:850: Fatal error: Not implemented Exited with signal code 5 ```
The generic environment of a declaration is responsible for tracking conformance and equivalence relationships on the generic type parameters associated with the declaration. We should also track relationships on associated...
The interface of the function to type check expression currently expects `expr` to be `inout`, so that it may be substituted during type checking (e.g., to replace unresolved declaration references)....
**Why?** To properly handle the C++ transpile cases, we should transform Val AST to CXX AST before emitting C++ code. We shall start by translating Val's `ModuleDecl` into a corresponding...
Most programs used to test the type checker use a programmatically built AST (e.g., [TypeCheckerTests.testTraitDecl](https://github.com/val-lang/val/blob/5a35a28556d636bfb221a0c99d5b36fcdd4aefbf/Tests/ValTests/TypeCheckerTests.swift#L6)). That makes test cases hard to read, update, and maintain. It would be preferable if...
Given the following program: ``` public fun main() { let x = 0 var y = x let _ = x } ``` the error message is: ``` error: use...
./valc fac.val ``` Undefined symbols for architecture arm64: "_P3IntO5infix3u2a21_a", referenced from: l_F9factorial21_a in main.o "_P3IntO5infix3u2d21_a", referenced from: l_F9factorial21_a in main.o "_P3IntO5infix3u3c21_a", referenced from: l_F9factorial21_a in main.o ld: symbol(s) not found...
The `README.md` instructions aren't sufficient to build Val on a Windows environment. It would be useful to support this environment to increase the pool of Val developers and confirm cross-platform...
We need a format to store/load modules that have been type checked, so that we don't have to recompile every sources. That format should probably include the typed AST of...
The val repo doesn't contain any example Val programs. They should be added.