Skip to content

raise (Failure ..) -> failwith ..#245

Merged
rgrinberg merged 1 commit into
mirage:masterfrom
rgrinberg:raise_failure_style
Jan 27, 2015
Merged

raise (Failure ..) -> failwith ..#245
rgrinberg merged 1 commit into
mirage:masterfrom
rgrinberg:raise_failure_style

Commits

Commits on Jan 27, 2015