~singpolyma/dhall-ruby

ref: 2b8f19b0c9e85cb9d8b9efb8bff713834b537590 dhall-ruby/test/typechecker/gen -rwxr-xr-x 487 bytes
2b8f19b0Stephen Paul Weber Working typechecker 3 years ago
                                                                                
1
2
3
4
5
6
7
8
9
10
#!/bin/sh

cp -r "$(git root)"/dhall-lang/tests/typecheck/success "$(git root)"/test/typechecker/success/standard
cp -r "$(git root)"/dhall-lang/tests/typecheck/failure "$(git root)"/test/typechecker/failure/standard

cd "$(git root)"/test/typechecker/success/standard
find . -name '*.dhall' -exec "$(git root)"/test/normalization/dhall-encode '{}' \;

cd "$(git root)"/test/typechecker/failure/standard
find . -name '*.dhall' -exec "$(git root)"/test/normalization/dhall-encode '{}' \;