diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-04-27 08:25:32 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-27 08:25:32 +0200 |
commit | a441eff586ac88fa1b9b39988f2bc04f17cded0d (patch) | |
tree | 632fb264aa84cb8e04e340c2e2f0090f97a33a67 /lambdacube-compiler.cabal | |
parent | 0aad6613bb6af8c8ba59bf76f8736b5f433657aa (diff) |
refactor implicit forall handling
Diffstat (limited to 'lambdacube-compiler.cabal')
-rw-r--r-- | lambdacube-compiler.cabal | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lambdacube-compiler.cabal b/lambdacube-compiler.cabal index a6841acb..6f320a8c 100644 --- a/lambdacube-compiler.cabal +++ b/lambdacube-compiler.cabal | |||
@@ -83,7 +83,7 @@ library | |||
83 | mtl >=2.2 && <2.3, | 83 | mtl >=2.2 && <2.3, |
84 | megaparsec >= 4.4.0 && <4.5, | 84 | megaparsec >= 4.4.0 && <4.5, |
85 | wl-pprint >=1.2 && <1.3, | 85 | wl-pprint >=1.2 && <1.3, |
86 | --pretty-show >= 1.6.9, | 86 | pretty-show >= 1.6.9, |
87 | text >= 1.2 && <1.3, | 87 | text >= 1.2 && <1.3, |
88 | lambdacube-ir == 0.4.*, | 88 | lambdacube-ir == 0.4.*, |
89 | vector >= 0.11 && <0.12 | 89 | vector >= 0.11 && <0.12 |