kkc
← Back
↑ Home
📄
0_dashtest.kkc
📄
0_trailing-dash.kkc
📄
1_t00_emptyfile.kkc
📄
1_t01.kkc
📄
1_t03.kkc
📄
1_t04.kkc
📄
1_t05.kkc
📄
1_t06.kkc
📄
1_t07.kkc
📄
1_t09.kkc
📄
1_t10.kkc
📄
1_t10e.kkc
📄
1_t11.kkc
📄
1_t14_basic-tvar-binding.kkc
📄
1_t15_inner-function-not-generalizing-outer-tvar.kkc
📄
1_t16_env-expansion.kkc
📄
1_t17_env-expansion-but-eliminated.kkc
📄
1_t18_env-expansion-but-eliminated-outer.kkc
📄
1_t19_like-t15-but-with-specified-parameters.kkc
📄
1_t20_incorrect-envs-in-ff.kkc
📄
1_t21_constructor-unions-not-unifying.kkc
📄
1_t22_duplicate-functions-in-environments.kkc
📄
1_t23_duplicate-functions-in-environments-with-environments-on-their-own.kkc
📄
1_t24_inner-function-calling-outer-functions.kkc
📄
1_t25_inner-functions-calling-nested-outer-functions.kkc
📄
1_t26_nested-functions-inside-nested-functions-and-stuff.kkc
📄
1_t27_basic-while-statement.kkc
📄
1_t28_cascading-union-dependencies.kkc
📄
1_t29_returning-env-expanded-function.kkc
📄
1_t30_local-datatypes-with-tvars-escaping-not-record.kkc
📄
1_t31_inner-function-outer-tvar-environment-check.kc
📄
1_t32_environment-size-check.kc
📄
1_t33_assoc-in-assoc-function.kc
📄
1_t34_two-different-instantiations-of-inner-function-returned-at-the-same-time-from-outer-function.kc
📄
1_t35_two-different-instantiations-of-inner-function-returned-at-the-same-time-from-outer-function-twice.kc
📄
1_t36_instantiate-and-return-an-inner-function-which-depends-on-other-functions-which-depend-on-the-outer-functions-polymorphic-tvar.kc
📄
1_test.kkc
📄
1_test1.kkc
📄
1_test2.kkc
📄
1_test3.kkc
📄
2_t1.kkc
📄
2_t2.kkc
📄
2_t3.kkc
📄
2_t4.kkc
📄
2_t5.kkc
📄
2_t6.kkc
📄
3_t01_basic-enum.kkc
📄
3_t02_deep-enum.kkc
📄
3_t03_struct.kkc
📄
3_t04_polymorphic-struct.kkc
📄
3_t05_match-on-constructor.kkc
📄
3_t06_struct-with-functions.kkc
📄
3_t07_struct-with-functions-with-bigger-unions.kkc
📄
3_t08_struct-with-functions-exact-types.kkc
📄
3_t09_struct-with-functions-exact-types-bigger-unions.kkc
📄
3_t10_nested-tuples-and-fun-functions.kkc
📄
3_t11_tree.kkc
📄
3_t12_function_pattern_matching.kkc
📄
3_t13_basic-fail-function-pattern-matching.kkc
📄
3_t14_nested-constructors-in-function-pattern-matching-and-adding-types.kkc
📄
4_t01_accepts-a-file-consisting-only-of-a-single-record.kkc
📄
4_t02_accepts-a-file-consisting-only-of-a-single-record-with-composite-types.kkc
📄
4_t03_print-record-fields-through-a-field-accessor.kkc
📄
4_t04_print-record-fields-with-composite-types-through-a-field-accessor.kkc
📄
4_t05_nested-records-and-nested-access.kkc
📄
4_t06_long-nested-record-chain-with-different-field-names.kkc
📄
4_t07_long-nested-record-chain-with-same-field-names.kkc
📄
4_t08_local-records-fields-are-still-accessible.kkc
📄
4_t09_partial-record-deconstruction-works-with-basic-types.kkc
📄
4_t10_full-record-deconstruction-works-with-basic-types.kkc
📄
4_t11_record-deconstruction-with-adts.kkc
📄
4_t12_nested-deconstruction-of-records.kkc
📄
4_t13_can-update-records.kkc
📄
4_t14_can-update-records-in-a-function.kkc
📄
4_t15_subscript-and-call-mixing-and-functions-in-structures.kkc
📄
4_t16_we-can-emulate-typeclasses-through-the-use-of-records.kkc
📄
4_t17_lambda-ambiguous-record-struct.kkc
📄
4_t18_local-record-type-returned-and-accessed-and-compared.kkc
📄
4_t19_anonymous-record-polymorphically-turns-to-named-record.kc
📄
4_t20_anonymous-record-polymorphically-turns-to-anonymous-record.kc
📄
4_t21_total-record-info-propagates-through-tvars.kc
📄
5_t01_single-class-single-instance.kc.kkc
📄
5_t02_single-class-two-instances.kc.kkc
📄
5_t03_single-class-single-instance-with-environment.kc.kkc
📄
5_t04_single-class-two-instances-one-with-environment.kc.kkc
📄
5_t05_single-class-three-instances-two-with-environment.kc.kkc
📄
5_t06_basic-typeclass-with-instances-which-reference-last-ones.kc.kkc
📄
5_t07_generalize-function-over-typeclass-constraints.kc.kkc
📄
5_t08_generalize-function-over-typeclass-constraints-with-multiple-instances.kc.kkc
📄
5_t09_generalize-functions-over-typeclass-constraints-with-multiple-instances-one-defined-after-general-function.kc.kkc
📄
5_t10_generalize-functions-over-typeclass-constraints-with-multiple-instances-functions-reused-at-different-levels.kc.kkc
📄
5_t11_recursive-class-calls.kc.kkc
📄
5_t12_dlass-function-recursion-of-both-polymorphic-parameters.kc.kkc
📄
5_t13_outer-class-and-inner-instance-used.kc.kkc
📄
5_t14_inner-class-and-inner-instance-used-with-env-from-various-places-of-course.kc.kkc
📄
5_t15_outer-class-and-inner-instance-using-polymorphic-function-from-outside.kc.kkc
📄
5_t16_outer-class-and-two-different-inner-instances-using-polymorphic-function-from-outside.kc.kkc
📄
5_t17_outer-class-and-two-of-the-same-inner-instances-using-polymorphic-function-from-outside.kc.kkc
📄
5_t18_outer-class-and-two-of-the-same-inner-instances-using-polymorphic-function-from-inside.kc.kkc
📄
5_t19_outer-class-and-two-different-inner-instances-using-a-nonlocal-polymorphic-function.kc.kkc
📄
5_t20_outer-class-and-two-of-the-same-inner-instance-using-a-nonlocal-polymorphic-function.kc.kkc
📄
5_t21_outer-class-and-two-different-inner-instances-using-an-inner-polymorphic-function.kc.kkc
📄
5_t22_use-outer-class-and-outer-instance-with-environment-inside.kc.kkc
📄
5_t23_use-outer-class-and-nonlocal-instance-with-nonlocal-polymorphic-function.kc.kkc
📄
5_t24_use-nonlocal-class-and-nonlocal-instance-with-nonlocal-polymorphic-function.kc.kkc
📄
5_t25_inner-class-inner-instance-and-return-this-function-outside.kc.kkc
📄
5_t26_outer-class-inner-instance-and-return-this-function-outside.kc.kkc
📄
5_t27_late-env-init-case-1.kc.kkc
📄
5_t28_late-env-init-case-2.kc.kkc
📄
5_t29_late-env-init-case-3.kc.kkc
📄
5_t30_late-env-init-case-3-point-5.kc.kkc
📄
5_t31_late-env-init-case-4.kc.kkc
📄
5_t32_explicitly-check-that-multiple-same-ucis-are-monomorphized-correctly.kc.kkc
📄
5_t33_late-env-init-case-3-point-25.kc.kkc
📄
5_t34_late-env-init-case-5.kc.kkc
📄
5_t35_late-env-init-case-5-ultra.kc.kkc
📄
5_t36_inner-recursive-instance-outer-non-recursive-instance.kc.kkc
📄
5_t37_inner-recursive-instance-outer-non-recursive-instance-with-env.kc.kkc
📄
5_t38_self-in-class-is-packed-into-another-thing.kc.kkc
📄
5_t39_self-in-class-is-packed-into-another-thing-with-env.kc.kkc
📄
5_t40_self-in-class-is-packed-into-another-thing-but-recursive.kc.kkc
📄
5_t41_self-in-class-is-packed-into-another-thing-but-recursive-with-env.kc.kkc
📄
5_t42_basic-class-constraint-on-function.kc.kkc
📄
5_t43_double-class-constraints-on-same-variable-on-function.kc.kkc
📄
5_t44_big-iterator-test-also-tests-dependent-assocs.kc.kkc
📄
5_t45_we-shouldnt-be-getting-tvars-from-instances-in-digthroughvar.kc.kkc
📄
5_t46_associated-type-causes-an-inner-parameter-of-a-function-to-change-but-the-union-stays-the-same.kc.kkc
📄
5_t47_must-recursively-add-instantiations-to-enclosing-env-for-an-instantiated-instance-function.kc.kkc
📄
5_t48_must-add-class-insts-to-lambda-envs.kc.kkc
📄
5_t49_check-if-we-are-including-environments-in-scheme.kc
📄
5_t50_instance-ofd-class-in-a-datatype-still-resolves-at-function-callsite-and-not-during-construction.kc
📄
5_t51_assoc-in-assoc-function-with-class.kc
📄
5_t52_deduping-the-environment-should-turn-classfuns-into-funs.kc
📄
6_t01_execution-maps-function-during-instantiation.kc