Revision - cd20f0c - Fixed for.hs todo test.

Revision cd20f0cdff4d5cbcebe9aaf7e7d3db00d9dcdbb0 authored by mkolosick on 09 September 2019, 21:24:19 UTC, committed by mkolosick on 09 September 2019, 21:24:19 UTC

Fixed for.hs todo test.

Needed to pull loop invariant into constraint on
implicit parameter of callback.

1 parent 1a405c6

Files
Changes

File	Mode	Size
Tests
Main.hs	-rw-r--r--	1.7 KB

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...