• 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
..
README Loading commit data...
py_ast.ml Loading commit data...
py_lexer.mll Loading commit data...
py_main.ml Loading commit data...
py_parser.mly Loading commit data...
test.py Loading commit data...