Directory listing for zeolite-lang-0.7.0.0 source tarball
zeolite-lang-0.7.0.0/
- ChangeLog.md
- LICENSE
- Setup.hs
- zeolite-lang.cabal
- base/
- bin/
- example/
- lib/
- src/
- Base/
- Cli/
- Compilation/
- CompilerCxx/
- Config/
- Parser/
- Test/
- Common.hs
- CompileInfo.hs
- DefinedCategory.hs
- IntegrationTest.hs
- MergeTree.hs
- ParseMetadata.hs
- Parser.hs
- Pragma.hs
- Procedure.hs
- SourceFile.hs
- TypeCategory.hs
- TypeInstance.hs
- testfiles/
- ambiguous_merge_inherit.0rx
- bad_allows_variance_left.0rx
- bad_allows_variance_right.0rx
- bad_defines_variance_left.0rx
- bad_defines_variance_right.0rx
- bad_requires_variance_left.0rx
- bad_requires_variance_right.0rx
- bad_type_arg_variance.0rx
- bad_type_return_variance.0rx
- bad_value_arg_variance.0rx
- bad_value_return_variance.0rx
- basic_crash_test.0rt
- basic_error_test.0rt
- basic_success_test.0rt
- category_function_param_match.0rx
- concrete.0rx
- concrete_defines_concrete.0rx
- concrete_defines_instance.0rx
- concrete_defines_value.0rx
- concrete_duplicate_param.0rx
- concrete_instances.0rx
- concrete_missing_define.0rx
- concrete_missing_refine.0rx
- concrete_refines_concrete.0rx
- concrete_refines_instance.0rx
- concrete_refines_value.0rx
- conflict_in_preserved.0rx
- conflicting_declaration.0rx
- conflicting_inherited.0rx
- contravariant_defines_covariant.0rx
- contravariant_defines_invariant.0rx
- contravariant_refines_covariant.0rx
- contravariant_refines_invariant.0rx
- covariant_defines_contravariant.0rx
- covariant_defines_invariant.0rx
- covariant_refines_contravariant.0rx
- covariant_refines_invariant.0rx
- definitions.0rx
- duplicate_define.0rx
- duplicate_refine.0rx
- failed_merge.0rx
- failed_merge_params.0rx
- filters.0rx
- flatten.0rx
- function_allows_missed.0rx
- function_bad_allows_type.0rx
- function_bad_allows_variance.0rx
- function_bad_arg.0rx
- function_bad_defines_type.0rx
- function_bad_defines_variance.0rx
- function_bad_filter_param.0rx
- function_bad_requires_type.0rx
- function_bad_requires_variance.0rx
- function_bad_return.0rx
- function_defines_missed.0rx
- function_duplicate_param.0rx
- function_filters_satisfied.0rx
- function_param_clash.0rx
- function_requires_missed.0rx
- inference.0rx
- inherit_incompatible.0rx
- internal.0rx
- internal_filters.0rx
- internal_inheritance.0rx
- internal_params.0rx
- merge_different_scopes.0rx
- merge_incompatible.0rx
- merge_with_refine.0rx
- merged.0rx
- module-config.txt
- partial.0rx
- partial_params.0rx
- preserve_merged.0rx
- procedures.0rx
- public.0rp
- refine_wrong_direction.0rx
- requires_concrete.0rx
- resolved_in_preserved.0rx
- successful_merge.0rx
- successful_merge_params.0rx
- test.0rt
- type_duplicate_param.0rx
- type_instances.0rx
- type_interface.0rx
- type_missing_define.0rx
- type_missing_refine.0rx
- valid_filter_variance.0rx
- valid_function_variance.0rx
- valid_variances.0rx
- value_cycle.0rx
- value_duplicate_param.0rx
- value_instances.0rx
- value_interface.0rx
- value_missing_define.0rx
- value_missing_refine.0rx
- value_refines_concrete.0rx
- value_refines_instance.0rx
- value_refines_value.0rx
- weak_arg.0rx
- weak_return.0rx
- Types/
- tests/
- .zeolite-module
- assignments.0rt
- builtin-types.0rt
- cli-tests.sh
- conditionals.0rt
- expr-lookup.0rp
- expr-lookup.0rt
- expr-lookup.0rx
- failure.0rt
- filters.0rt
- function-calls.0rt
- function-merging.0rt
- helpers.0rp
- helpers.0rx
- inference.0rt
- infix-functions.0rt
- infix-operations.0rt
- internal-inheritance.0rt
- internal-params.0rt
- local.0rp
- member-init.0rt
- modifed-storage.0rt
- multiple-returns.0rt
- named-returns.0rt
- positional-returns.0rt
- reduce.0rt
- scoped.0rt
- simple.0rt
- tracing.0rt
- typename.0rt
- unary-functions.0rt
- unreachable.0rt
- value-init.0rt
- visibility.0rt
- while.0rt
- check-defs/
- module-only/
- templates/
- tests-only/
- tests-only2/
- visibility/
- visibility2/