summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
2a5b500)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
# div' (div' 12 3) 2;;
Characters 4-14:
div' (div' 12 3) 2;;
# div' (div' 12 3) 2;;
Characters 4-14:
div' (div' 12 3) 2;;
Error: This expression has type int option
but an expression was expected of type int
*)
Error: This expression has type int option
but an expression was expected of type int
*)