Skip to content
This repository was archived by the owner on Mar 25, 2021. It is now read-only.

Commit e11b0a5

Browse files
authored
Merge pull request #38 from purescript/update-ci
Update CI
2 parents aae27ba + 714e77f commit e11b0a5

File tree

2 files changed

+5
-5
lines changed

2 files changed

+5
-5
lines changed

.travis.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,8 @@ node_js: stable
55
env:
66
- PATH=$HOME/purescript:$PATH
77
install:
8-
- TAG=$(wget -q -O - https://github.com/purescript/purescript/releases/latest --server-response --max-redirect 0 2>&1 | sed -n -e 's/.*Location:.*tag\///p')
9-
- wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
8+
- TAG=$(basename $(curl --location --silent --output /dev/null -w %{url_effective} https://github.com/purescript/purescript/releases/latest))
9+
- curl --location --output $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
1010
- tar -xvf $HOME/purescript.tar.gz -C $HOME/
1111
- chmod a+x $HOME/purescript
1212
- npm install -g bower

test/Main.purs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -164,16 +164,16 @@ main = do
164164
assert $ top == D
165165

166166
log "Checking composite bottom"
167-
assert $ bottom == None :: Option SimpleBounded
167+
assert $ bottom == (None :: Option SimpleBounded)
168168

169169
log "Checking composite top"
170170
assert $ top == Some D
171171

172172
log "Checking product bottom"
173-
assert $ bottom == Pair Zero A :: Pair Bit SimpleBounded
173+
assert $ bottom == (Pair Zero A :: Pair Bit SimpleBounded)
174174

175175
log "Checking product top"
176-
assert $ top == Pair One D :: Pair Bit SimpleBounded
176+
assert $ top == (Pair One D :: Pair Bit SimpleBounded)
177177

178178
log "Checking simple pred bottom"
179179
assert $ pred (bottom :: SimpleBounded) == Nothing

0 commit comments

Comments
 (0)