├── .cargo └── config.toml ├── .envrc ├── .github ├── dependabot.yml ├── settings.yml └── workflows │ ├── benchmark-master.yaml │ ├── benchmark-pr.yaml │ ├── continuous-integration.yml │ ├── release-artifacts.yaml │ ├── release-python.yml │ ├── update-flake-lock.yml │ └── upload-pr-benchmarks.yaml ├── .gitignore ├── .markdownlint.json ├── .vscode ├── launch.json ├── settings.json └── tasks.json ├── .vscodeignore ├── CONTRIBUTING.md ├── Cargo.lock ├── Cargo.toml ├── Dockerfile ├── HACKING.md ├── LICENSE ├── RATIONALE.md ├── README.md ├── RELEASES.md ├── RELEASING.md ├── cli ├── Cargo.toml ├── src │ ├── cli.rs │ ├── completions.rs │ ├── convert.rs │ ├── customize │ │ ├── interface.rs │ │ └── mod.rs │ ├── doc.rs │ ├── doctest.rs │ ├── error.rs │ ├── eval.rs │ ├── export.rs │ ├── format.rs │ ├── global.rs │ ├── input.rs │ ├── main.rs │ ├── metrics.rs │ ├── package.rs │ ├── pprint_ast.rs │ ├── query.rs │ ├── repl.rs │ └── typecheck.rs └── tests │ ├── integration │ ├── inputs │ │ ├── mixed.json │ │ ├── mixed.ncl │ │ ├── mixed.toml │ │ └── mixed_contract.ncl │ ├── main.rs │ └── stdin_format.rs │ └── snapshot │ ├── README.md │ ├── imports │ ├── additional_contract1.ncl │ ├── additional_contract2.ncl │ ├── invalid.yaml │ ├── map-with-unicode.json │ ├── map-with-unicode.yaml │ ├── map.json │ ├── map.yaml │ └── package.toml │ ├── inputs │ ├── convert │ │ ├── json.foo │ │ ├── json.json │ │ ├── json.txt │ │ ├── json.yaml │ │ ├── toml.toml │ │ └── yaml.yaml │ ├── customize-mode │ │ ├── assignment_syntax_error.ncl │ │ ├── field_path_syntax_error.ncl │ │ ├── help.ncl │ │ ├── list.ncl │ │ ├── not_an_input.ncl │ │ ├── show.ncl │ │ ├── sigil_env.ncl │ │ ├── sigil_missing_colon.ncl │ │ ├── simple_adder.ncl │ │ ├── unknown_field_path.ncl │ │ ├── unknown_override.ncl │ │ ├── unknown_sigil_attr.ncl │ │ └── unknown_sigil_expr.ncl │ ├── docs │ │ ├── evaluation.ncl │ │ ├── function.ncl │ │ ├── record.ncl │ │ ├── recursive.ncl │ │ ├── recursive_false_positive.ncl │ │ └── types.ncl │ ├── doctest │ │ ├── fail_expected_error.ncl │ │ ├── fail_unexpected_error.ncl │ │ ├── fail_wrong_output.ncl │ │ ├── pass.ncl │ │ └── record_regression.ncl │ ├── errors │ │ ├── accessing_unknown_field.ncl │ │ ├── annotated_record_pattern_typecheck_fail.ncl │ │ ├── array_at_empty_array.ncl │ │ ├── array_at_out_of_bound.ncl │ │ ├── array_contract_fail.ncl │ │ ├── array_merge_fail.ncl │ │ ├── array_range_reversed_indices.ncl │ │ ├── array_range_step_negative_step.ncl │ │ ├── base64_decode_invalid_encoding.ncl │ │ ├── base64_decode_non_string.ncl │ │ ├── blame_custom_message_ansi_escaping.ncl │ │ ├── caller_contract_violation.ncl │ │ ├── contract_label_propagation.ncl │ │ ├── contract_with_custom_diagnostic.ncl │ │ ├── destructuring_assign_fail.ncl │ │ ├── destructuring_closed_fail.ncl │ │ ├── destructuring_nonexistent_idents.ncl │ │ ├── destructuring_repeated_ident.ncl │ │ ├── destructuring_repeated_ident_typed.ncl │ │ ├── destructuring_rest_fail.ncl │ │ ├── destructuring_type_mismatch_fail.ncl │ │ ├── destructuring_type_mismatch_field_pattern_fail.ncl │ │ ├── destructuring_type_mismatch_nested_destructuring_fail.ncl │ │ ├── destructuring_typecontract_fail.ncl │ │ ├── dictionary_contract_fail.ncl │ │ ├── enum_forall_constraints_typecheck.ncl │ │ ├── enum_forall_parametricity_violation.ncl │ │ ├── field_access_under_contract.ncl │ │ ├── field_access_under_domain_contract.ncl │ │ ├── fun_contract_range_nested.ncl │ │ ├── fun_contract_range_violation.ncl │ │ ├── function_contract_domain_violation.ncl │ │ ├── function_contract_violation.ncl │ │ ├── include_multiple_composite_path.ncl │ │ ├── include_multiple_list.ncl │ │ ├── include_multiple_other_include.ncl │ │ ├── include_multiple_with_def.ncl │ │ ├── interpolate_record_type_field.ncl │ │ ├── interpolation_non_stringable.ncl │ │ ├── invalid_contract_expression.ncl │ │ ├── invalid_record_type.ncl │ │ ├── json_but_its_yaml.ncl │ │ ├── json_error_location.ncl │ │ ├── json_error_location_with_unicode.ncl │ │ ├── let_block_duplicate_identifier.ncl │ │ ├── let_block_not_rec.ncl │ │ ├── mismatched_row_record_pattern_fail.ncl │ │ ├── nested_annotated_record_pattern_typecheck_fail.ncl │ │ ├── no_internals_when_currying.ncl │ │ ├── non_exhaustive_match.ncl │ │ ├── non_serializable_print_path.ncl │ │ ├── normal_array_merge_fail.ncl │ │ ├── piecewise_array_merge_fail.ncl │ │ ├── query_non_record.ncl │ │ ├── record_access.ncl │ │ ├── record_access_suggestion.ncl │ │ ├── record_destructuring_duplicate_ident.ncl │ │ ├── record_forall_constraints_contract.ncl │ │ ├── record_forall_constraints_typecheck.ncl │ │ ├── record_forall_parametricity_violation.ncl │ │ ├── record_type_repeated_field.ncl │ │ ├── serialization_number_out_of_range.ncl │ │ ├── simple_contract_fail.ncl │ │ ├── spanned_toml.ncl │ │ ├── string_delimiter_mismatch.ncl │ │ ├── subcontract_nested_custom_diagnostics.ncl │ │ ├── subcontract_type_path_underline.ncl │ │ ├── trace_not_saturated.ncl │ │ ├── typecheck_strict_mode.ncl │ │ ├── typed_field_without_annotation.ncl │ │ ├── typedcheck_strict_mode_is_strict.ncl │ │ ├── unification_variable_aliasing.ncl │ │ ├── validator_custom_error.ncl │ │ ├── value_contract_violation.ncl │ │ ├── yaml_error_location.ncl │ │ ├── yaml_error_location_with_unicode.ncl │ │ └── yaml_parse_failure.ncl │ ├── eval │ │ ├── escaping.ncl │ │ ├── fail_additional_contract.ncl │ │ ├── fail_additional_two_contracts1.ncl │ │ ├── fail_additional_two_contracts2.ncl │ │ ├── fieldarg_with_contracts.ncl │ │ └── records.ncl │ ├── export │ │ ├── nested_record.ncl │ │ ├── not_exported_undefined.ncl │ │ ├── trace.ncl │ │ ├── yaml_documents.ncl │ │ └── yaml_documents_not_array.ncl │ ├── package │ │ ├── invalid-git-dep.ncl │ │ ├── invalid-git-url.ncl │ │ ├── invalid-version.ncl │ │ └── missing-field.ncl │ ├── pretty │ │ ├── field_escaping.ncl │ │ ├── id_quoting.ncl │ │ ├── let_annotations.ncl │ │ ├── let_block.ncl │ │ ├── let_block_with_pat.ncl │ │ ├── let_rec.ncl │ │ ├── multiline_doc.ncl │ │ └── simple_record.ncl │ ├── query │ │ └── query_included_field.ncl │ └── warnings │ │ ├── naked_contract.ncl │ │ ├── naked_contract_parametrized.ncl │ │ └── supressed.ncl │ ├── main.rs │ └── snapshots │ ├── snapshot__convert_stderr_json.foo.snap │ ├── snapshot__convert_stderr_json.json.snap │ ├── snapshot__convert_stderr_json.txt.snap │ ├── snapshot__convert_stderr_json.yaml.snap │ ├── snapshot__convert_stderr_toml.toml.snap │ ├── snapshot__convert_stderr_yaml.yaml.snap │ ├── snapshot__convert_stdout_json.foo.snap │ ├── snapshot__convert_stdout_json.json.snap │ ├── snapshot__convert_stdout_json.txt.snap │ ├── snapshot__convert_stdout_json.yaml.snap │ ├── snapshot__convert_stdout_toml.toml.snap │ ├── snapshot__convert_stdout_yaml.yaml.snap │ ├── snapshot__doc_stderr_function.ncl.snap │ ├── snapshot__doc_stdout_evaluation.ncl.snap │ ├── snapshot__doc_stdout_record.ncl.snap │ ├── snapshot__doc_stdout_recursive.ncl.snap │ ├── snapshot__doc_stdout_recursive_false_positive.ncl.snap │ ├── snapshot__doc_stdout_types.ncl.snap │ ├── snapshot__eval_stderr_accessing_unknown_field.ncl.snap │ ├── snapshot__eval_stderr_annotated_record_pattern_typecheck_fail.ncl.snap │ ├── snapshot__eval_stderr_array_at_empty_array.ncl.snap │ ├── snapshot__eval_stderr_array_at_out_of_bound.ncl.snap │ ├── snapshot__eval_stderr_array_contract_fail.ncl.snap │ ├── snapshot__eval_stderr_array_merge_fail.ncl.snap │ ├── snapshot__eval_stderr_array_range_reversed_indices.ncl.snap │ ├── snapshot__eval_stderr_array_range_step_negative_step.ncl.snap │ ├── snapshot__eval_stderr_base64_decode_invalid_encoding.ncl.snap │ ├── snapshot__eval_stderr_base64_decode_non_string.ncl.snap │ ├── snapshot__eval_stderr_blame_custom_message_ansi_escaping.ncl.snap │ ├── snapshot__eval_stderr_caller_contract_violation.ncl.snap │ ├── snapshot__eval_stderr_contract_label_propagation.ncl.snap │ ├── snapshot__eval_stderr_contract_with_custom_diagnostic.ncl.snap │ ├── snapshot__eval_stderr_destructuring_assign_fail.ncl.snap │ ├── snapshot__eval_stderr_destructuring_closed_fail.ncl.snap │ ├── snapshot__eval_stderr_destructuring_nonexistent_idents.ncl.snap │ ├── snapshot__eval_stderr_destructuring_repeated_ident.ncl.snap │ ├── snapshot__eval_stderr_destructuring_repeated_ident_typed.ncl.snap │ ├── snapshot__eval_stderr_destructuring_rest_fail.ncl.snap │ ├── snapshot__eval_stderr_destructuring_type_mismatch_fail.ncl.snap │ ├── snapshot__eval_stderr_destructuring_type_mismatch_field_pattern_fail.ncl.snap │ ├── snapshot__eval_stderr_destructuring_type_mismatch_nested_destructuring_fail.ncl.snap │ ├── snapshot__eval_stderr_destructuring_typecontract_fail.ncl.snap │ ├── snapshot__eval_stderr_dictionary_contract_fail.ncl.snap │ ├── snapshot__eval_stderr_enum_forall_constraints_typecheck.ncl.snap │ ├── snapshot__eval_stderr_enum_forall_parametricity_violation.ncl.snap │ ├── snapshot__eval_stderr_fail_additional_contract.ncl.snap │ ├── snapshot__eval_stderr_fail_additional_two_contracts1.ncl.snap │ ├── snapshot__eval_stderr_fail_additional_two_contracts2.ncl.snap │ ├── snapshot__eval_stderr_field_access_under_contract.ncl.snap │ ├── snapshot__eval_stderr_field_access_under_domain_contract.ncl.snap │ ├── snapshot__eval_stderr_fieldarg_with_contracts.ncl.snap │ ├── snapshot__eval_stderr_fun_contract_range_nested.ncl.snap │ ├── snapshot__eval_stderr_fun_contract_range_violation.ncl.snap │ ├── snapshot__eval_stderr_function_contract_domain_violation.ncl.snap │ ├── snapshot__eval_stderr_function_contract_violation.ncl.snap │ ├── snapshot__eval_stderr_include_multiple_composite_path.ncl.snap │ ├── snapshot__eval_stderr_include_multiple_list.ncl.snap │ ├── snapshot__eval_stderr_include_multiple_other_include.ncl.snap │ ├── snapshot__eval_stderr_include_multiple_with_def.ncl.snap │ ├── snapshot__eval_stderr_interpolate_record_type_field.ncl.snap │ ├── snapshot__eval_stderr_interpolation_non_stringable.ncl.snap │ ├── snapshot__eval_stderr_invalid_contract_expression.ncl.snap │ ├── snapshot__eval_stderr_invalid_record_type.ncl.snap │ ├── snapshot__eval_stderr_json_but_its_yaml.ncl.snap │ ├── snapshot__eval_stderr_json_error_location.ncl.snap │ ├── snapshot__eval_stderr_json_error_location_with_unicode.ncl.snap │ ├── snapshot__eval_stderr_let_block_duplicate_identifier.ncl.snap │ ├── snapshot__eval_stderr_let_block_not_rec.ncl.snap │ ├── snapshot__eval_stderr_mismatched_row_record_pattern_fail.ncl.snap │ ├── snapshot__eval_stderr_naked_contract.ncl.snap │ ├── snapshot__eval_stderr_naked_contract_parametrized.ncl.snap │ ├── snapshot__eval_stderr_nested_annotated_record_pattern_typecheck_fail.ncl.snap │ ├── snapshot__eval_stderr_no_internals_when_currying.ncl.snap │ ├── snapshot__eval_stderr_non_exhaustive_match.ncl.snap │ ├── snapshot__eval_stderr_normal_array_merge_fail.ncl.snap │ ├── snapshot__eval_stderr_piecewise_array_merge_fail.ncl.snap │ ├── snapshot__eval_stderr_record_access.ncl.snap │ ├── snapshot__eval_stderr_record_access_suggestion.ncl.snap │ ├── snapshot__eval_stderr_record_destructuring_duplicate_ident.ncl.snap │ ├── snapshot__eval_stderr_record_forall_constraints_contract.ncl.snap │ ├── snapshot__eval_stderr_record_forall_constraints_typecheck.ncl.snap │ ├── snapshot__eval_stderr_record_forall_parametricity_violation.ncl.snap │ ├── snapshot__eval_stderr_record_type_repeated_field.ncl.snap │ ├── snapshot__eval_stderr_simple_contract_fail.ncl.snap │ ├── snapshot__eval_stderr_spanned_toml.ncl.snap │ ├── snapshot__eval_stderr_string_delimiter_mismatch.ncl.snap │ ├── snapshot__eval_stderr_subcontract_nested_custom_diagnostics.ncl.snap │ ├── snapshot__eval_stderr_subcontract_type_path_underline.ncl.snap │ ├── snapshot__eval_stderr_supressed.ncl.snap │ ├── snapshot__eval_stderr_trace_not_saturated.ncl.snap │ ├── snapshot__eval_stderr_typed_field_without_annotation.ncl.snap │ ├── snapshot__eval_stderr_unification_variable_aliasing.ncl.snap │ ├── snapshot__eval_stderr_validator_custom_error.ncl.snap │ ├── snapshot__eval_stderr_value_contract_violation.ncl.snap │ ├── snapshot__eval_stderr_yaml_error_location.ncl.snap │ ├── snapshot__eval_stderr_yaml_error_location_with_unicode.ncl.snap │ ├── snapshot__eval_stderr_yaml_parse_failure.ncl.snap │ ├── snapshot__eval_stdout_escaping.ncl.snap │ ├── snapshot__eval_stdout_let_block_rec.ncl.snap │ ├── snapshot__eval_stdout_records.ncl.snap │ ├── snapshot__export_stderr_assignment_syntax_error.ncl.snap │ ├── snapshot__export_stderr_field_path_syntax_error.ncl.snap │ ├── snapshot__export_stderr_non_serializable_print_path.ncl.snap │ ├── snapshot__export_stderr_not_an_input.ncl.snap │ ├── snapshot__export_stderr_serialization_number_out_of_range.ncl.snap │ ├── snapshot__export_stderr_sigil_missing_colon.ncl.snap │ ├── snapshot__export_stderr_trace.ncl.snap │ ├── snapshot__export_stderr_unknown_field_path.ncl.snap │ ├── snapshot__export_stderr_unknown_override.ncl.snap │ ├── snapshot__export_stderr_unknown_sigil_attr.ncl.snap │ ├── snapshot__export_stderr_unknown_sigil_expr.ncl.snap │ ├── snapshot__export_stderr_unkonwn_field_path.ncl.snap │ ├── snapshot__export_stderr_yaml_documents_not_array.ncl.snap │ ├── snapshot__export_stdout_help.ncl.snap │ ├── snapshot__export_stdout_list.ncl.snap │ ├── snapshot__export_stdout_nested_record.ncl.snap │ ├── snapshot__export_stdout_not_exported_undefined.ncl.snap │ ├── snapshot__export_stdout_show.ncl.snap │ ├── snapshot__export_stdout_sigil_env.ncl.snap │ ├── snapshot__export_stdout_simple_adder.ncl.snap │ ├── snapshot__export_stdout_trace.ncl.snap │ ├── snapshot__export_stdout_yaml_documents.ncl.snap │ ├── snapshot__package_stderr_invalid-git-dep.ncl.snap │ ├── snapshot__package_stderr_invalid-git-url.ncl.snap │ ├── snapshot__package_stderr_invalid-index-id.ncl.snap │ ├── snapshot__package_stderr_invalid-version.ncl.snap │ ├── snapshot__package_stderr_missing-field.ncl.snap │ ├── snapshot__pprint-ast_stdout_field_escaping.ncl.snap │ ├── snapshot__pprint-ast_stdout_id_quoting.ncl.snap │ ├── snapshot__pprint-ast_stdout_let_annotations.ncl.snap │ ├── snapshot__pprint-ast_stdout_let_block.ncl.snap │ ├── snapshot__pprint-ast_stdout_let_block_with_pat.ncl.snap │ ├── snapshot__pprint-ast_stdout_let_rec.ncl.snap │ ├── snapshot__pprint-ast_stdout_multiline_doc.ncl.snap │ ├── snapshot__pprint-ast_stdout_simple_record.ncl.snap │ ├── snapshot__query_stderr_field_path_syntax_error.ncl.snap │ ├── snapshot__query_stderr_query_non_record.ncl.snap │ ├── snapshot__query_stderr_unknown_field_path.ncl.snap │ ├── snapshot__query_stdout_query_included_field.ncl.snap │ ├── snapshot__query_stdout_show.ncl.snap │ ├── snapshot__test_stderr_fail_expected_error.ncl.snap │ ├── snapshot__test_stderr_fail_unexpected_error.ncl.snap │ ├── snapshot__test_stderr_fail_wrong_output.ncl.snap │ ├── snapshot__test_stderr_pass.ncl.snap │ ├── snapshot__test_stderr_record_regression.ncl.snap │ ├── snapshot__test_stdout_fail_expected_error.ncl.snap │ ├── snapshot__test_stdout_fail_unexpected_error.ncl.snap │ ├── snapshot__test_stdout_fail_wrong_output.ncl.snap │ ├── snapshot__test_stdout_pass.ncl.snap │ ├── snapshot__test_stdout_record_regression.ncl.snap │ ├── snapshot__typecheck_stderr_typecheck_strict_mode.ncl.snap │ └── snapshot__typecheck_stderr_typedcheck_strict_mode_is_strict.ncl.snap ├── core ├── Cargo.toml ├── benches │ ├── arrays.rs │ ├── arrays │ │ ├── fold.ncl │ │ ├── generate.ncl │ │ ├── map.ncl │ │ ├── pipe.ncl │ │ ├── primes.ncl │ │ ├── random.ncl │ │ ├── sort.ncl │ │ └── sum.ncl │ ├── deserialization.rs │ ├── functions.rs │ ├── functions │ │ └── church.ncl │ ├── lorem.txt │ ├── mantis.rs │ ├── mantis │ │ ├── README.md │ │ ├── deploy-example.ncl │ │ ├── deploy.ncl │ │ ├── jobs │ │ │ └── mantis.ncl │ │ ├── lib.ncl │ │ ├── run.ncl │ │ ├── schemas │ │ │ └── nomad │ │ │ │ └── types.ncl │ │ └── tasks │ │ │ ├── promtail.ncl │ │ │ └── telegraf.ncl │ ├── nixpkgs │ │ └── lists.ncl │ ├── numeric.rs │ ├── numeric │ │ ├── fibonacci.ncl │ │ ├── pidigits.ncl │ │ ├── reduce.ncl │ │ └── scalar.ncl │ ├── records.rs │ ├── records │ │ ├── countLetters.ncl │ │ └── merge.ncl │ ├── serialization.rs │ ├── serialization │ │ ├── input.json │ │ └── main.ncl │ ├── stdlib.rs │ ├── strings │ │ └── interpolation.ncl │ └── typecheck-nixpkgs-lib.rs ├── build.rs ├── src │ ├── ast │ │ ├── compat.rs │ │ └── mod.rs │ ├── cache.rs │ ├── closurize.rs │ ├── deserialize.rs │ ├── environment.rs │ ├── error │ │ ├── mod.rs │ │ ├── report.rs │ │ ├── suggest.rs │ │ └── warning.rs │ ├── eval │ │ ├── cache │ │ │ ├── incremental.rs │ │ │ ├── lazy.rs │ │ │ └── mod.rs │ │ ├── callstack.rs │ │ ├── contract_eq.rs │ │ ├── fixpoint.rs │ │ ├── merge.rs │ │ ├── mod.rs │ │ ├── operation.rs │ │ ├── stack.rs │ │ ├── tests.rs │ │ └── value │ │ │ ├── lens.rs │ │ │ └── mod.rs │ ├── format.rs │ ├── label.rs │ ├── lib.rs │ ├── nix_ffi │ │ ├── cpp │ │ │ ├── nix.cc │ │ │ └── nix.hh │ │ └── mod.rs │ ├── package.rs │ ├── parser.rs │ ├── position.rs │ ├── pretty.rs │ ├── program.rs │ ├── repl │ │ ├── command.rs │ │ ├── mod.rs │ │ ├── query_print.rs │ │ ├── rustyline_frontend.rs │ │ ├── simple_frontend.rs │ │ └── wasm_frontend.rs │ ├── serialize │ │ ├── mod.rs │ │ └── yaml.rs │ ├── stdlib.rs │ ├── term │ │ ├── array.rs │ │ ├── make │ │ │ └── builder.rs │ │ ├── mod.rs │ │ ├── pattern │ │ │ ├── bindings.rs │ │ │ ├── compile.rs │ │ │ └── mod.rs │ │ ├── record.rs │ │ └── string.rs │ ├── transform │ │ ├── free_vars.rs │ │ ├── gen_pending_contracts.rs │ │ ├── import_resolution.rs │ │ ├── mod.rs │ │ └── substitute_wildcards.rs │ ├── typ.rs │ └── typecheck │ │ ├── eq.rs │ │ ├── error.rs │ │ ├── mk_uniftype.rs │ │ ├── mod.rs │ │ ├── operation.rs │ │ ├── pattern.rs │ │ ├── record.rs │ │ ├── reporting.rs │ │ ├── subtyping.rs │ │ └── unif.rs ├── stdlib │ ├── internals.ncl │ └── std.ncl └── tests │ ├── README.md │ ├── examples │ └── main.rs │ ├── integration │ ├── contract_label_path.rs │ ├── contracts_fail.rs │ ├── free_vars.rs │ ├── infinite_rec.rs │ ├── inputs │ │ ├── adts │ │ │ ├── deep_seq_enum.ncl │ │ │ ├── deep_seq_enum2.ncl │ │ │ ├── enum_contract_propagation.ncl │ │ │ ├── enum_primops.ncl │ │ │ ├── enum_wildcard_substitution.ncl │ │ │ ├── force_enum.ncl │ │ │ └── force_enum2.ncl │ │ ├── arrays │ │ │ ├── elem_at_empty_array.ncl │ │ │ ├── elem_at_index_out_of_bounds.ncl │ │ │ ├── elem_at_negative_index.ncl │ │ │ ├── elem_at_non_array_arg.ncl │ │ │ ├── elem_at_non_int_index.ncl │ │ │ ├── slice_empty_array.ncl │ │ │ ├── slice_non_array.ncl │ │ │ ├── stdlib_at_non_array_arg_raises_blame.ncl │ │ │ ├── stdlib_at_non_number_arg_raises_blame.ncl │ │ │ ├── stdlib_drop_first_non_array_arg.ncl │ │ │ └── stdlib_first_non_array_arg.ncl │ │ ├── contracts │ │ │ ├── and_bool_contract_fail.ncl │ │ │ ├── and_number_bool.ncl │ │ │ ├── any_of_basic_fail.ncl │ │ │ ├── any_of_empty.ncl │ │ │ ├── any_of_record_delayed_fail.ncl │ │ │ ├── any_of_record_immediate_fail.ncl │ │ │ ├── array_contract_bad_element.ncl │ │ │ ├── array_contract_fn_is_not_an_array.ncl │ │ │ ├── array_contract_num_is_not_an_array.ncl │ │ │ ├── basic_custom_contract.ncl │ │ │ ├── boolean_combinators.ncl │ │ │ ├── contract_applies_to_default_value.ncl │ │ │ ├── contracts.ncl │ │ │ ├── contracts_dont_capture_type_vars.ncl │ │ │ ├── custom_generic_fail.ncl │ │ │ ├── custom_generic_immediate_fail.ncl │ │ │ ├── custom_generic_succeed.ncl │ │ │ ├── custom_predicate_fail.ncl │ │ │ ├── custom_predicate_succeed.ncl │ │ │ ├── custom_validator_fail.ncl │ │ │ ├── custom_validator_succeed.ncl │ │ │ ├── dedup_multiple.ncl │ │ │ ├── dictionary_contract_propagates_through_merge.ncl │ │ │ ├── div_by_zero.ncl │ │ │ ├── enum_contract_empty_enum.ncl │ │ │ ├── enum_contract_missing_variant.ncl │ │ │ ├── enum_contract_non_enum_value.ncl │ │ │ ├── enum_variant_fail.ncl │ │ │ ├── equating_fn_match.ncl │ │ │ ├── equating_functions.ncl │ │ │ ├── include_recursive_contract.ncl │ │ │ ├── let_order.ncl │ │ │ ├── not_any_of_fail.ncl │ │ │ ├── not_basic_fail.ncl │ │ │ ├── not_record_fail.ncl │ │ │ ├── poly_record_contract_bad_field.ncl │ │ │ ├── poly_record_contract_empty_record.ncl │ │ │ ├── poly_record_contract_higher_order_fn.ncl │ │ │ ├── poly_record_contract_map_sealed_tail.ncl │ │ │ ├── poly_record_contract_merge_sealed_tail_lhs.ncl │ │ │ ├── poly_record_contract_merge_sealed_tail_rhs.ncl │ │ │ ├── poly_record_contract_missing_field.ncl │ │ │ ├── poly_record_contract_return_val_without_tail.ncl │ │ │ ├── poly_record_contract_return_val_wrong_tail.ncl │ │ │ ├── poly_record_contract_sealed_tail_dynamic_access.ncl │ │ │ ├── poly_record_contract_sealed_tail_remove_field.ncl │ │ │ ├── poly_record_contract_sealed_tail_static_access.ncl │ │ │ ├── polymorphic_function_contract.ncl │ │ │ ├── record_contract_bad_field.ncl │ │ │ ├── record_contract_constraint.ncl │ │ │ ├── record_contract_empty_record.ncl │ │ │ ├── record_contract_extra_field.ncl │ │ │ ├── record_contract_missing_field.ncl │ │ │ ├── record_contract_nested_extra_field.ncl │ │ │ ├── record_contract_nested_failure.ncl │ │ │ ├── record_contract_nested_missing_field.ncl │ │ │ ├── regression_panic_function_contract_fail.ncl │ │ │ ├── sequence.ncl │ │ │ ├── simplify_doesnt_remove_fields.ncl │ │ │ ├── type_annot_inline.ncl │ │ │ ├── type_annot_let.ncl │ │ │ ├── types_dont_propagate.ncl │ │ │ ├── unsound_dedup_dict_contract.ncl │ │ │ └── unsound_dedup_record_contract.ncl │ │ ├── core │ │ │ ├── arrays.ncl │ │ │ ├── basics.ncl │ │ │ ├── builtins.ncl │ │ │ ├── comparison_ge_string_string.ncl │ │ │ ├── comparison_geq_string_string.ncl │ │ │ ├── comparison_le_number_bool.ncl │ │ │ ├── comparison_le_string_number.ncl │ │ │ ├── comparison_leq_bool_array.ncl │ │ │ ├── curried_dot.ncl │ │ │ ├── eq.ncl │ │ │ ├── fibo.ncl │ │ │ ├── functions.ncl │ │ │ ├── import.ncl │ │ │ ├── let_block_rec.ncl │ │ │ ├── let_rec_block_with_pat.ncl │ │ │ ├── numbers.ncl │ │ │ ├── or_string_bool.ncl │ │ │ ├── records.ncl │ │ │ └── recursive_let.ncl │ │ ├── destructuring │ │ │ ├── adt_enum_tag.ncl │ │ │ ├── adt_enum_tag_tag_mismatch.ncl │ │ │ ├── adt_extra_arg.ncl │ │ │ ├── adt_missing_arg.ncl │ │ │ ├── adt_type_matches.ncl │ │ │ ├── adt_type_mismatch_extra_row.ncl │ │ │ ├── adt_type_mismatch_tag.ncl │ │ │ ├── adt_wrong_tag.ncl │ │ │ ├── adt_wrong_type.ncl │ │ │ ├── assign.ncl │ │ │ ├── assign_fail.ncl │ │ │ ├── atbind.ncl │ │ │ ├── closed_fail.ncl │ │ │ ├── constant_bool_fail.ncl │ │ │ ├── constant_null_fail.ncl │ │ │ ├── constant_number_fail.ncl │ │ │ ├── constant_string_fail.ncl │ │ │ ├── constants.ncl │ │ │ ├── default.ncl │ │ │ ├── fun.ncl │ │ │ ├── mixed.ncl │ │ │ ├── nested.ncl │ │ │ ├── nonexistent_idents.ncl │ │ │ ├── open.ncl │ │ │ ├── preserves_types.ncl │ │ │ ├── repeated_ident.ncl │ │ │ ├── repeated_ident_typed.ncl │ │ │ ├── rest.ncl │ │ │ ├── rest_fail.ncl │ │ │ ├── simple.ncl │ │ │ ├── type_annotations.ncl │ │ │ ├── type_mismatch_fail.ncl │ │ │ ├── type_mismatch_field_pattern_fail.ncl │ │ │ ├── type_mismatch_nested_destructuring_fail.ncl │ │ │ ├── typecontract.ncl │ │ │ └── typecontract_fail.ncl │ │ ├── imports │ │ │ ├── circular_imports.ncl │ │ │ ├── contract_fail.ncl │ │ │ ├── direct_import_loop.ncl │ │ │ ├── explicit.ncl │ │ │ ├── explicit_unknowntag.ncl │ │ │ ├── fallback.ncl │ │ │ ├── imported │ │ │ │ ├── circular_imports.ncl │ │ │ │ ├── circular_imports1.ncl │ │ │ │ ├── circular_imports2.ncl │ │ │ │ ├── contract_fail.ncl │ │ │ │ ├── direct_import_loop.ncl │ │ │ │ ├── empty.yaml │ │ │ │ ├── file_with_unknown_extension.tst │ │ │ │ ├── file_without_extension │ │ │ │ ├── import_parent.ncl │ │ │ │ ├── multi_imports.ncl │ │ │ │ ├── multiple.yaml │ │ │ │ ├── nested.ncl │ │ │ │ ├── nested_syntax_error.ncl │ │ │ │ ├── nested_syntax_error1.ncl │ │ │ │ ├── nested_syntax_error2.ncl │ │ │ │ ├── nested_table.toml │ │ │ │ ├── pkg1 │ │ │ │ │ └── main.ncl │ │ │ │ ├── pkg2 │ │ │ │ │ └── main.ncl │ │ │ │ ├── root_path.ncl │ │ │ │ ├── root_path │ │ │ │ │ ├── fourtytwo.ncl │ │ │ │ │ └── import.ncl │ │ │ │ ├── serialize.ncl │ │ │ │ ├── two.ncl │ │ │ │ ├── typecheck_fail.ncl │ │ │ │ ├── unexpected_token.ncl │ │ │ │ ├── unexpected_token_buried.ncl │ │ │ │ └── unexpected_token_in_record.ncl │ │ │ ├── missing-nickel-path.ncl │ │ │ ├── multi_imports.ncl │ │ │ ├── needs-nickel-path.ncl │ │ │ ├── nested.ncl │ │ │ ├── nested_syntax_error.ncl │ │ │ ├── nested_toml_table.ncl │ │ │ ├── recursive.ncl │ │ │ ├── root_path.ncl │ │ │ ├── serialize.ncl │ │ │ ├── static_typing_fail.ncl │ │ │ ├── typecheck_fail.ncl │ │ │ ├── unexpected_token_buried.ncl │ │ │ ├── unexpected_token_fail.ncl │ │ │ ├── unexpected_token_in_record_fail.ncl │ │ │ └── yaml_import.ncl │ │ ├── infinite_loops │ │ │ ├── mutually_recursive_functions.ncl │ │ │ ├── x_eq_expr_involving_x.ncl │ │ │ ├── x_eq_x.ncl │ │ │ └── x_eq_y_eq_z_eq_x.ncl │ │ ├── lib │ │ │ ├── import_typecheck_strict.ncl │ │ │ ├── imported.ncl │ │ │ └── typed-import.ncl │ │ ├── merging │ │ │ ├── adts.ncl │ │ │ ├── adts_different_tags.ncl │ │ │ ├── array-merge.ncl │ │ │ ├── lazy-propagation.ncl │ │ │ ├── merge_compose_contract.ncl │ │ │ ├── merge_conflict_inside_metavalue.ncl │ │ │ ├── merge_contract.ncl │ │ │ ├── merge_default_contract.ncl │ │ │ ├── metavalues.ncl │ │ │ ├── multiple_overrides.ncl │ │ │ ├── overriding.ncl │ │ │ └── priorities.ncl │ │ ├── parsing │ │ │ ├── annotations.ncl │ │ │ ├── identifiers.ncl │ │ │ ├── type_var_outside_forall.ncl │ │ │ ├── unbound_record_tail_var.ncl │ │ │ ├── unbound_type_variable.ncl │ │ │ ├── unbound_var_in_contract.ncl │ │ │ └── unexpected_token │ │ │ │ ├── buried.ncl │ │ │ │ ├── dollar.ncl │ │ │ │ └── in_record.ncl │ │ ├── pattern-matching │ │ │ ├── arrays.ncl │ │ │ ├── basics.ncl │ │ │ ├── contract_blame.ncl │ │ │ ├── contract_default_value_blame.ncl │ │ │ ├── contracts.ncl │ │ │ ├── default_fail_previous_contract.ncl │ │ │ ├── default_type_mismatch.ncl │ │ │ ├── default_value.ncl │ │ │ ├── enum_after_wildcard.ncl │ │ │ ├── guards.ncl │ │ │ ├── ignore_empty_opt.ncl │ │ │ ├── no_identifier_leaking.ncl │ │ │ ├── non_bool_guard.ncl │ │ │ ├── non_exhaustive_enum_pattern.ncl │ │ │ ├── non_exhaustive_record_pattern.ncl │ │ │ ├── or_pattern_vars_mismatch.ncl │ │ │ ├── or_patterns.ncl │ │ │ ├── pattern_evaluation_order.ncl │ │ │ └── wildcards.ncl │ │ ├── records │ │ │ ├── cannot_use_dynamic_fields_recursively.ncl │ │ │ ├── dynamic_field_missing.ncl │ │ │ ├── freeze_insert_fails_on_missing.ncl │ │ │ ├── freezing.ncl │ │ │ ├── freezing_ops.ncl │ │ │ ├── merge_different_vals_both_force.ncl │ │ │ ├── merge_different_vals_default_prio.ncl │ │ │ ├── merge_different_vals_no_priority.ncl │ │ │ ├── merge_nested_different_vals_default_prio.ncl │ │ │ ├── merge_nested_different_vals_no_prio.ncl │ │ │ ├── merge_nested_different_vals_prio_0.ncl │ │ │ ├── merge_nested_different_vals_same_priority.ncl │ │ │ ├── merge_nested_incompatible_types.ncl │ │ │ ├── merge_unfreezes.ncl │ │ │ ├── missing_field.ncl │ │ │ ├── missing_field_not_exported.ncl │ │ │ ├── missing_field_with_contract.ncl │ │ │ ├── record_defs.ncl │ │ │ ├── record_includes.ncl │ │ │ ├── record_insert.ncl │ │ │ └── static_access_missing_field.ncl │ │ ├── serialization │ │ │ ├── number_out_of_range.ncl │ │ │ ├── serialize.ncl │ │ │ └── serialize_package.ncl │ │ ├── stdlib │ │ │ ├── enum.ncl │ │ │ ├── maths.ncl │ │ │ ├── record_empty_optional_ops.ncl │ │ │ ├── record_get_missing_field.ncl │ │ │ ├── record_insert_with_opts_existing_field.ncl │ │ │ ├── record_remove_empty_opt_field.ncl │ │ │ ├── string_contains_find_replace.ncl │ │ │ ├── string_contracts.ncl │ │ │ ├── string_conversions.ncl │ │ │ ├── string_find.ncl │ │ │ ├── string_find_all.ncl │ │ │ ├── string_primitives.ncl │ │ │ ├── string_split_join.ncl │ │ │ ├── string_trim.ncl │ │ │ └── string_uppercase_lowercase.ncl │ │ ├── strings │ │ │ ├── string_interpolation.ncl │ │ │ ├── string_interpolation_record.ncl │ │ │ └── symbolic_strings.ncl │ │ └── typecheck │ │ │ ├── algebraic_data_types.ncl │ │ │ ├── array_subtyping.ncl │ │ │ ├── basic_algebraic_data_type_mismatch.ncl │ │ │ ├── basic_algebraic_data_type_row_mismatch.ncl │ │ │ ├── basic_typechecking.ncl │ │ │ ├── chaining_dictionary_function_record_dictionary_subtyping.ncl │ │ │ ├── contracts_dont_unify.ncl │ │ │ ├── dictionary_subtyping.ncl │ │ │ ├── dyn_tail_contract_in_typechecking_mode.ncl │ │ │ ├── dynamic_record_field.ncl │ │ │ ├── dynamic_type_error_with_wildcard_annotation.ncl │ │ │ ├── dynamic_type_error_without_wildcard.ncl │ │ │ ├── enum_match_mismatched_branch_types.ncl │ │ │ ├── enum_match_variant_not_covered.ncl │ │ │ ├── enum_row_conflict_extend.ncl │ │ │ ├── enum_row_conflict_poly.ncl │ │ │ ├── enum_row_conflict_remove.ncl │ │ │ ├── enum_row_tags_dont_conflict.ncl │ │ │ ├── enum_variant_not_in_type.ncl │ │ │ ├── field_polymorphic_annot.ncl │ │ │ ├── forall_inside_row_type.ncl │ │ │ ├── higher_rank_coeval.ncl │ │ │ ├── higher_rank_eval.ncl │ │ │ ├── include_annot_mismatch.ncl │ │ │ ├── include_contract_annot.ncl │ │ │ ├── include_instantiated_dep.ncl │ │ │ ├── include_nonrec_occurrence.ncl │ │ │ ├── include_polymorphic_var.ncl │ │ │ ├── include_record_type_mismatch.ncl │ │ │ ├── let_block_not_rec.ncl │ │ │ ├── let_blocks.ncl │ │ │ ├── let_rec_outer_scope.ncl │ │ │ ├── locally_different_flat_types.ncl │ │ │ ├── mismatch_array_elem_at.ncl │ │ │ ├── mismatch_array_entry.ncl │ │ │ ├── mismatch_array_map.ncl │ │ │ ├── mismatch_array_multiple_entries.ncl │ │ │ ├── mismatch_array_typed_entry.ncl │ │ │ ├── mismatch_contract_type.ncl │ │ │ ├── mismatch_convert_empty_record_to_dynamic_tail.ncl │ │ │ ├── mismatch_convert_static_record_type_to_dynamic_tail.ncl │ │ │ ├── mismatch_dict_dynamic_field.ncl │ │ │ ├── mismatch_enum_case_in_multiple_types.ncl │ │ │ ├── mismatch_enum_match_fun_type.ncl │ │ │ ├── mismatch_enum_poly_nested.ncl │ │ │ ├── mismatch_enum_poly_row_var.ncl │ │ │ ├── mismatch_forall_var_concrete_type.ncl │ │ │ ├── mismatch_forall_variable.ncl │ │ │ ├── mismatch_in_fun_body.ncl │ │ │ ├── mismatch_let_inference.ncl │ │ │ ├── mismatch_rec_record_field.ncl │ │ │ ├── mismatch_rec_record_inference.ncl │ │ │ ├── mismatch_rec_record_rec_field.ncl │ │ │ ├── mismatch_record_dictionary_subtyping.ncl │ │ │ ├── mismatch_record_dyn_field.ncl │ │ │ ├── mismatch_record_field_access.ncl │ │ │ ├── mismatch_record_field_name.ncl │ │ │ ├── mismatch_record_field_type.ncl │ │ │ ├── mismatch_record_poly_field_misused.ncl │ │ │ ├── mismatch_record_poly_fields.ncl │ │ │ ├── mismatch_record_poly_row_var.ncl │ │ │ ├── no_implicit_polymorphism.ncl │ │ │ ├── or_patterns.ncl │ │ │ ├── pattern_array_elem_mismatch.ncl │ │ │ ├── pattern_array_rest_mismatch.ncl │ │ │ ├── pattern_extend_closed.ncl │ │ │ ├── pattern_generalize_closed.ncl │ │ │ ├── pattern_generalize_enum.ncl │ │ │ ├── pattern_matching.ncl │ │ │ ├── pattern_non_bool_guard.ncl │ │ │ ├── pattern_not_an_array.ncl │ │ │ ├── pattern_or_closed_enum.ncl │ │ │ ├── pattern_or_type_mismatch.ncl │ │ │ ├── pattern_rest_mismatch.ncl │ │ │ ├── pattern_unbound_identifier_guard.ncl │ │ │ ├── pattern_variant_arg_mismatch.ncl │ │ │ ├── pattern_variant_arg_mismatch_wildcard.ncl │ │ │ ├── piecewise_signature.ncl │ │ │ ├── primitive_mismatch_bool_number.ncl │ │ │ ├── primitive_mismatch_number_bool.ncl │ │ │ ├── primitive_mismatch_string_number.ncl │ │ │ ├── record-typed-field-path.ncl │ │ │ ├── record_dictionary_subtyping.ncl │ │ │ ├── record_row_conflict_extend.ncl │ │ │ ├── record_row_conflict_poly_shuffled1.ncl │ │ │ ├── record_row_conflict_poly_shuffled2.ncl │ │ │ ├── record_row_conflict_poly_shuffled3.ncl │ │ │ ├── record_row_conflict_remove.ncl │ │ │ ├── record_subtyping.ncl │ │ │ ├── record_subtyping_multiple_components.ncl │ │ │ ├── record_subtyping_with_tail.ncl │ │ │ ├── recursive_let.ncl │ │ │ ├── regression-rrows-unification-loops.ncl │ │ │ ├── row_type_unification_variable_mismatch.ncl │ │ │ ├── shallow_type_inference.ncl │ │ │ ├── shallow_type_inference_strict_mode.ncl │ │ │ ├── strict_mode.ncl │ │ │ ├── strict_mode_import.ncl │ │ │ ├── type_in_term_position.ncl │ │ │ ├── typechecking.ncl │ │ │ ├── unannotated_bindings_type_as_dyn.ncl │ │ │ ├── unbound_variable.ncl │ │ │ ├── unsound_generalization_enum_rows.ncl │ │ │ ├── unsound_generalization_fun.ncl │ │ │ ├── unsound_generalization_monomorphic_id.ncl │ │ │ ├── unsound_generalization_record_rows.ncl │ │ │ ├── unsound_generalization_simple.ncl │ │ │ └── wildcard_apparent_ty_is_dyn.ncl │ ├── main.rs │ ├── pretty.rs │ ├── program_api.rs │ ├── query.rs │ ├── stdlib_typecheck.rs │ └── typecheck_fail.rs │ └── manual │ └── main.rs ├── default.nix ├── doc └── manual │ ├── cli.md │ ├── contracts.md │ ├── cookbook.md │ ├── correctness.md │ ├── introduction.md │ ├── merging.md │ ├── modular-configurations.md │ ├── package-management.md │ ├── syntax.md │ ├── tutorial.md │ ├── types-vs-contracts.md │ └── typing.md ├── examples ├── README.md ├── arrays │ ├── README.md │ └── arrays.ncl ├── config-gcc │ ├── README.md │ └── config-gcc.ncl ├── fibonacci │ ├── README.md │ └── fibonacci.ncl ├── foreach-pattern │ ├── README.md │ ├── data_users.yml │ ├── foreach-pattern-on-import.ncl │ └── foreach-pattern.ncl ├── imports │ ├── README.md │ ├── data_groups.json │ ├── data_machines.toml │ ├── data_nickel_properties.ncl │ ├── data_users.yml │ └── imports.ncl ├── merge-priorities │ ├── README.md │ ├── main.ncl │ ├── security.ncl │ └── server.ncl ├── merge │ ├── README.md │ ├── main.ncl │ ├── security.ncl │ └── server.ncl ├── polymorphism │ ├── README.md │ └── polymorphism.ncl ├── record-contract │ ├── README.md │ └── record-contract.ncl └── simple-contracts │ ├── README.md │ ├── simple-contract-bool.ncl │ └── simple-contract-div.ncl ├── flake.lock ├── flake.nix ├── flock ├── Cargo.toml └── src │ └── lib.rs ├── git ├── Cargo.toml ├── examples │ └── fetch.rs ├── src │ └── lib.rs └── tests │ └── main.rs ├── lsp ├── README.md ├── lsp-harness │ ├── Cargo.toml │ ├── README.md │ └── src │ │ ├── jsonrpc.rs │ │ ├── lib.rs │ │ └── output.rs ├── nls │ ├── Cargo.toml │ ├── LICENSE │ ├── README.md │ ├── benches │ │ ├── imported │ │ │ └── replicationcontroller-v1.ncl │ │ ├── inputs │ │ │ ├── goto-perf.ncl │ │ │ ├── large-record-tree.ncl │ │ │ ├── redis-replication-controller.ncl │ │ │ └── small-record-tree.ncl │ │ └── main.rs │ ├── build.rs │ ├── foo-bar-lsp-log.log │ ├── src │ │ ├── actions.rs │ │ ├── analysis.rs │ │ ├── background.rs │ │ ├── codespan_lsp.rs │ │ ├── command.rs │ │ ├── config.rs │ │ ├── contracts.rs │ │ ├── diagnostic.rs │ │ ├── error.rs │ │ ├── field_walker.rs │ │ ├── files.rs │ │ ├── identifier.rs │ │ ├── incomplete.rs │ │ ├── main.rs │ │ ├── position.rs │ │ ├── requests │ │ │ ├── completion.rs │ │ │ ├── formatting.rs │ │ │ ├── goto.rs │ │ │ ├── hover.rs │ │ │ ├── mod.rs │ │ │ ├── rename.rs │ │ │ └── symbols.rs │ │ ├── server.rs │ │ ├── term.rs │ │ ├── trace.rs │ │ ├── usage.rs │ │ └── world.rs │ └── tests │ │ ├── inputs-in-place │ │ └── yaml │ │ │ ├── Nls-contracts.ncl │ │ │ ├── contract.ncl │ │ │ ├── fail.yaml │ │ │ ├── no-contract.yml │ │ │ └── pass.yaml │ │ ├── inputs │ │ ├── completion-any-of.ncl │ │ ├── completion-array.ncl │ │ ├── completion-basic.ncl │ │ ├── completion-dict.ncl │ │ ├── completion-field-disambiguation.ncl │ │ ├── completion-fun-parameter-contract.ncl │ │ ├── completion-incomplete-record-field-nested.ncl │ │ ├── completion-incomplete-record-field.ncl │ │ ├── completion-incomplete-record-value.ncl │ │ ├── completion-incomplete.ncl │ │ ├── completion-inside-enum.ncl │ │ ├── completion-match-typed.ncl │ │ ├── completion-match.ncl │ │ ├── completion-nested.ncl │ │ ├── completion-patterns-rec.ncl │ │ ├── completion-patterns.ncl │ │ ├── diagnostics-array.ncl │ │ ├── diagnostics-basic.ncl │ │ ├── diagnostics-import-missing-file.ncl │ │ ├── diagnostics-import-parse-error.ncl │ │ ├── diagnostics-import-typecheck-error.ncl │ │ ├── diagnostics-multiple-import-failure.ncl │ │ ├── diagnostics-mutual-import.ncl │ │ ├── diagnostics-parse-and-typecheck-errors.ncl │ │ ├── diagnostics-recursion.ncl │ │ ├── diagnostics-successful-import.ncl │ │ ├── diagnostics-successful-mutual-import.ncl │ │ ├── diagnostics-successful-typecheck.ncl │ │ ├── diagnostics-typecheck.ncl │ │ ├── diagnostics-undefined-fields.ncl │ │ ├── diagnostics-unparseable-import-causes-typechecking-error.ncl │ │ ├── diagnostics-unparseable-record-field-name.ncl │ │ ├── diagnostics-unparseable-record-field-value.ncl │ │ ├── diagnostics-unparseable-type.ncl │ │ ├── formatting.ncl │ │ ├── goto-basic.ncl │ │ ├── goto-cross-file.ncl │ │ ├── goto-let-block.ncl │ │ ├── goto-let-rec.ncl │ │ ├── goto-multiple.ncl │ │ ├── goto-pattern.ncl │ │ ├── goto-perf.ncl │ │ ├── goto-record.ncl │ │ ├── goto-recursive.ncl │ │ ├── goto-scoping.ncl │ │ ├── hover-basic.ncl │ │ ├── hover-cousin.ncl │ │ ├── hover-double-def.ncl │ │ ├── hover-pattern-typed.ncl │ │ ├── hover-pattern.ncl │ │ ├── hover-stdlib-type.ncl │ │ ├── hover_field_typed_block_regression_1574.ncl │ │ ├── import_external_format.ncl │ │ ├── import_invalidation.ncl │ │ ├── no-crash-on-pretty-print.ncl │ │ ├── offsets.ncl │ │ ├── package-manifest.ncl │ │ ├── rename.ncl │ │ ├── symbols-basic.ncl │ │ └── symbols-recursion.ncl │ │ ├── main.rs │ │ ├── snapshots │ │ ├── main__lsp__nls__tests__inputs-in-place__yaml.snap │ │ ├── main__lsp__nls__tests__inputs__auto-contracts__Nls-contracts.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__completion-any-of.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__completion-array.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__completion-basic.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__completion-dict.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__completion-field-disambiguation.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__completion-fun-parameter-contract.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__completion-incomplete-record-field-nested.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__completion-incomplete-record-field.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__completion-incomplete-record-value.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__completion-incomplete.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__completion-inside-enum.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__completion-match-typed.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__completion-match.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__completion-nested.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__completion-patterns-rec.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__completion-patterns.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__diagnostics-array.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__diagnostics-basic.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__diagnostics-import-missing-file.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__diagnostics-import-parse-error.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__diagnostics-import-typecheck-error.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__diagnostics-multiple-import-failure.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__diagnostics-mutual-import.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__diagnostics-parse-and-typecheck-errors.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__diagnostics-recursion.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__diagnostics-successful-import.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__diagnostics-successful-mutual-import.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__diagnostics-successful-typecheck.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__diagnostics-typecheck.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__diagnostics-undefined-fields.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__diagnostics-unparseable-import-causes-typechecking-error.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__diagnostics-unparseable-record-field-name.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__diagnostics-unparseable-record-field-value.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__diagnostics-unparseable-type.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__formatting.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__goto-basic.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__goto-cross-file.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__goto-let-block.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__goto-let-rec.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__goto-multiple.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__goto-pattern.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__goto-perf.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__goto-record.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__goto-recursive.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__goto-scoping.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__hover-basic.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__hover-cousin.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__hover-double-def.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__hover-pattern-typed.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__hover-pattern.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__hover-stdlib-type.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__hover_field_typed_block_regression_1574.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__import_external_format.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__import_invalidation.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__no-crash-on-pretty-print.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__offsets.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__package-manifest.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__rename.ncl.snap │ │ ├── main__lsp__nls__tests__inputs__symbols-basic.ncl.snap │ │ └── main__lsp__nls__tests__inputs__symbols-recursion.ncl.snap │ │ └── unit_test_resources │ │ ├── closed_file.ncl │ │ └── imported_yaml.txt └── vscode-extension │ ├── .vscodeignore │ ├── LICENSE │ ├── README.md │ ├── images │ └── nickel-logo-256.png │ ├── language-configuration.json │ ├── package.json │ ├── src │ ├── extension.ts │ └── toolchain.ts │ ├── syntaxes │ └── nickel.tmLanguage.json │ ├── tsconfig.json │ └── yarn.lock ├── nickel ├── Cargo.toml ├── capi-tests │ └── run_tests.c ├── cbindgen.toml └── src │ ├── capi.rs │ └── lib.rs ├── notes ├── error-reporting-lib-choice.md ├── fixing-sealing-and-recursive-records.md ├── intersection-and-union-types.md ├── lossless-ast-parsing.md ├── lsp-semantics.md ├── partial-parsing.md ├── standardization-meeting-07.12.21.md ├── sum-as-dependent-records.md ├── trees-that-grow-proc-macro.md └── typechecking.md ├── package ├── Cargo.toml ├── src │ ├── config.rs │ ├── error.rs │ ├── index │ │ ├── lock.rs │ │ ├── mod.rs │ │ ├── path.rs │ │ ├── scrape.rs │ │ └── serialize.rs │ ├── lib.rs │ ├── lock.rs │ ├── manifest.rs │ ├── resolve.rs │ ├── snapshot.rs │ └── version.rs └── tests │ ├── git_update.rs │ ├── index.rs │ ├── integration.rs │ ├── integration │ └── inputs │ │ ├── eval │ │ └── multiple-versions │ │ │ ├── Nickel-pkg.ncl │ │ │ └── main.ncl │ │ ├── git │ │ ├── branch-leaf │ │ │ ├── Nickel-pkg.ncl │ │ │ └── branch.txt │ │ ├── leaf │ │ │ └── Nickel-pkg.ncl │ │ ├── tag-leaf │ │ │ ├── Nickel-pkg.ncl │ │ │ └── tag.txt │ │ └── with-subdirs │ │ │ ├── Nickel-pkg.ncl │ │ │ ├── leaf-subdir │ │ │ └── Nickel-pkg.ncl │ │ │ └── subdir-with-path-dep │ │ │ └── Nickel-pkg.ncl │ │ ├── index │ │ └── github │ │ │ └── example │ │ │ └── leaf │ │ │ ├── 0.1.0 │ │ │ ├── Nickel-pkg.ncl │ │ │ └── main.ncl │ │ │ ├── 0.1.1 │ │ │ ├── Nickel-pkg.ncl │ │ │ └── main.ncl │ │ │ └── 0.2.0 │ │ │ ├── Nickel-pkg.ncl │ │ │ ├── main.ncl │ │ │ └── subdir │ │ │ ├── Nickel-pkg.ncl │ │ │ └── main.ncl │ │ └── path │ │ ├── conflicting-index-deps │ │ └── Nickel-pkg.ncl │ │ ├── different-versions-index-dep │ │ └── Nickel-pkg.ncl │ │ ├── double-path-dep │ │ └── Nickel-pkg.ncl │ │ ├── duplicate-index-path-with-exact │ │ └── Nickel-pkg.ncl │ │ ├── duplicate-index-path │ │ └── Nickel-pkg.ncl │ │ ├── duplicate-lock-name │ │ └── Nickel-pkg.ncl │ │ ├── duplicate-path │ │ └── Nickel-pkg.ncl │ │ ├── git-branch-and-tag-dep │ │ └── Nickel-pkg.ncl │ │ ├── git-path-dep │ │ └── Nickel-pkg.ncl │ │ ├── leaf │ │ └── Nickel-pkg.ncl │ │ ├── path-to-index-dep │ │ └── Nickel-pkg.ncl │ │ ├── single-git-dep │ │ └── Nickel-pkg.ncl │ │ ├── single-index-compat-dep │ │ └── Nickel-pkg.ncl │ │ ├── single-index-dep │ │ └── Nickel-pkg.ncl │ │ ├── single-index-subdir-dep │ │ └── Nickel-pkg.ncl │ │ └── single-path-dep │ │ └── Nickel-pkg.ncl │ ├── lock_preference.rs │ ├── snapshots │ ├── git_update__no_fetch_if_exact_match.snap │ ├── integration__package__tests__integration__inputs__path__conflicting-index-deps__Nickel-pkg.ncl.snap │ ├── integration__package__tests__integration__inputs__path__different-versions-index-dep__Nickel-pkg.ncl.snap │ ├── integration__package__tests__integration__inputs__path__double-path-dep__Nickel-pkg.ncl.snap │ ├── integration__package__tests__integration__inputs__path__duplicate-index-path-with-exact__Nickel-pkg.ncl.snap │ ├── integration__package__tests__integration__inputs__path__duplicate-index-path__Nickel-pkg.ncl.snap │ ├── integration__package__tests__integration__inputs__path__duplicate-lock-name__Nickel-pkg.ncl.snap │ ├── integration__package__tests__integration__inputs__path__duplicate-path__Nickel-pkg.ncl.snap │ ├── integration__package__tests__integration__inputs__path__git-branch-and-tag-dep__Nickel-pkg.ncl.snap │ ├── integration__package__tests__integration__inputs__path__git-path-dep__Nickel-pkg.ncl.snap │ ├── integration__package__tests__integration__inputs__path__leaf__Nickel-pkg.ncl.snap │ ├── integration__package__tests__integration__inputs__path__path-to-index-dep__Nickel-pkg.ncl.snap │ ├── integration__package__tests__integration__inputs__path__single-git-dep__Nickel-pkg.ncl.snap │ ├── integration__package__tests__integration__inputs__path__single-index-compat-dep__Nickel-pkg.ncl.snap │ ├── integration__package__tests__integration__inputs__path__single-index-dep__Nickel-pkg.ncl.snap │ ├── integration__package__tests__integration__inputs__path__single-index-subdir-dep__Nickel-pkg.ncl.snap │ └── integration__package__tests__integration__inputs__path__single-path-dep__Nickel-pkg.ncl.snap │ ├── up_to_date.rs │ └── util.rs ├── parser ├── Cargo.toml ├── build.rs └── src │ ├── ast │ ├── alloc.rs │ ├── builder.rs │ ├── combine.rs │ ├── mod.rs │ ├── pattern │ │ ├── bindings.rs │ │ └── mod.rs │ ├── pretty.rs │ ├── primop.rs │ ├── record.rs │ └── typ.rs │ ├── combine.rs │ ├── environment.rs │ ├── error.rs │ ├── files.rs │ ├── grammar.lalrpop │ ├── identifier.rs │ ├── lexer.rs │ ├── lib.rs │ ├── metrics.rs │ ├── position.rs │ ├── tests.rs │ ├── traverse.rs │ ├── typ.rs │ ├── uniterm.rs │ └── utils.rs ├── py-nickel ├── Cargo.toml ├── README.md ├── build.rs ├── pyproject.toml └── src │ └── lib.rs ├── rfcs ├── 001-overriding.md ├── 002-merge-types-terms-syntax.md ├── 004-typechecking.md ├── 005-metadata-rework.md ├── 006-package-management.md ├── 007-bytecode-interpreter.md └── 008-public-api.md ├── rust-toolchain.toml ├── scripts ├── release.sh └── shrink_archive.sh ├── shell.nix ├── spec ├── README.md └── type-system │ ├── .gitignore │ ├── Makefile │ ├── README.md │ ├── flake.lock │ ├── flake.nix │ ├── grammar.ott │ ├── notes │ └── examples.md │ └── rules.ott ├── utils ├── Cargo.toml └── src │ ├── annotated_test.rs │ ├── bench.rs │ ├── lib.rs │ ├── project_root.rs │ └── test_program.rs ├── vector ├── Cargo.toml ├── benches │ ├── array.rs │ ├── rpds_comparison.rs │ └── slice.rs ├── src │ ├── lib.rs │ ├── slice.rs │ └── vector.rs └── tests │ └── arbtest.rs └── wasm-repl ├── Cargo.toml └── src └── lib.rs /.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/.cargo/config.toml -------------------------------------------------------------------------------- /.envrc: -------------------------------------------------------------------------------- 1 | use flake 2 | -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/settings.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/.github/settings.yml -------------------------------------------------------------------------------- /.github/workflows/benchmark-master.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/.github/workflows/benchmark-master.yaml -------------------------------------------------------------------------------- /.github/workflows/benchmark-pr.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/.github/workflows/benchmark-pr.yaml -------------------------------------------------------------------------------- /.github/workflows/continuous-integration.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/.github/workflows/continuous-integration.yml -------------------------------------------------------------------------------- /.github/workflows/release-artifacts.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/.github/workflows/release-artifacts.yaml -------------------------------------------------------------------------------- /.github/workflows/release-python.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/.github/workflows/release-python.yml -------------------------------------------------------------------------------- /.github/workflows/update-flake-lock.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/.github/workflows/update-flake-lock.yml -------------------------------------------------------------------------------- /.github/workflows/upload-pr-benchmarks.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/.github/workflows/upload-pr-benchmarks.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/.gitignore -------------------------------------------------------------------------------- /.markdownlint.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/.markdownlint.json -------------------------------------------------------------------------------- /.vscode/launch.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/.vscode/launch.json -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /.vscode/tasks.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/.vscode/tasks.json -------------------------------------------------------------------------------- /.vscodeignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/.vscodeignore -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/Cargo.toml -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/Dockerfile -------------------------------------------------------------------------------- /HACKING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/HACKING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/LICENSE -------------------------------------------------------------------------------- /RATIONALE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/RATIONALE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/README.md -------------------------------------------------------------------------------- /RELEASES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/RELEASES.md -------------------------------------------------------------------------------- /RELEASING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/RELEASING.md -------------------------------------------------------------------------------- /cli/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/Cargo.toml -------------------------------------------------------------------------------- /cli/src/cli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/src/cli.rs -------------------------------------------------------------------------------- /cli/src/completions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/src/completions.rs -------------------------------------------------------------------------------- /cli/src/convert.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/src/convert.rs -------------------------------------------------------------------------------- /cli/src/customize/interface.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/src/customize/interface.rs -------------------------------------------------------------------------------- /cli/src/customize/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/src/customize/mod.rs -------------------------------------------------------------------------------- /cli/src/doc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/src/doc.rs -------------------------------------------------------------------------------- /cli/src/doctest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/src/doctest.rs -------------------------------------------------------------------------------- /cli/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/src/error.rs -------------------------------------------------------------------------------- /cli/src/eval.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/src/eval.rs -------------------------------------------------------------------------------- /cli/src/export.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/src/export.rs -------------------------------------------------------------------------------- /cli/src/format.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/src/format.rs -------------------------------------------------------------------------------- /cli/src/global.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/src/global.rs -------------------------------------------------------------------------------- /cli/src/input.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/src/input.rs -------------------------------------------------------------------------------- /cli/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/src/main.rs -------------------------------------------------------------------------------- /cli/src/metrics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/src/metrics.rs -------------------------------------------------------------------------------- /cli/src/package.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/src/package.rs -------------------------------------------------------------------------------- /cli/src/pprint_ast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/src/pprint_ast.rs -------------------------------------------------------------------------------- /cli/src/query.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/src/query.rs -------------------------------------------------------------------------------- /cli/src/repl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/src/repl.rs -------------------------------------------------------------------------------- /cli/src/typecheck.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/src/typecheck.rs -------------------------------------------------------------------------------- /cli/tests/integration/inputs/mixed.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/integration/inputs/mixed.json -------------------------------------------------------------------------------- /cli/tests/integration/inputs/mixed.ncl: -------------------------------------------------------------------------------- 1 | { 2 | extra.nickel = true, 3 | } 4 | -------------------------------------------------------------------------------- /cli/tests/integration/inputs/mixed.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/integration/inputs/mixed.toml -------------------------------------------------------------------------------- /cli/tests/integration/inputs/mixed_contract.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/integration/inputs/mixed_contract.ncl -------------------------------------------------------------------------------- /cli/tests/integration/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/integration/main.rs -------------------------------------------------------------------------------- /cli/tests/integration/stdin_format.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/integration/stdin_format.rs -------------------------------------------------------------------------------- /cli/tests/snapshot/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/README.md -------------------------------------------------------------------------------- /cli/tests/snapshot/imports/additional_contract1.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/imports/additional_contract1.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/imports/additional_contract2.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/imports/additional_contract2.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/imports/invalid.yaml: -------------------------------------------------------------------------------- 1 | [1, 2]: foo 2 | -------------------------------------------------------------------------------- /cli/tests/snapshot/imports/map-with-unicode.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/imports/map-with-unicode.json -------------------------------------------------------------------------------- /cli/tests/snapshot/imports/map-with-unicode.yaml: -------------------------------------------------------------------------------- 1 | tiếng: 1 2 | việt: 2 3 | -------------------------------------------------------------------------------- /cli/tests/snapshot/imports/map.json: -------------------------------------------------------------------------------- 1 | { "foo": 1, "bar": 2 } 2 | -------------------------------------------------------------------------------- /cli/tests/snapshot/imports/map.yaml: -------------------------------------------------------------------------------- 1 | foo: 1 2 | bar: 2 3 | -------------------------------------------------------------------------------- /cli/tests/snapshot/imports/package.toml: -------------------------------------------------------------------------------- 1 | [package] 2 | name = 5 3 | -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/convert/json.foo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/convert/json.foo -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/convert/json.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/convert/json.json -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/convert/json.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/convert/json.txt -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/convert/json.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/convert/json.yaml -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/convert/toml.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/convert/toml.toml -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/convert/yaml.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/convert/yaml.yaml -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/customize-mode/help.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/customize-mode/help.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/customize-mode/list.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/customize-mode/list.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/customize-mode/not_an_input.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/customize-mode/not_an_input.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/customize-mode/show.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/customize-mode/show.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/customize-mode/sigil_env.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/customize-mode/sigil_env.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/customize-mode/sigil_missing_colon.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/customize-mode/sigil_missing_colon.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/customize-mode/simple_adder.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/customize-mode/simple_adder.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/customize-mode/unknown_field_path.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/customize-mode/unknown_field_path.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/customize-mode/unknown_override.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/customize-mode/unknown_override.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/customize-mode/unknown_sigil_attr.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/customize-mode/unknown_sigil_attr.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/customize-mode/unknown_sigil_expr.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/customize-mode/unknown_sigil_expr.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/docs/evaluation.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/docs/evaluation.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/docs/function.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/docs/function.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/docs/record.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/docs/record.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/docs/recursive.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/docs/recursive.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/docs/recursive_false_positive.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/docs/recursive_false_positive.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/docs/types.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/docs/types.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/doctest/fail_expected_error.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/doctest/fail_expected_error.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/doctest/fail_unexpected_error.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/doctest/fail_unexpected_error.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/doctest/fail_wrong_output.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/doctest/fail_wrong_output.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/doctest/pass.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/doctest/pass.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/doctest/record_regression.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/doctest/record_regression.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/accessing_unknown_field.ncl: -------------------------------------------------------------------------------- 1 | # capture = 'stderr' 2 | # command = ['eval'] 3 | (fun x => x.a) : {} -> _ 4 | -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/array_at_empty_array.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/array_at_empty_array.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/array_at_out_of_bound.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/array_at_out_of_bound.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/array_contract_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/array_contract_fail.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/array_merge_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/array_merge_fail.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/array_range_reversed_indices.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/array_range_reversed_indices.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/array_range_step_negative_step.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/array_range_step_negative_step.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/base64_decode_invalid_encoding.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/base64_decode_invalid_encoding.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/base64_decode_non_string.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/base64_decode_non_string.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/caller_contract_violation.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/caller_contract_violation.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/contract_label_propagation.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/contract_label_propagation.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/destructuring_assign_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/destructuring_assign_fail.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/destructuring_closed_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/destructuring_closed_fail.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/destructuring_repeated_ident.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/destructuring_repeated_ident.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/destructuring_rest_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/destructuring_rest_fail.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/dictionary_contract_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/dictionary_contract_fail.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/field_access_under_contract.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/field_access_under_contract.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/fun_contract_range_nested.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/fun_contract_range_nested.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/fun_contract_range_violation.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/fun_contract_range_violation.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/function_contract_violation.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/function_contract_violation.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/include_multiple_list.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/include_multiple_list.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/include_multiple_other_include.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/include_multiple_other_include.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/include_multiple_with_def.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/include_multiple_with_def.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/interpolate_record_type_field.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/interpolate_record_type_field.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/interpolation_non_stringable.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/interpolation_non_stringable.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/invalid_contract_expression.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/invalid_contract_expression.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/invalid_record_type.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/invalid_record_type.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/json_but_its_yaml.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/json_but_its_yaml.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/json_error_location.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/json_error_location.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/let_block_duplicate_identifier.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/let_block_duplicate_identifier.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/let_block_not_rec.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/let_block_not_rec.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/no_internals_when_currying.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/no_internals_when_currying.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/non_exhaustive_match.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/non_exhaustive_match.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/non_serializable_print_path.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/non_serializable_print_path.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/normal_array_merge_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/normal_array_merge_fail.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/piecewise_array_merge_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/piecewise_array_merge_fail.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/query_non_record.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/query_non_record.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/record_access.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/record_access.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/record_access_suggestion.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/record_access_suggestion.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/record_type_repeated_field.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/record_type_repeated_field.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/serialization_number_out_of_range.ncl: -------------------------------------------------------------------------------- 1 | # capture = 'stderr' 2 | # command = ['export'] 3 | 4 | 1e400 5 | -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/simple_contract_fail.ncl: -------------------------------------------------------------------------------- 1 | # capture = 'stderr' 2 | # command = ['eval'] 3 | 1 | String 4 | -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/spanned_toml.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/spanned_toml.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/string_delimiter_mismatch.ncl: -------------------------------------------------------------------------------- 1 | # capture = 'stderr' 2 | # command = ['eval'] 3 | m%"Hello"%% 4 | -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/trace_not_saturated.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/trace_not_saturated.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/typecheck_strict_mode.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/typecheck_strict_mode.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/typed_field_without_annotation.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/typed_field_without_annotation.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/unification_variable_aliasing.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/unification_variable_aliasing.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/validator_custom_error.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/validator_custom_error.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/value_contract_violation.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/value_contract_violation.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/yaml_error_location.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/yaml_error_location.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/errors/yaml_parse_failure.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/errors/yaml_parse_failure.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/eval/escaping.ncl: -------------------------------------------------------------------------------- 1 | # capture = 'stdout' 2 | # command = ['eval'] 3 | "a\"bcd\"" 4 | -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/eval/fail_additional_contract.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/eval/fail_additional_contract.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/eval/fail_additional_two_contracts1.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/eval/fail_additional_two_contracts1.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/eval/fail_additional_two_contracts2.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/eval/fail_additional_two_contracts2.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/eval/fieldarg_with_contracts.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/eval/fieldarg_with_contracts.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/eval/records.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/eval/records.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/export/nested_record.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/export/nested_record.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/export/not_exported_undefined.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/export/not_exported_undefined.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/export/trace.ncl: -------------------------------------------------------------------------------- 1 | # capture = 'all' 2 | # command = ['export'] 3 | std.trace "Hello, world!" true 4 | -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/export/yaml_documents.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/export/yaml_documents.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/export/yaml_documents_not_array.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/export/yaml_documents_not_array.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/package/invalid-git-dep.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/package/invalid-git-dep.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/package/invalid-git-url.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/package/invalid-git-url.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/package/invalid-version.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/package/invalid-version.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/package/missing-field.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/package/missing-field.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/pretty/field_escaping.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/pretty/field_escaping.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/pretty/id_quoting.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/pretty/id_quoting.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/pretty/let_annotations.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/pretty/let_annotations.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/pretty/let_block.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/pretty/let_block.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/pretty/let_block_with_pat.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/pretty/let_block_with_pat.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/pretty/let_rec.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/pretty/let_rec.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/pretty/multiline_doc.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/pretty/multiline_doc.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/pretty/simple_record.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/pretty/simple_record.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/query/query_included_field.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/query/query_included_field.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/warnings/naked_contract.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/warnings/naked_contract.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/warnings/naked_contract_parametrized.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/warnings/naked_contract_parametrized.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/inputs/warnings/supressed.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/inputs/warnings/supressed.ncl -------------------------------------------------------------------------------- /cli/tests/snapshot/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/main.rs -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__convert_stderr_json.foo.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/snapshots/snapshot__convert_stderr_json.foo.snap -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__convert_stderr_json.json.snap: -------------------------------------------------------------------------------- 1 | --- 2 | source: cli/tests/snapshot/main.rs 3 | expression: err 4 | --- 5 | 6 | -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__convert_stderr_json.txt.snap: -------------------------------------------------------------------------------- 1 | --- 2 | source: cli/tests/snapshot/main.rs 3 | expression: err 4 | --- 5 | 6 | -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__convert_stderr_json.yaml.snap: -------------------------------------------------------------------------------- 1 | --- 2 | source: cli/tests/snapshot/main.rs 3 | expression: err 4 | --- 5 | 6 | -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__convert_stderr_toml.toml.snap: -------------------------------------------------------------------------------- 1 | --- 2 | source: cli/tests/snapshot/main.rs 3 | expression: err 4 | --- 5 | 6 | -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__convert_stderr_yaml.yaml.snap: -------------------------------------------------------------------------------- 1 | --- 2 | source: cli/tests/snapshot/main.rs 3 | expression: err 4 | --- 5 | 6 | -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__convert_stdout_json.foo.snap: -------------------------------------------------------------------------------- 1 | --- 2 | source: cli/tests/snapshot/main.rs 3 | expression: out 4 | --- 5 | 6 | -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__convert_stdout_json.txt.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/snapshots/snapshot__convert_stdout_json.txt.snap -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__doc_stderr_function.ncl.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/snapshots/snapshot__doc_stderr_function.ncl.snap -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__doc_stdout_record.ncl.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/snapshots/snapshot__doc_stdout_record.ncl.snap -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__doc_stdout_types.ncl.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/snapshots/snapshot__doc_stdout_types.ncl.snap -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__eval_stdout_let_block_rec.ncl.snap: -------------------------------------------------------------------------------- 1 | --- 2 | source: cli/tests/snapshot/main.rs 3 | expression: out 4 | --- 5 | 4 6 | -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__eval_stdout_records.ncl.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/snapshots/snapshot__eval_stdout_records.ncl.snap -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__export_stderr_trace.ncl.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/snapshots/snapshot__export_stderr_trace.ncl.snap -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__export_stdout_help.ncl.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/snapshots/snapshot__export_stdout_help.ncl.snap -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__export_stdout_list.ncl.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/snapshots/snapshot__export_stdout_list.ncl.snap -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__export_stdout_show.ncl.snap: -------------------------------------------------------------------------------- 1 | --- 2 | source: cli/tests/snapshot/main.rs 3 | expression: out 4 | --- 5 | 6 | -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__export_stdout_trace.ncl.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/snapshots/snapshot__export_stdout_trace.ncl.snap -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__query_stdout_show.ncl.snap: -------------------------------------------------------------------------------- 1 | --- 2 | source: cli/tests/snapshot/main.rs 3 | expression: out 4 | --- 5 | 6 | -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__test_stderr_pass.ncl.snap: -------------------------------------------------------------------------------- 1 | --- 2 | source: cli/tests/snapshot/main.rs 3 | expression: err 4 | --- 5 | 6 | -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__test_stderr_record_regression.ncl.snap: -------------------------------------------------------------------------------- 1 | --- 2 | source: cli/tests/snapshot/main.rs 3 | expression: err 4 | --- 5 | 6 | -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__test_stdout_pass.ncl.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/cli/tests/snapshot/snapshots/snapshot__test_stdout_pass.ncl.snap -------------------------------------------------------------------------------- /cli/tests/snapshot/snapshots/snapshot__test_stdout_record_regression.ncl.snap: -------------------------------------------------------------------------------- 1 | --- 2 | source: cli/tests/snapshot/main.rs 3 | expression: out 4 | --- 5 | 6 | -------------------------------------------------------------------------------- /core/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/Cargo.toml -------------------------------------------------------------------------------- /core/benches/arrays.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/arrays.rs -------------------------------------------------------------------------------- /core/benches/arrays/fold.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/arrays/fold.ncl -------------------------------------------------------------------------------- /core/benches/arrays/generate.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/arrays/generate.ncl -------------------------------------------------------------------------------- /core/benches/arrays/map.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/arrays/map.ncl -------------------------------------------------------------------------------- /core/benches/arrays/pipe.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/arrays/pipe.ncl -------------------------------------------------------------------------------- /core/benches/arrays/primes.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/arrays/primes.ncl -------------------------------------------------------------------------------- /core/benches/arrays/random.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/arrays/random.ncl -------------------------------------------------------------------------------- /core/benches/arrays/sort.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/arrays/sort.ncl -------------------------------------------------------------------------------- /core/benches/arrays/sum.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/arrays/sum.ncl -------------------------------------------------------------------------------- /core/benches/deserialization.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/deserialization.rs -------------------------------------------------------------------------------- /core/benches/functions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/functions.rs -------------------------------------------------------------------------------- /core/benches/functions/church.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/functions/church.ncl -------------------------------------------------------------------------------- /core/benches/lorem.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/lorem.txt -------------------------------------------------------------------------------- /core/benches/mantis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/mantis.rs -------------------------------------------------------------------------------- /core/benches/mantis/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/mantis/README.md -------------------------------------------------------------------------------- /core/benches/mantis/deploy-example.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/mantis/deploy-example.ncl -------------------------------------------------------------------------------- /core/benches/mantis/deploy.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/mantis/deploy.ncl -------------------------------------------------------------------------------- /core/benches/mantis/jobs/mantis.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/mantis/jobs/mantis.ncl -------------------------------------------------------------------------------- /core/benches/mantis/lib.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/mantis/lib.ncl -------------------------------------------------------------------------------- /core/benches/mantis/run.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/mantis/run.ncl -------------------------------------------------------------------------------- /core/benches/mantis/schemas/nomad/types.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/mantis/schemas/nomad/types.ncl -------------------------------------------------------------------------------- /core/benches/mantis/tasks/promtail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/mantis/tasks/promtail.ncl -------------------------------------------------------------------------------- /core/benches/mantis/tasks/telegraf.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/mantis/tasks/telegraf.ncl -------------------------------------------------------------------------------- /core/benches/nixpkgs/lists.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/nixpkgs/lists.ncl -------------------------------------------------------------------------------- /core/benches/numeric.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/numeric.rs -------------------------------------------------------------------------------- /core/benches/numeric/fibonacci.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/numeric/fibonacci.ncl -------------------------------------------------------------------------------- /core/benches/numeric/pidigits.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/numeric/pidigits.ncl -------------------------------------------------------------------------------- /core/benches/numeric/reduce.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/numeric/reduce.ncl -------------------------------------------------------------------------------- /core/benches/numeric/scalar.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/numeric/scalar.ncl -------------------------------------------------------------------------------- /core/benches/records.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/records.rs -------------------------------------------------------------------------------- /core/benches/records/countLetters.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/records/countLetters.ncl -------------------------------------------------------------------------------- /core/benches/records/merge.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/records/merge.ncl -------------------------------------------------------------------------------- /core/benches/serialization.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/serialization.rs -------------------------------------------------------------------------------- /core/benches/serialization/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/serialization/input.json -------------------------------------------------------------------------------- /core/benches/serialization/main.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/serialization/main.ncl -------------------------------------------------------------------------------- /core/benches/stdlib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/stdlib.rs -------------------------------------------------------------------------------- /core/benches/strings/interpolation.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/strings/interpolation.ncl -------------------------------------------------------------------------------- /core/benches/typecheck-nixpkgs-lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/benches/typecheck-nixpkgs-lib.rs -------------------------------------------------------------------------------- /core/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/build.rs -------------------------------------------------------------------------------- /core/src/ast/compat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/ast/compat.rs -------------------------------------------------------------------------------- /core/src/ast/mod.rs: -------------------------------------------------------------------------------- 1 | pub use nickel_lang_parser::ast::*; 2 | pub mod compat; 3 | -------------------------------------------------------------------------------- /core/src/cache.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/cache.rs -------------------------------------------------------------------------------- /core/src/closurize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/closurize.rs -------------------------------------------------------------------------------- /core/src/deserialize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/deserialize.rs -------------------------------------------------------------------------------- /core/src/environment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/environment.rs -------------------------------------------------------------------------------- /core/src/error/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/error/mod.rs -------------------------------------------------------------------------------- /core/src/error/report.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/error/report.rs -------------------------------------------------------------------------------- /core/src/error/suggest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/error/suggest.rs -------------------------------------------------------------------------------- /core/src/error/warning.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/error/warning.rs -------------------------------------------------------------------------------- /core/src/eval/cache/incremental.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/eval/cache/incremental.rs -------------------------------------------------------------------------------- /core/src/eval/cache/lazy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/eval/cache/lazy.rs -------------------------------------------------------------------------------- /core/src/eval/cache/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/eval/cache/mod.rs -------------------------------------------------------------------------------- /core/src/eval/callstack.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/eval/callstack.rs -------------------------------------------------------------------------------- /core/src/eval/contract_eq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/eval/contract_eq.rs -------------------------------------------------------------------------------- /core/src/eval/fixpoint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/eval/fixpoint.rs -------------------------------------------------------------------------------- /core/src/eval/merge.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/eval/merge.rs -------------------------------------------------------------------------------- /core/src/eval/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/eval/mod.rs -------------------------------------------------------------------------------- /core/src/eval/operation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/eval/operation.rs -------------------------------------------------------------------------------- /core/src/eval/stack.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/eval/stack.rs -------------------------------------------------------------------------------- /core/src/eval/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/eval/tests.rs -------------------------------------------------------------------------------- /core/src/eval/value/lens.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/eval/value/lens.rs -------------------------------------------------------------------------------- /core/src/eval/value/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/eval/value/mod.rs -------------------------------------------------------------------------------- /core/src/format.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/format.rs -------------------------------------------------------------------------------- /core/src/label.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/label.rs -------------------------------------------------------------------------------- /core/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/lib.rs -------------------------------------------------------------------------------- /core/src/nix_ffi/cpp/nix.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/nix_ffi/cpp/nix.cc -------------------------------------------------------------------------------- /core/src/nix_ffi/cpp/nix.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/nix_ffi/cpp/nix.hh -------------------------------------------------------------------------------- /core/src/nix_ffi/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/nix_ffi/mod.rs -------------------------------------------------------------------------------- /core/src/package.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/package.rs -------------------------------------------------------------------------------- /core/src/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/parser.rs -------------------------------------------------------------------------------- /core/src/position.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/position.rs -------------------------------------------------------------------------------- /core/src/pretty.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/pretty.rs -------------------------------------------------------------------------------- /core/src/program.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/program.rs -------------------------------------------------------------------------------- /core/src/repl/command.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/repl/command.rs -------------------------------------------------------------------------------- /core/src/repl/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/repl/mod.rs -------------------------------------------------------------------------------- /core/src/repl/query_print.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/repl/query_print.rs -------------------------------------------------------------------------------- /core/src/repl/rustyline_frontend.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/repl/rustyline_frontend.rs -------------------------------------------------------------------------------- /core/src/repl/simple_frontend.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/repl/simple_frontend.rs -------------------------------------------------------------------------------- /core/src/repl/wasm_frontend.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/repl/wasm_frontend.rs -------------------------------------------------------------------------------- /core/src/serialize/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/serialize/mod.rs -------------------------------------------------------------------------------- /core/src/serialize/yaml.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/serialize/yaml.rs -------------------------------------------------------------------------------- /core/src/stdlib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/stdlib.rs -------------------------------------------------------------------------------- /core/src/term/array.rs: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /core/src/term/make/builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/term/make/builder.rs -------------------------------------------------------------------------------- /core/src/term/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/term/mod.rs -------------------------------------------------------------------------------- /core/src/term/pattern/bindings.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/term/pattern/bindings.rs -------------------------------------------------------------------------------- /core/src/term/pattern/compile.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/term/pattern/compile.rs -------------------------------------------------------------------------------- /core/src/term/pattern/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/term/pattern/mod.rs -------------------------------------------------------------------------------- /core/src/term/record.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/term/record.rs -------------------------------------------------------------------------------- /core/src/term/string.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/term/string.rs -------------------------------------------------------------------------------- /core/src/transform/free_vars.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/transform/free_vars.rs -------------------------------------------------------------------------------- /core/src/transform/gen_pending_contracts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/transform/gen_pending_contracts.rs -------------------------------------------------------------------------------- /core/src/transform/import_resolution.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/transform/import_resolution.rs -------------------------------------------------------------------------------- /core/src/transform/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/transform/mod.rs -------------------------------------------------------------------------------- /core/src/transform/substitute_wildcards.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/transform/substitute_wildcards.rs -------------------------------------------------------------------------------- /core/src/typ.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/typ.rs -------------------------------------------------------------------------------- /core/src/typecheck/eq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/typecheck/eq.rs -------------------------------------------------------------------------------- /core/src/typecheck/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/typecheck/error.rs -------------------------------------------------------------------------------- /core/src/typecheck/mk_uniftype.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/typecheck/mk_uniftype.rs -------------------------------------------------------------------------------- /core/src/typecheck/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/typecheck/mod.rs -------------------------------------------------------------------------------- /core/src/typecheck/operation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/typecheck/operation.rs -------------------------------------------------------------------------------- /core/src/typecheck/pattern.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/typecheck/pattern.rs -------------------------------------------------------------------------------- /core/src/typecheck/record.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/typecheck/record.rs -------------------------------------------------------------------------------- /core/src/typecheck/reporting.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/typecheck/reporting.rs -------------------------------------------------------------------------------- /core/src/typecheck/subtyping.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/typecheck/subtyping.rs -------------------------------------------------------------------------------- /core/src/typecheck/unif.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/src/typecheck/unif.rs -------------------------------------------------------------------------------- /core/stdlib/internals.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/stdlib/internals.ncl -------------------------------------------------------------------------------- /core/stdlib/std.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/stdlib/std.ncl -------------------------------------------------------------------------------- /core/tests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/README.md -------------------------------------------------------------------------------- /core/tests/examples/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/examples/main.rs -------------------------------------------------------------------------------- /core/tests/integration/contract_label_path.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/contract_label_path.rs -------------------------------------------------------------------------------- /core/tests/integration/contracts_fail.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/contracts_fail.rs -------------------------------------------------------------------------------- /core/tests/integration/free_vars.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/free_vars.rs -------------------------------------------------------------------------------- /core/tests/integration/infinite_rec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/infinite_rec.rs -------------------------------------------------------------------------------- /core/tests/integration/inputs/adts/deep_seq_enum.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/adts/deep_seq_enum.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/adts/deep_seq_enum2.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/adts/deep_seq_enum2.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/adts/enum_contract_propagation.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/adts/enum_contract_propagation.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/adts/enum_primops.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/adts/enum_primops.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/adts/enum_wildcard_substitution.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/adts/enum_wildcard_substitution.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/adts/force_enum.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/adts/force_enum.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/adts/force_enum2.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/adts/force_enum2.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/arrays/elem_at_empty_array.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/arrays/elem_at_empty_array.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/arrays/elem_at_negative_index.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/arrays/elem_at_negative_index.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/arrays/elem_at_non_array_arg.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/arrays/elem_at_non_array_arg.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/arrays/elem_at_non_int_index.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/arrays/elem_at_non_int_index.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/arrays/slice_empty_array.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/arrays/slice_empty_array.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/arrays/slice_non_array.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/arrays/slice_non_array.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/arrays/stdlib_first_non_array_arg.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/arrays/stdlib_first_non_array_arg.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/and_bool_contract_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/and_bool_contract_fail.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/and_number_bool.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/and_number_bool.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/any_of_basic_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/any_of_basic_fail.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/any_of_empty.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/any_of_empty.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/basic_custom_contract.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/basic_custom_contract.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/boolean_combinators.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/boolean_combinators.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/contracts.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/contracts.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/custom_generic_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/custom_generic_fail.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/custom_generic_succeed.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/custom_generic_succeed.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/custom_predicate_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/custom_predicate_fail.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/custom_validator_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/custom_validator_fail.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/dedup_multiple.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/dedup_multiple.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/div_by_zero.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/div_by_zero.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/enum_variant_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/enum_variant_fail.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/equating_fn_match.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/equating_fn_match.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/equating_functions.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/equating_functions.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/let_order.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/let_order.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/not_any_of_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/not_any_of_fail.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/not_basic_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/not_basic_fail.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/not_record_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/not_record_fail.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/sequence.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/sequence.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/type_annot_inline.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/type_annot_inline.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/type_annot_let.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/type_annot_let.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/contracts/types_dont_propagate.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/contracts/types_dont_propagate.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/core/arrays.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/core/arrays.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/core/basics.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/core/basics.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/core/builtins.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/core/builtins.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/core/comparison_ge_string_string.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/core/comparison_ge_string_string.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/core/comparison_geq_string_string.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/core/comparison_geq_string_string.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/core/comparison_le_number_bool.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/core/comparison_le_number_bool.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/core/comparison_le_string_number.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/core/comparison_le_string_number.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/core/comparison_leq_bool_array.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/core/comparison_leq_bool_array.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/core/curried_dot.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/core/curried_dot.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/core/eq.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/core/eq.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/core/fibo.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/core/fibo.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/core/functions.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/core/functions.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/core/import.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/core/import.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/core/let_block_rec.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/core/let_block_rec.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/core/let_rec_block_with_pat.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/core/let_rec_block_with_pat.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/core/numbers.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/core/numbers.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/core/or_string_bool.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/core/or_string_bool.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/core/records.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/core/records.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/core/recursive_let.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/core/recursive_let.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/adt_enum_tag.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/adt_enum_tag.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/adt_extra_arg.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/adt_extra_arg.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/adt_missing_arg.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/adt_missing_arg.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/adt_type_matches.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/adt_type_matches.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/adt_wrong_tag.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/adt_wrong_tag.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/adt_wrong_type.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/adt_wrong_type.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/assign.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/assign.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/assign_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/assign_fail.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/atbind.ncl: -------------------------------------------------------------------------------- 1 | # test.type = 'pass' 2 | let x @ {..} = {a=1, b=2} in 3 | x.a + x.b == 3 4 | -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/closed_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/closed_fail.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/constant_bool_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/constant_bool_fail.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/constant_null_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/constant_null_fail.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/constants.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/constants.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/default.ncl: -------------------------------------------------------------------------------- 1 | # test.type = 'pass' 2 | let {a ? 1, b} = {b=2} in 3 | a + b == 3 4 | -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/fun.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/fun.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/mixed.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/mixed.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/nested.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/nested.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/nonexistent_idents.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/nonexistent_idents.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/open.ncl: -------------------------------------------------------------------------------- 1 | # test.type = 'pass' 2 | let {a, ..} = {a=1, b=2} in 3 | a == 1 4 | -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/preserves_types.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/preserves_types.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/repeated_ident.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/repeated_ident.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/rest.ncl: -------------------------------------------------------------------------------- 1 | # test.type = 'pass' 2 | let x @ {..y} = {a=1, b=2} in 3 | x == y 4 | -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/rest_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/rest_fail.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/simple.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/simple.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/type_annotations.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/type_annotations.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/type_mismatch_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/type_mismatch_fail.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/typecontract.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/typecontract.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/destructuring/typecontract_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/destructuring/typecontract_fail.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/circular_imports.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/circular_imports.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/contract_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/contract_fail.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/direct_import_loop.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/direct_import_loop.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/explicit.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/explicit.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/explicit_unknowntag.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/explicit_unknowntag.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/fallback.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/fallback.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/circular_imports.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/imported/circular_imports.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/contract_fail.ncl: -------------------------------------------------------------------------------- 1 | # test.type = 'skip' 2 | 1 | String -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/empty.yaml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/file_with_unknown_extension.tst: -------------------------------------------------------------------------------- 1 | 34+1200 2 | -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/file_without_extension: -------------------------------------------------------------------------------- 1 | 1200+34 2 | -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/import_parent.ncl: -------------------------------------------------------------------------------- 1 | # test.type = 'pass' 2 | import "../root_path.ncl" 3 | -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/multi_imports.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/imported/multi_imports.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/multiple.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/imported/multiple.yaml -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/nested.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/imported/nested.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/nested_syntax_error.ncl: -------------------------------------------------------------------------------- 1 | # test.type = 'skip' 2 | import "nested_syntax_error1.ncl" 3 | -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/nested_syntax_error1.ncl: -------------------------------------------------------------------------------- 1 | # test.type = 'skip' 2 | import "nested_syntax_error2.ncl" 3 | -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/nested_syntax_error2.ncl: -------------------------------------------------------------------------------- 1 | # test.type = 'skip' 2 | 1 + 3 | -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/nested_table.toml: -------------------------------------------------------------------------------- 1 | [foo.bar] 2 | qux = 42 3 | -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/pkg1/main.ncl: -------------------------------------------------------------------------------- 1 | # test.type = 'skip' 2 | 1 + (import dep) 3 | -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/pkg2/main.ncl: -------------------------------------------------------------------------------- 1 | # test.type = 'skip' 2 | 43 3 | -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/root_path.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/imported/root_path.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/root_path/fourtytwo.ncl: -------------------------------------------------------------------------------- 1 | # test.type = 'skip' 2 | 21 + 21 3 | -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/root_path/import.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/imported/root_path/import.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/serialize.ncl: -------------------------------------------------------------------------------- 1 | # test.type = 'skip' 2 | {foo = "a" ++ "b"} 3 | -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/two.ncl: -------------------------------------------------------------------------------- 1 | # test.type = 'skip' 2 | 1 + 1 : Number 3 | -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/typecheck_fail.ncl: -------------------------------------------------------------------------------- 1 | # test.type = 'skip' 2 | false : Number 3 | -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/unexpected_token.ncl: -------------------------------------------------------------------------------- 1 | # test.type = 'skip' 2 | "Nickel"$ 3 | -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/imported/unexpected_token_in_record.ncl: -------------------------------------------------------------------------------- 1 | # test.type = 'skip' 2 | { 3 | name = "Nickel",, 4 | } 5 | -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/missing-nickel-path.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/missing-nickel-path.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/multi_imports.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/multi_imports.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/needs-nickel-path.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/needs-nickel-path.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/nested.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/nested.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/nested_syntax_error.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/nested_syntax_error.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/nested_toml_table.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/nested_toml_table.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/recursive.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/recursive.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/root_path.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/root_path.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/serialize.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/serialize.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/static_typing_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/static_typing_fail.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/typecheck_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/typecheck_fail.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/unexpected_token_buried.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/unexpected_token_buried.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/unexpected_token_fail.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/unexpected_token_fail.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/imports/yaml_import.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/imports/yaml_import.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/infinite_loops/x_eq_x.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/infinite_loops/x_eq_x.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/infinite_loops/x_eq_y_eq_z_eq_x.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/infinite_loops/x_eq_y_eq_z_eq_x.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/lib/import_typecheck_strict.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/lib/import_typecheck_strict.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/lib/imported.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/lib/imported.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/lib/typed-import.ncl: -------------------------------------------------------------------------------- 1 | # test.type = 'skip' 2 | 1 + 1 : Number 3 | -------------------------------------------------------------------------------- /core/tests/integration/inputs/merging/adts.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/merging/adts.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/merging/adts_different_tags.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/merging/adts_different_tags.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/merging/array-merge.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/merging/array-merge.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/merging/lazy-propagation.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/merging/lazy-propagation.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/merging/merge_compose_contract.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/merging/merge_compose_contract.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/merging/merge_contract.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/merging/merge_contract.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/merging/merge_default_contract.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/merging/merge_default_contract.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/merging/metavalues.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/merging/metavalues.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/merging/multiple_overrides.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/merging/multiple_overrides.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/merging/overriding.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/merging/overriding.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/merging/priorities.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/merging/priorities.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/parsing/annotations.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/parsing/annotations.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/parsing/identifiers.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/parsing/identifiers.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/parsing/type_var_outside_forall.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/parsing/type_var_outside_forall.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/parsing/unbound_record_tail_var.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/parsing/unbound_record_tail_var.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/parsing/unbound_type_variable.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/parsing/unbound_type_variable.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/parsing/unbound_var_in_contract.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/parsing/unbound_var_in_contract.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/parsing/unexpected_token/buried.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/parsing/unexpected_token/buried.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/parsing/unexpected_token/dollar.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/parsing/unexpected_token/dollar.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/pattern-matching/arrays.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/pattern-matching/arrays.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/pattern-matching/basics.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/pattern-matching/basics.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/pattern-matching/contract_blame.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/pattern-matching/contract_blame.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/pattern-matching/contracts.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/pattern-matching/contracts.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/pattern-matching/default_value.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/pattern-matching/default_value.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/pattern-matching/guards.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/pattern-matching/guards.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/pattern-matching/ignore_empty_opt.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/pattern-matching/ignore_empty_opt.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/pattern-matching/non_bool_guard.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/pattern-matching/non_bool_guard.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/pattern-matching/or_patterns.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/pattern-matching/or_patterns.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/pattern-matching/wildcards.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/pattern-matching/wildcards.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/records/dynamic_field_missing.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/records/dynamic_field_missing.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/records/freezing.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/records/freezing.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/records/freezing_ops.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/records/freezing_ops.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/records/merge_unfreezes.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/records/merge_unfreezes.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/records/missing_field.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/records/missing_field.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/records/record_defs.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/records/record_defs.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/records/record_includes.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/records/record_includes.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/records/record_insert.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/records/record_insert.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/serialization/number_out_of_range.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/serialization/number_out_of_range.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/serialization/serialize.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/serialization/serialize.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/serialization/serialize_package.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/serialization/serialize_package.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/stdlib/enum.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/stdlib/enum.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/stdlib/maths.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/stdlib/maths.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/stdlib/record_empty_optional_ops.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/stdlib/record_empty_optional_ops.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/stdlib/record_get_missing_field.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/stdlib/record_get_missing_field.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/stdlib/string_contracts.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/stdlib/string_contracts.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/stdlib/string_conversions.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/stdlib/string_conversions.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/stdlib/string_find.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/stdlib/string_find.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/stdlib/string_find_all.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/stdlib/string_find_all.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/stdlib/string_primitives.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/stdlib/string_primitives.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/stdlib/string_split_join.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/stdlib/string_split_join.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/stdlib/string_trim.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/stdlib/string_trim.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/stdlib/string_uppercase_lowercase.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/stdlib/string_uppercase_lowercase.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/strings/string_interpolation.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/strings/string_interpolation.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/strings/symbolic_strings.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/strings/symbolic_strings.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/algebraic_data_types.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/algebraic_data_types.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/array_subtyping.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/array_subtyping.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/basic_typechecking.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/basic_typechecking.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/contracts_dont_unify.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/contracts_dont_unify.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/dictionary_subtyping.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/dictionary_subtyping.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/dynamic_record_field.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/dynamic_record_field.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/enum_row_conflict_poly.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/enum_row_conflict_poly.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/field_polymorphic_annot.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/field_polymorphic_annot.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/higher_rank_coeval.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/higher_rank_coeval.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/higher_rank_eval.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/higher_rank_eval.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/let_block_not_rec.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/let_block_not_rec.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/let_blocks.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/let_blocks.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/let_rec_outer_scope.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/let_rec_outer_scope.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/mismatch_array_entry.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/mismatch_array_entry.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/mismatch_array_map.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/mismatch_array_map.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/mismatch_in_fun_body.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/mismatch_in_fun_body.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/or_patterns.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/or_patterns.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/pattern_extend_closed.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/pattern_extend_closed.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/pattern_matching.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/pattern_matching.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/pattern_not_an_array.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/pattern_not_an_array.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/pattern_rest_mismatch.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/pattern_rest_mismatch.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/piecewise_signature.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/piecewise_signature.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/record_subtyping.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/record_subtyping.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/recursive_let.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/recursive_let.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/strict_mode.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/strict_mode.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/strict_mode_import.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/strict_mode_import.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/type_in_term_position.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/type_in_term_position.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/typechecking.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/typechecking.ncl -------------------------------------------------------------------------------- /core/tests/integration/inputs/typecheck/unbound_variable.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/inputs/typecheck/unbound_variable.ncl -------------------------------------------------------------------------------- /core/tests/integration/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/main.rs -------------------------------------------------------------------------------- /core/tests/integration/pretty.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/pretty.rs -------------------------------------------------------------------------------- /core/tests/integration/program_api.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/program_api.rs -------------------------------------------------------------------------------- /core/tests/integration/query.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/query.rs -------------------------------------------------------------------------------- /core/tests/integration/stdlib_typecheck.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/stdlib_typecheck.rs -------------------------------------------------------------------------------- /core/tests/integration/typecheck_fail.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/integration/typecheck_fail.rs -------------------------------------------------------------------------------- /core/tests/manual/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/core/tests/manual/main.rs -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/default.nix -------------------------------------------------------------------------------- /doc/manual/cli.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/doc/manual/cli.md -------------------------------------------------------------------------------- /doc/manual/contracts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/doc/manual/contracts.md -------------------------------------------------------------------------------- /doc/manual/cookbook.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/doc/manual/cookbook.md -------------------------------------------------------------------------------- /doc/manual/correctness.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/doc/manual/correctness.md -------------------------------------------------------------------------------- /doc/manual/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/doc/manual/introduction.md -------------------------------------------------------------------------------- /doc/manual/merging.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/doc/manual/merging.md -------------------------------------------------------------------------------- /doc/manual/modular-configurations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/doc/manual/modular-configurations.md -------------------------------------------------------------------------------- /doc/manual/package-management.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/doc/manual/package-management.md -------------------------------------------------------------------------------- /doc/manual/syntax.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/doc/manual/syntax.md -------------------------------------------------------------------------------- /doc/manual/tutorial.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/doc/manual/tutorial.md -------------------------------------------------------------------------------- /doc/manual/types-vs-contracts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/doc/manual/types-vs-contracts.md -------------------------------------------------------------------------------- /doc/manual/typing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/doc/manual/typing.md -------------------------------------------------------------------------------- /examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/README.md -------------------------------------------------------------------------------- /examples/arrays/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/arrays/README.md -------------------------------------------------------------------------------- /examples/arrays/arrays.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/arrays/arrays.ncl -------------------------------------------------------------------------------- /examples/config-gcc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/config-gcc/README.md -------------------------------------------------------------------------------- /examples/config-gcc/config-gcc.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/config-gcc/config-gcc.ncl -------------------------------------------------------------------------------- /examples/fibonacci/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/fibonacci/README.md -------------------------------------------------------------------------------- /examples/fibonacci/fibonacci.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/fibonacci/fibonacci.ncl -------------------------------------------------------------------------------- /examples/foreach-pattern/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/foreach-pattern/README.md -------------------------------------------------------------------------------- /examples/foreach-pattern/data_users.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/foreach-pattern/data_users.yml -------------------------------------------------------------------------------- /examples/foreach-pattern/foreach-pattern-on-import.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/foreach-pattern/foreach-pattern-on-import.ncl -------------------------------------------------------------------------------- /examples/foreach-pattern/foreach-pattern.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/foreach-pattern/foreach-pattern.ncl -------------------------------------------------------------------------------- /examples/imports/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/imports/README.md -------------------------------------------------------------------------------- /examples/imports/data_groups.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/imports/data_groups.json -------------------------------------------------------------------------------- /examples/imports/data_machines.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/imports/data_machines.toml -------------------------------------------------------------------------------- /examples/imports/data_nickel_properties.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/imports/data_nickel_properties.ncl -------------------------------------------------------------------------------- /examples/imports/data_users.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/imports/data_users.yml -------------------------------------------------------------------------------- /examples/imports/imports.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/imports/imports.ncl -------------------------------------------------------------------------------- /examples/merge-priorities/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/merge-priorities/README.md -------------------------------------------------------------------------------- /examples/merge-priorities/main.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/merge-priorities/main.ncl -------------------------------------------------------------------------------- /examples/merge-priorities/security.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/merge-priorities/security.ncl -------------------------------------------------------------------------------- /examples/merge-priorities/server.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/merge-priorities/server.ncl -------------------------------------------------------------------------------- /examples/merge/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/merge/README.md -------------------------------------------------------------------------------- /examples/merge/main.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/merge/main.ncl -------------------------------------------------------------------------------- /examples/merge/security.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/merge/security.ncl -------------------------------------------------------------------------------- /examples/merge/server.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/merge/server.ncl -------------------------------------------------------------------------------- /examples/polymorphism/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/polymorphism/README.md -------------------------------------------------------------------------------- /examples/polymorphism/polymorphism.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/polymorphism/polymorphism.ncl -------------------------------------------------------------------------------- /examples/record-contract/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/record-contract/README.md -------------------------------------------------------------------------------- /examples/record-contract/record-contract.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/record-contract/record-contract.ncl -------------------------------------------------------------------------------- /examples/simple-contracts/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/simple-contracts/README.md -------------------------------------------------------------------------------- /examples/simple-contracts/simple-contract-bool.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/simple-contracts/simple-contract-bool.ncl -------------------------------------------------------------------------------- /examples/simple-contracts/simple-contract-div.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/examples/simple-contracts/simple-contract-div.ncl -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/flake.nix -------------------------------------------------------------------------------- /flock/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/flock/Cargo.toml -------------------------------------------------------------------------------- /flock/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/flock/src/lib.rs -------------------------------------------------------------------------------- /git/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/git/Cargo.toml -------------------------------------------------------------------------------- /git/examples/fetch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/git/examples/fetch.rs -------------------------------------------------------------------------------- /git/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/git/src/lib.rs -------------------------------------------------------------------------------- /git/tests/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/git/tests/main.rs -------------------------------------------------------------------------------- /lsp/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/README.md -------------------------------------------------------------------------------- /lsp/lsp-harness/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/lsp-harness/Cargo.toml -------------------------------------------------------------------------------- /lsp/lsp-harness/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/lsp-harness/README.md -------------------------------------------------------------------------------- /lsp/lsp-harness/src/jsonrpc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/lsp-harness/src/jsonrpc.rs -------------------------------------------------------------------------------- /lsp/lsp-harness/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/lsp-harness/src/lib.rs -------------------------------------------------------------------------------- /lsp/lsp-harness/src/output.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/lsp-harness/src/output.rs -------------------------------------------------------------------------------- /lsp/nls/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/Cargo.toml -------------------------------------------------------------------------------- /lsp/nls/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/LICENSE -------------------------------------------------------------------------------- /lsp/nls/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/README.md -------------------------------------------------------------------------------- /lsp/nls/benches/imported/replicationcontroller-v1.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/benches/imported/replicationcontroller-v1.ncl -------------------------------------------------------------------------------- /lsp/nls/benches/inputs/goto-perf.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/benches/inputs/goto-perf.ncl -------------------------------------------------------------------------------- /lsp/nls/benches/inputs/large-record-tree.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/benches/inputs/large-record-tree.ncl -------------------------------------------------------------------------------- /lsp/nls/benches/inputs/redis-replication-controller.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/benches/inputs/redis-replication-controller.ncl -------------------------------------------------------------------------------- /lsp/nls/benches/inputs/small-record-tree.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/benches/inputs/small-record-tree.ncl -------------------------------------------------------------------------------- /lsp/nls/benches/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/benches/main.rs -------------------------------------------------------------------------------- /lsp/nls/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/build.rs -------------------------------------------------------------------------------- /lsp/nls/foo-bar-lsp-log.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/foo-bar-lsp-log.log -------------------------------------------------------------------------------- /lsp/nls/src/actions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/actions.rs -------------------------------------------------------------------------------- /lsp/nls/src/analysis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/analysis.rs -------------------------------------------------------------------------------- /lsp/nls/src/background.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/background.rs -------------------------------------------------------------------------------- /lsp/nls/src/codespan_lsp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/codespan_lsp.rs -------------------------------------------------------------------------------- /lsp/nls/src/command.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/command.rs -------------------------------------------------------------------------------- /lsp/nls/src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/config.rs -------------------------------------------------------------------------------- /lsp/nls/src/contracts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/contracts.rs -------------------------------------------------------------------------------- /lsp/nls/src/diagnostic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/diagnostic.rs -------------------------------------------------------------------------------- /lsp/nls/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/error.rs -------------------------------------------------------------------------------- /lsp/nls/src/field_walker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/field_walker.rs -------------------------------------------------------------------------------- /lsp/nls/src/files.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/files.rs -------------------------------------------------------------------------------- /lsp/nls/src/identifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/identifier.rs -------------------------------------------------------------------------------- /lsp/nls/src/incomplete.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/incomplete.rs -------------------------------------------------------------------------------- /lsp/nls/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/main.rs -------------------------------------------------------------------------------- /lsp/nls/src/position.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/position.rs -------------------------------------------------------------------------------- /lsp/nls/src/requests/completion.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/requests/completion.rs -------------------------------------------------------------------------------- /lsp/nls/src/requests/formatting.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/requests/formatting.rs -------------------------------------------------------------------------------- /lsp/nls/src/requests/goto.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/requests/goto.rs -------------------------------------------------------------------------------- /lsp/nls/src/requests/hover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/requests/hover.rs -------------------------------------------------------------------------------- /lsp/nls/src/requests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/requests/mod.rs -------------------------------------------------------------------------------- /lsp/nls/src/requests/rename.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/requests/rename.rs -------------------------------------------------------------------------------- /lsp/nls/src/requests/symbols.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/requests/symbols.rs -------------------------------------------------------------------------------- /lsp/nls/src/server.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/server.rs -------------------------------------------------------------------------------- /lsp/nls/src/term.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/term.rs -------------------------------------------------------------------------------- /lsp/nls/src/trace.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/trace.rs -------------------------------------------------------------------------------- /lsp/nls/src/usage.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/usage.rs -------------------------------------------------------------------------------- /lsp/nls/src/world.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/src/world.rs -------------------------------------------------------------------------------- /lsp/nls/tests/inputs-in-place/yaml/Nls-contracts.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs-in-place/yaml/Nls-contracts.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs-in-place/yaml/contract.ncl: -------------------------------------------------------------------------------- 1 | { 2 | foo | String 3 | } 4 | -------------------------------------------------------------------------------- /lsp/nls/tests/inputs-in-place/yaml/fail.yaml: -------------------------------------------------------------------------------- 1 | foo: 1 2 | -------------------------------------------------------------------------------- /lsp/nls/tests/inputs-in-place/yaml/no-contract.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs-in-place/yaml/no-contract.yml -------------------------------------------------------------------------------- /lsp/nls/tests/inputs-in-place/yaml/pass.yaml: -------------------------------------------------------------------------------- 1 | foo: hi 2 | -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/completion-any-of.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/completion-any-of.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/completion-array.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/completion-array.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/completion-basic.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/completion-basic.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/completion-dict.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/completion-dict.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/completion-field-disambiguation.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/completion-field-disambiguation.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/completion-fun-parameter-contract.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/completion-fun-parameter-contract.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/completion-incomplete-record-field.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/completion-incomplete-record-field.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/completion-incomplete-record-value.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/completion-incomplete-record-value.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/completion-incomplete.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/completion-incomplete.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/completion-inside-enum.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/completion-inside-enum.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/completion-match-typed.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/completion-match-typed.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/completion-match.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/completion-match.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/completion-nested.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/completion-nested.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/completion-patterns-rec.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/completion-patterns-rec.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/completion-patterns.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/completion-patterns.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/diagnostics-array.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/diagnostics-array.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/diagnostics-basic.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/diagnostics-basic.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/diagnostics-import-missing-file.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/diagnostics-import-missing-file.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/diagnostics-import-parse-error.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/diagnostics-import-parse-error.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/diagnostics-import-typecheck-error.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/diagnostics-import-typecheck-error.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/diagnostics-multiple-import-failure.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/diagnostics-multiple-import-failure.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/diagnostics-mutual-import.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/diagnostics-mutual-import.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/diagnostics-parse-and-typecheck-errors.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/diagnostics-parse-and-typecheck-errors.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/diagnostics-recursion.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/diagnostics-recursion.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/diagnostics-successful-import.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/diagnostics-successful-import.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/diagnostics-successful-mutual-import.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/diagnostics-successful-mutual-import.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/diagnostics-successful-typecheck.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/diagnostics-successful-typecheck.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/diagnostics-typecheck.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/diagnostics-typecheck.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/diagnostics-undefined-fields.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/diagnostics-undefined-fields.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/diagnostics-unparseable-type.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/diagnostics-unparseable-type.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/formatting.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/formatting.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/goto-basic.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/goto-basic.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/goto-cross-file.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/goto-cross-file.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/goto-let-block.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/goto-let-block.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/goto-let-rec.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/goto-let-rec.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/goto-multiple.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/goto-multiple.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/goto-pattern.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/goto-pattern.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/goto-perf.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/goto-perf.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/goto-record.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/goto-record.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/goto-recursive.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/goto-recursive.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/goto-scoping.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/goto-scoping.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/hover-basic.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/hover-basic.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/hover-cousin.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/hover-cousin.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/hover-double-def.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/hover-double-def.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/hover-pattern-typed.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/hover-pattern-typed.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/hover-pattern.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/hover-pattern.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/hover-stdlib-type.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/hover-stdlib-type.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/hover_field_typed_block_regression_1574.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/hover_field_typed_block_regression_1574.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/import_external_format.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/import_external_format.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/import_invalidation.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/import_invalidation.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/no-crash-on-pretty-print.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/no-crash-on-pretty-print.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/offsets.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/offsets.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/package-manifest.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/package-manifest.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/rename.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/rename.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/symbols-basic.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/symbols-basic.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/inputs/symbols-recursion.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/inputs/symbols-recursion.ncl -------------------------------------------------------------------------------- /lsp/nls/tests/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/nls/tests/main.rs -------------------------------------------------------------------------------- /lsp/nls/tests/snapshots/main__lsp__nls__tests__inputs__auto-contracts__Nls-contracts.ncl.snap: -------------------------------------------------------------------------------- 1 | --- 2 | source: lsp/nls/tests/main.rs 3 | expression: output 4 | --- 5 | 6 | -------------------------------------------------------------------------------- /lsp/nls/tests/snapshots/main__lsp__nls__tests__inputs__completion-array.ncl.snap: -------------------------------------------------------------------------------- 1 | --- 2 | source: lsp/nls/tests/main.rs 3 | expression: output 4 | --- 5 | [foo] 6 | [bar] 7 | -------------------------------------------------------------------------------- /lsp/nls/tests/snapshots/main__lsp__nls__tests__inputs__diagnostics-successful-import.ncl.snap: -------------------------------------------------------------------------------- 1 | --- 2 | source: lsp/nls/tests/main.rs 3 | expression: output 4 | --- 5 | [] 6 | -------------------------------------------------------------------------------- /lsp/nls/tests/snapshots/main__lsp__nls__tests__inputs__diagnostics-successful-typecheck.ncl.snap: -------------------------------------------------------------------------------- 1 | --- 2 | source: lsp/nls/tests/main.rs 3 | expression: output 4 | --- 5 | [] 6 | -------------------------------------------------------------------------------- /lsp/nls/tests/snapshots/main__lsp__nls__tests__inputs__diagnostics-undefined-fields.ncl.snap: -------------------------------------------------------------------------------- 1 | --- 2 | source: lsp/nls/tests/main.rs 3 | expression: output 4 | --- 5 | [] 6 | -------------------------------------------------------------------------------- /lsp/nls/tests/snapshots/main__lsp__nls__tests__inputs__import_external_format.ncl.snap: -------------------------------------------------------------------------------- 1 | --- 2 | source: lsp/nls/tests/main.rs 3 | expression: output 4 | --- 5 | [] 6 | -------------------------------------------------------------------------------- /lsp/nls/tests/unit_test_resources/closed_file.ncl: -------------------------------------------------------------------------------- 1 | 1 : Number 2 | -------------------------------------------------------------------------------- /lsp/nls/tests/unit_test_resources/imported_yaml.txt: -------------------------------------------------------------------------------- 1 | key: 1 2 | -------------------------------------------------------------------------------- /lsp/vscode-extension/.vscodeignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/vscode-extension/.vscodeignore -------------------------------------------------------------------------------- /lsp/vscode-extension/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/vscode-extension/LICENSE -------------------------------------------------------------------------------- /lsp/vscode-extension/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/vscode-extension/README.md -------------------------------------------------------------------------------- /lsp/vscode-extension/images/nickel-logo-256.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/vscode-extension/images/nickel-logo-256.png -------------------------------------------------------------------------------- /lsp/vscode-extension/language-configuration.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/vscode-extension/language-configuration.json -------------------------------------------------------------------------------- /lsp/vscode-extension/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/vscode-extension/package.json -------------------------------------------------------------------------------- /lsp/vscode-extension/src/extension.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/vscode-extension/src/extension.ts -------------------------------------------------------------------------------- /lsp/vscode-extension/src/toolchain.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/vscode-extension/src/toolchain.ts -------------------------------------------------------------------------------- /lsp/vscode-extension/syntaxes/nickel.tmLanguage.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/vscode-extension/syntaxes/nickel.tmLanguage.json -------------------------------------------------------------------------------- /lsp/vscode-extension/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/vscode-extension/tsconfig.json -------------------------------------------------------------------------------- /lsp/vscode-extension/yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/lsp/vscode-extension/yarn.lock -------------------------------------------------------------------------------- /nickel/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/nickel/Cargo.toml -------------------------------------------------------------------------------- /nickel/capi-tests/run_tests.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/nickel/capi-tests/run_tests.c -------------------------------------------------------------------------------- /nickel/cbindgen.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/nickel/cbindgen.toml -------------------------------------------------------------------------------- /nickel/src/capi.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/nickel/src/capi.rs -------------------------------------------------------------------------------- /nickel/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/nickel/src/lib.rs -------------------------------------------------------------------------------- /notes/error-reporting-lib-choice.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/notes/error-reporting-lib-choice.md -------------------------------------------------------------------------------- /notes/fixing-sealing-and-recursive-records.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/notes/fixing-sealing-and-recursive-records.md -------------------------------------------------------------------------------- /notes/intersection-and-union-types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/notes/intersection-and-union-types.md -------------------------------------------------------------------------------- /notes/lossless-ast-parsing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/notes/lossless-ast-parsing.md -------------------------------------------------------------------------------- /notes/lsp-semantics.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/notes/lsp-semantics.md -------------------------------------------------------------------------------- /notes/partial-parsing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/notes/partial-parsing.md -------------------------------------------------------------------------------- /notes/standardization-meeting-07.12.21.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/notes/standardization-meeting-07.12.21.md -------------------------------------------------------------------------------- /notes/sum-as-dependent-records.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/notes/sum-as-dependent-records.md -------------------------------------------------------------------------------- /notes/trees-that-grow-proc-macro.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/notes/trees-that-grow-proc-macro.md -------------------------------------------------------------------------------- /notes/typechecking.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/notes/typechecking.md -------------------------------------------------------------------------------- /package/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/Cargo.toml -------------------------------------------------------------------------------- /package/src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/src/config.rs -------------------------------------------------------------------------------- /package/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/src/error.rs -------------------------------------------------------------------------------- /package/src/index/lock.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/src/index/lock.rs -------------------------------------------------------------------------------- /package/src/index/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/src/index/mod.rs -------------------------------------------------------------------------------- /package/src/index/path.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/src/index/path.rs -------------------------------------------------------------------------------- /package/src/index/scrape.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/src/index/scrape.rs -------------------------------------------------------------------------------- /package/src/index/serialize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/src/index/serialize.rs -------------------------------------------------------------------------------- /package/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/src/lib.rs -------------------------------------------------------------------------------- /package/src/lock.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/src/lock.rs -------------------------------------------------------------------------------- /package/src/manifest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/src/manifest.rs -------------------------------------------------------------------------------- /package/src/resolve.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/src/resolve.rs -------------------------------------------------------------------------------- /package/src/snapshot.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/src/snapshot.rs -------------------------------------------------------------------------------- /package/src/version.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/src/version.rs -------------------------------------------------------------------------------- /package/tests/git_update.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/tests/git_update.rs -------------------------------------------------------------------------------- /package/tests/index.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/tests/index.rs -------------------------------------------------------------------------------- /package/tests/integration.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/tests/integration.rs -------------------------------------------------------------------------------- /package/tests/integration/inputs/eval/multiple-versions/main.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/tests/integration/inputs/eval/multiple-versions/main.ncl -------------------------------------------------------------------------------- /package/tests/integration/inputs/git/branch-leaf/Nickel-pkg.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/tests/integration/inputs/git/branch-leaf/Nickel-pkg.ncl -------------------------------------------------------------------------------- /package/tests/integration/inputs/git/branch-leaf/branch.txt: -------------------------------------------------------------------------------- 1 | cành 2 | -------------------------------------------------------------------------------- /package/tests/integration/inputs/git/leaf/Nickel-pkg.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/tests/integration/inputs/git/leaf/Nickel-pkg.ncl -------------------------------------------------------------------------------- /package/tests/integration/inputs/git/tag-leaf/Nickel-pkg.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/tests/integration/inputs/git/tag-leaf/Nickel-pkg.ncl -------------------------------------------------------------------------------- /package/tests/integration/inputs/git/tag-leaf/tag.txt: -------------------------------------------------------------------------------- 1 | mytag 2 | -------------------------------------------------------------------------------- /package/tests/integration/inputs/git/with-subdirs/Nickel-pkg.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/tests/integration/inputs/git/with-subdirs/Nickel-pkg.ncl -------------------------------------------------------------------------------- /package/tests/integration/inputs/index/github/example/leaf/0.1.0/main.ncl: -------------------------------------------------------------------------------- 1 | { 2 | version = "0.1.0" 3 | } 4 | -------------------------------------------------------------------------------- /package/tests/integration/inputs/index/github/example/leaf/0.1.1/main.ncl: -------------------------------------------------------------------------------- 1 | { 2 | version = "0.1.1" 3 | } 4 | -------------------------------------------------------------------------------- /package/tests/integration/inputs/index/github/example/leaf/0.2.0/main.ncl: -------------------------------------------------------------------------------- 1 | { 2 | version = "0.2.0" 3 | } 4 | -------------------------------------------------------------------------------- /package/tests/integration/inputs/index/github/example/leaf/0.2.0/subdir/main.ncl: -------------------------------------------------------------------------------- 1 | { 2 | version = "0.2.0/subdir" 3 | } 4 | -------------------------------------------------------------------------------- /package/tests/integration/inputs/path/git-path-dep/Nickel-pkg.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/tests/integration/inputs/path/git-path-dep/Nickel-pkg.ncl -------------------------------------------------------------------------------- /package/tests/integration/inputs/path/leaf/Nickel-pkg.ncl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/tests/integration/inputs/path/leaf/Nickel-pkg.ncl -------------------------------------------------------------------------------- /package/tests/lock_preference.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/tests/lock_preference.rs -------------------------------------------------------------------------------- /package/tests/snapshots/git_update__no_fetch_if_exact_match.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/tests/snapshots/git_update__no_fetch_if_exact_match.snap -------------------------------------------------------------------------------- /package/tests/up_to_date.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/tests/up_to_date.rs -------------------------------------------------------------------------------- /package/tests/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/package/tests/util.rs -------------------------------------------------------------------------------- /parser/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/Cargo.toml -------------------------------------------------------------------------------- /parser/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/build.rs -------------------------------------------------------------------------------- /parser/src/ast/alloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/ast/alloc.rs -------------------------------------------------------------------------------- /parser/src/ast/builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/ast/builder.rs -------------------------------------------------------------------------------- /parser/src/ast/combine.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/ast/combine.rs -------------------------------------------------------------------------------- /parser/src/ast/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/ast/mod.rs -------------------------------------------------------------------------------- /parser/src/ast/pattern/bindings.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/ast/pattern/bindings.rs -------------------------------------------------------------------------------- /parser/src/ast/pattern/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/ast/pattern/mod.rs -------------------------------------------------------------------------------- /parser/src/ast/pretty.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/ast/pretty.rs -------------------------------------------------------------------------------- /parser/src/ast/primop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/ast/primop.rs -------------------------------------------------------------------------------- /parser/src/ast/record.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/ast/record.rs -------------------------------------------------------------------------------- /parser/src/ast/typ.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/ast/typ.rs -------------------------------------------------------------------------------- /parser/src/combine.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/combine.rs -------------------------------------------------------------------------------- /parser/src/environment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/environment.rs -------------------------------------------------------------------------------- /parser/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/error.rs -------------------------------------------------------------------------------- /parser/src/files.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/files.rs -------------------------------------------------------------------------------- /parser/src/grammar.lalrpop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/grammar.lalrpop -------------------------------------------------------------------------------- /parser/src/identifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/identifier.rs -------------------------------------------------------------------------------- /parser/src/lexer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/lexer.rs -------------------------------------------------------------------------------- /parser/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/lib.rs -------------------------------------------------------------------------------- /parser/src/metrics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/metrics.rs -------------------------------------------------------------------------------- /parser/src/position.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/position.rs -------------------------------------------------------------------------------- /parser/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/tests.rs -------------------------------------------------------------------------------- /parser/src/traverse.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/traverse.rs -------------------------------------------------------------------------------- /parser/src/typ.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/typ.rs -------------------------------------------------------------------------------- /parser/src/uniterm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/uniterm.rs -------------------------------------------------------------------------------- /parser/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/parser/src/utils.rs -------------------------------------------------------------------------------- /py-nickel/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/py-nickel/Cargo.toml -------------------------------------------------------------------------------- /py-nickel/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/py-nickel/README.md -------------------------------------------------------------------------------- /py-nickel/build.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | pyo3_build_config::add_extension_module_link_args(); 3 | } 4 | -------------------------------------------------------------------------------- /py-nickel/pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/py-nickel/pyproject.toml -------------------------------------------------------------------------------- /py-nickel/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/py-nickel/src/lib.rs -------------------------------------------------------------------------------- /rfcs/001-overriding.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/rfcs/001-overriding.md -------------------------------------------------------------------------------- /rfcs/002-merge-types-terms-syntax.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/rfcs/002-merge-types-terms-syntax.md -------------------------------------------------------------------------------- /rfcs/004-typechecking.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/rfcs/004-typechecking.md -------------------------------------------------------------------------------- /rfcs/005-metadata-rework.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/rfcs/005-metadata-rework.md -------------------------------------------------------------------------------- /rfcs/006-package-management.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/rfcs/006-package-management.md -------------------------------------------------------------------------------- /rfcs/007-bytecode-interpreter.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/rfcs/007-bytecode-interpreter.md -------------------------------------------------------------------------------- /rfcs/008-public-api.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/rfcs/008-public-api.md -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- 1 | [toolchain] 2 | channel = "1.88.0" 3 | -------------------------------------------------------------------------------- /scripts/release.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/scripts/release.sh -------------------------------------------------------------------------------- /scripts/shrink_archive.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/scripts/shrink_archive.sh -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/shell.nix -------------------------------------------------------------------------------- /spec/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/spec/README.md -------------------------------------------------------------------------------- /spec/type-system/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/spec/type-system/.gitignore -------------------------------------------------------------------------------- /spec/type-system/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/spec/type-system/Makefile -------------------------------------------------------------------------------- /spec/type-system/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/spec/type-system/README.md -------------------------------------------------------------------------------- /spec/type-system/flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/spec/type-system/flake.lock -------------------------------------------------------------------------------- /spec/type-system/flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/spec/type-system/flake.nix -------------------------------------------------------------------------------- /spec/type-system/grammar.ott: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/spec/type-system/grammar.ott -------------------------------------------------------------------------------- /spec/type-system/notes/examples.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/spec/type-system/notes/examples.md -------------------------------------------------------------------------------- /spec/type-system/rules.ott: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/spec/type-system/rules.ott -------------------------------------------------------------------------------- /utils/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/utils/Cargo.toml -------------------------------------------------------------------------------- /utils/src/annotated_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/utils/src/annotated_test.rs -------------------------------------------------------------------------------- /utils/src/bench.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/utils/src/bench.rs -------------------------------------------------------------------------------- /utils/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/utils/src/lib.rs -------------------------------------------------------------------------------- /utils/src/project_root.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/utils/src/project_root.rs -------------------------------------------------------------------------------- /utils/src/test_program.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/utils/src/test_program.rs -------------------------------------------------------------------------------- /vector/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/vector/Cargo.toml -------------------------------------------------------------------------------- /vector/benches/array.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/vector/benches/array.rs -------------------------------------------------------------------------------- /vector/benches/rpds_comparison.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/vector/benches/rpds_comparison.rs -------------------------------------------------------------------------------- /vector/benches/slice.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/vector/benches/slice.rs -------------------------------------------------------------------------------- /vector/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/vector/src/lib.rs -------------------------------------------------------------------------------- /vector/src/slice.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/vector/src/slice.rs -------------------------------------------------------------------------------- /vector/src/vector.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/vector/src/vector.rs -------------------------------------------------------------------------------- /vector/tests/arbtest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/vector/tests/arbtest.rs -------------------------------------------------------------------------------- /wasm-repl/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tweag/nickel/HEAD/wasm-repl/Cargo.toml -------------------------------------------------------------------------------- /wasm-repl/src/lib.rs: -------------------------------------------------------------------------------- 1 | pub use nickel_lang_core::*; 2 | --------------------------------------------------------------------------------