Skip to content
This repository was archived by the owner on Nov 26, 2020. It is now read-only.

Commit e122b67

Browse files
committed
Update for PureScript 0.11
1 parent c0b986b commit e122b67

File tree

3 files changed

+10
-10
lines changed

3 files changed

+10
-10
lines changed

.travis.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
language: node_js
22
dist: trusty
33
sudo: required
4-
node_js: 6
4+
node_js: stable
55
env:
66
- PATH=$HOME/purescript:$PATH
77
install:

package.json

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,11 @@
22
"private": true,
33
"scripts": {
44
"clean": "rimraf output && rimraf .pulp-cache",
5-
"build": "pulp build --censor-lib --strict"
5+
"build": "pulp build -- --censor-lib --strict"
66
},
77
"devDependencies": {
8-
"pulp": "^9.0.1",
9-
"purescript-psa": "^0.3.9",
10-
"rimraf": "^2.5.0"
8+
"pulp": "^10.0.4",
9+
"purescript-psa": "^0.5.0-rc.1",
10+
"rimraf": "^2.6.1"
1111
}
1212
}

src/Type/Proxy.purs

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -48,11 +48,11 @@
4848
-- | ```
4949
module Type.Proxy where
5050

51-
-- | Value proxy for kind `*` types.
51+
-- | Value proxy for kind `Type` types.
5252
data Proxy a = Proxy
5353

54-
-- | Value proxy for kind `* -> *` types.
55-
data Proxy2 (a :: * -> *) = Proxy2
54+
-- | Value proxy for kind `Type -> Type` types.
55+
data Proxy2 (a :: Type -> Type) = Proxy2
5656

57-
-- | Value proxy for kind `* -> * -> *` types.
58-
data Proxy3 (a :: * -> * -> *) = Proxy3
57+
-- | Value proxy for kind `Type -> Type -> Type` types.
58+
data Proxy3 (a :: Type -> Type -> Type) = Proxy3

0 commit comments

Comments
 (0)