• Raphael Rieu-Helft's avatar
    Add support for partial functions · 17ed1270
    Raphael Rieu-Helft authored
    Program functions can be declared as partial with "let/val partial".
    Similarly to "diverges", partial code cannot be ghost, however it does not need to be
    explicitly specified as partial.
    
    Fixes #184.
    17ed1270
Name
Last commit
Last update
..
20610.mlw Loading commit data...
24_coercions.mlw Loading commit data...
43_range_module.mlw Loading commit data...
72_coercions_ho.mlw Loading commit data...
72_coercions_ho2.mlw Loading commit data...
algebraic1.why Loading commit data...
alias1.why Loading commit data...
already_theory1.why Loading commit data...
already_theory2.why Loading commit data...
clash_namespace1.why Loading commit data...
clash_type6.why Loading commit data...
clash_type7.why Loading commit data...
coercions.mlw Loading commit data...
partial.mlw Loading commit data...
uses1.why Loading commit data...
wf_types1.why Loading commit data...