Pierre-Marie de Rodat 6e88d6ec25 Lkt: revamp the module system

2026-01-20 16:03:43 +00:00

..

bad_name.lkt

structs/invalid_env_md: transition to the lkt_compile driver

2023-12-13 13:36:33 +00:00

bad_type.lkt

Lkt: remove the root type argument for builtin generic types

2024-07-04 12:37:30 +00:00

common.lkt

Lkt: revamp the module system

2026-01-20 16:03:43 +00:00

implicit.lkt

Lkt lowering: make default Metadata struct available in user code

2023-12-13 13:55:10 +00:00

not_a_struct.lkt

structs/invalid_env_md: transition to the lkt_compile driver

2023-12-13 13:36:33 +00:00

test.out

Lkt frontend: use scopes to resolve base type references

2026-01-05 09:09:55 +00:00

test.yaml

structs/invalid_env_md: transition to the lkt_compile driver

2023-12-13 13:36:33 +00:00

two_md.lkt

structs/invalid_env_md: transition to the lkt_compile driver

2023-12-13 13:36:33 +00:00