Skip to content

Instantly share code, notes, and snippets.

@japesinator
Created April 2, 2015 14:34
Show Gist options
  • Save japesinator/cf3ec7f1a986d55b2c4a to your computer and use it in GitHub Desktop.
Save japesinator/cf3ec7f1a986d55b2c4a to your computer and use it in GitHub Desktop.
$ make test
[...]
Ran interactive005...FAILURE
13a14,15
> IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
> PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS BE
make: *** [interactive005.test] Error 1
$ cd test/interactive005
$ diff <(./run) expected
1d0
< Type checking ./interactive005.idr
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment