-
Notifications
You must be signed in to change notification settings - Fork 5
/
liquid.sh
executable file
·13 lines (12 loc) · 809 Bytes
/
liquid.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
#!/usr/bin/env bash
stack exec -- liquid --no-adt -i src src/Data/VerifiedEq.hs
stack exec -- liquid --no-adt -i src src/Data/Iso.hs
stack exec -- liquid --no-adt -i src src/Data/VerifiedEq/Instances/Contra.hs
stack exec -- liquid --no-adt -i src src/Data/VerifiedEq/Instances/Generics.hs --compile-spec
stack exec -- liquid --no-adt -i src src/Data/VerifiedEq/Instances/Iso.hs
stack exec -- liquid --no-adt -i src src/Data/VerifiedEq/Instances/Sum.hs
stack exec -- liquid --no-adt -i src src/Data/VerifiedEq/Instances/Prod.hs
stack exec -- liquid --no-adt -i src src/Data/VerifiedEq/Instances.hs
stack exec -- liquid --no-adt -i src src/Data/VerifiedOrd.hs
stack exec -- liquid --no-adt -i src src/Data/VerifiedOrd/Instances/Sum.hs
stack exec -- liquid --no-adt -i src src/Data/VerifiedOrd/Instances/Prod.hs