Dependencies for Hoed-0.3.6

library
hoed-examples-Raincat
hoed-examples-FPretty_indents_too_much
hoed-examples-FPretty_indents_too_much__CC
hoed-examples-Stern-Brocot
hoed-examples-Queens_v1__with_properties
hoed-examples-Queens_v2__with_properties
hoed-examples-Queens_v3__with_properties
hoed-examples-Queens_v4_defect_in_filter__with_properties
hoed-examples-filter__with_properties
hoed-examples-Rot13
hoed-examples-Salary
hoed-examples-ZLang_Defect-1
hoed-examples-ZLang_Defect-2
hoed-examples-ZLang_Defect-3
hoed-examples-Nub-defective-sort__with_properties
hoed-examples-Insertion_Sort_elements_disappear
hoed-examples-XMonad_changing_focus_duplicates_windows
hoed-examples-XMonad_changing_focus_duplicates_windows__test_only
hoed-examples-XMonad_changing_focus_duplicates_windows__CC
hoed-examples-XMonad_changing_focus_duplicates_windows__with_properties
hoed-examples-SummerSchool_compiler_does_not_terminate
hoed-examples-SummerSchool_compiler_does_not_terminate__with_properties
hoed-examples-CNF_unsound_de_Morgan__with_properties
  • if flag(buildpropexamples)
    else
    • buildable: False
hoed-examples-Digraph_not_data_invariant__with_properties
hoed-examples-Simple_higher-order_function
hoed-examples-Parity_test
hoed-examples-Expression_simplifier
hoed-examples-Expression_simplifier__with_properties
hoed-tests-Prop-t0
  • if flag(validateprop)
    else
    • buildable: False
hoed-tests-Prop-t1
  • if flag(validateprop)
    else
    • buildable: False
hoed-tests-Prop-t2
hoed-tests-Prop-t3
hoed-tests-Prop-t4
hoed-tests-Prop-t5
hoed-tests-ParEq
hoed-tests-Generic-r0
  • if flag(validategeneric)
    else
    • buildable: False
hoed-tests-Generic-t0
  • if flag(validategeneric)
    else
    • buildable: False
hoed-tests-Generic-r1
  • if flag(validategeneric)
    else
    • buildable: False
hoed-tests-Generic-t1
  • if flag(validategeneric)
    else
    • buildable: False
hoed-tests-Generic-r2
  • if flag(validategeneric)
    else
    • buildable: False
hoed-tests-Generic-t2
  • if flag(validategeneric)
    else
    • buildable: False
hoed-tests-Generic-r3
  • if flag(validategeneric)
    else
    • buildable: False
hoed-tests-Generic-t3
  • if flag(validategeneric)
    else
    • buildable: False
hoed-tests-Pure-t1
  • if flag(validatepure)
    else
    • buildable: False
hoed-tests-Pure-t2
  • if flag(validatepure)
    else
    • buildable: False
hoed-tests-Pure-t3
  • if flag(validatepure)
    else
    • buildable: False
hoed-tests-Pure-t4
  • if flag(validatepure)
    else
    • buildable: False
hoed-tests-Pure-t5
  • if flag(validatepure)
    else
    • buildable: False
hoed-tests-Pure-t6
  • if flag(validatepure)
    else
    • buildable: False
hoed-tests-Pure-t7
  • if flag(validatepure)
    else
    • buildable: False
hoed-tests-Stk-DoublingServer
hoed-tests-Stk-Insort2
hoed-tests-Stk-Example1
hoed-tests-Stk-Example3
hoed-tests-Stk-Example4
hoed-tests-Stk-IndirectRecursion

Flags

NameDescriptionDefaultType
buildpropexamplesBuild example executables.DisabledAutomatic
buildexamplesBuild example executables.DisabledAutomatic
validatepureBuild test cases to validate Hoed-pure.DisabledAutomatic
validatestkBuild test cases to validate Hoed-stk.DisabledAutomatic
validategenericBuild test cases to validate deriving Observable for Generic types.DisabledAutomatic
validatepropBuild test cases to validate deriving judgements with properties.DisabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info