lean4-htt/tests/elab/string_cases.lean.out.expected at master - max/lean4-htt - maxgit: wireguard access, git repository.

max/lean4-htt

Sebastian Ullrich 8dc4c16fce

fix: correct String cases codegen to use String.toByteArray (#13242 )

This PR fixes the compiler handling of pattern matching on the `String`
constructor to conform to the new `String` representation.

2026-04-02 08:17:20 +00:00

3 lines

6 B

Text

Raw Permalink Blame History

	`5`
	`0`
	`2`