Created
March 18, 2014 23:03
-
-
Save joneshf/9631682 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
➜ inquire.js git:(master) ✗ grunt | |
Running "purescript:compile" (purescript) task | |
>> Error creating file lib/inquire.js | |
>> Error in declaration showInquire_show: | |
>> Error checking type of term \_1 -> case _1 of { (Inquire.EmptyAnd ) -> "" ; (Inquire.EmptyOr ) -> "" ; (Inquire.Pred (k) (r) (v : vs)) -> Prelude.(++)(Inquire.encodeURIComponent(Prelude.show(k)))(Prelude.(++)(Prelude.show(r))(Prelude.show(Data.Array.(:)(v)(vs)))) ; (Inquire.Pred (k : ks) (r) (v)) -> Prelude.(++)(Prelude.show(Data.Array.(:)(k)(ks)))(Prelude.(++)(Prelude.show(r))(Inquire.encodeURIComponent(Prelude.show(v)))) ; (Inquire.Pred (k) (r) (v)) -> Prelude.(++)(Inquire.encodeURIComponent(Prelude.show(k)))(Prelude.(++)(Prelude.show(r))(Inquire.encodeURIComponent(Prelude.show(v)))) ; (Inquire.Junc (l@Inquire.Pred (_) (_) (_)) (o) (r@Inquire.Pred (_) (_) (_))) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc (l@Inquire.Pred (_) (_) (_)) (o) (r@Inquire.Junc (_) (o') (_))) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc (l@Inquire.Junc (_) (o) (_)) (o') (r@Inquire.Pred (_) (_) (_))) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc (l@Inquire.Pred (_) (_) (_)) (o) (r)) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))) ; (Inquire.Junc (l) (o) (r@Inquire.Pred (_) (_) (_))) -> Prelude.(++)("(")(Prelude.(++)(Prelude.show(l))(Prelude.(++)(")")(Prelude.(++)(Prelude.show(o))(Prelude.show(r))))) ; (Inquire.Junc (l@Inquire.Junc (_) (o) (_)) (o') (r@Inquire.Junc (_) (o'') (_))) | Prelude.(&&)(Prelude.(==)(o)(o'))(Prelude.(==)(o')(o'')) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc (l@Inquire.Junc (_) (o) (_)) (o') (r)) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))) ; (Inquire.Junc (l) (o) (r@Inquire.Junc (_) (o') (_))) | Prelude.(==)(o)(o') -> Prelude.(++)("(")(Prelude.(++)(Prelude.show(l))(Prelude.(++)(")")(Prelude.(++)(Prelude.show(o))(Prelude.show(r))))) ; (Inquire.Junc (l) (o) (r)) -> Prelude.(++)("(")(Prelude.(++)(Prelude.show(l))(Prelude.(++)(")")(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))))) ; (Inquire.Wrap (Inquire.NOBOOL ) (i@Inquire.Wrap (_) (_))) -> Prelude.show(i) ; (Inquire.Wrap (o) (i@Inquire.Wrap (Inquire.NOBOOL ) (_))) -> Prelude.show(i) ; (Inquire.Wrap (o) (i)) -> Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(i))(")"))) } against type forall v k. (Prelude.Show k, Prelude.Show v) => Inquire.Inquire k v -> Prim.String: | |
>> Error checking type of term \_1 -> case _1 of { (Inquire.EmptyAnd ) -> "" ; (Inquire.EmptyOr ) -> "" ; (Inquire.Pred (k) (r) (v : vs)) -> Prelude.(++)(Inquire.encodeURIComponent(Prelude.show(k)))(Prelude.(++)(Prelude.show(r))(Prelude.show(Data.Array.(:)(v)(vs)))) ; (Inquire.Pred (k : ks) (r) (v)) -> Prelude.(++)(Prelude.show(Data.Array.(:)(k)(ks)))(Prelude.(++)(Prelude.show(r))(Inquire.encodeURIComponent(Prelude.show(v)))) ; (Inquire.Pred (k) (r) (v)) -> Prelude.(++)(Inquire.encodeURIComponent(Prelude.show(k)))(Prelude.(++)(Prelude.show(r))(Inquire.encodeURIComponent(Prelude.show(v)))) ; (Inquire.Junc (l@Inquire.Pred (_) (_) (_)) (o) (r@Inquire.Pred (_) (_) (_))) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc (l@Inquire.Pred (_) (_) (_)) (o) (r@Inquire.Junc (_) (o') (_))) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc (l@Inquire.Junc (_) (o) (_)) (o') (r@Inquire.Pred (_) (_) (_))) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc (l@Inquire.Pred (_) (_) (_)) (o) (r)) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))) ; (Inquire.Junc (l) (o) (r@Inquire.Pred (_) (_) (_))) -> Prelude.(++)("(")(Prelude.(++)(Prelude.show(l))(Prelude.(++)(")")(Prelude.(++)(Prelude.show(o))(Prelude.show(r))))) ; (Inquire.Junc (l@Inquire.Junc (_) (o) (_)) (o') (r@Inquire.Junc (_) (o'') (_))) | Prelude.(&&)(Prelude.(==)(o)(o'))(Prelude.(==)(o')(o'')) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc (l@Inquire.Junc (_) (o) (_)) (o') (r)) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))) ; (Inquire.Junc (l) (o) (r@Inquire.Junc (_) (o') (_))) | Prelude.(==)(o)(o') -> Prelude.(++)("(")(Prelude.(++)(Prelude.show(l))(Prelude.(++)(")")(Prelude.(++)(Prelude.show(o))(Prelude.show(r))))) ; (Inquire.Junc (l) (o) (r)) -> Prelude.(++)("(")(Prelude.(++)(Prelude.show(l))(Prelude.(++)(")")(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))))) ; (Inquire.Wrap (Inquire.NOBOOL ) (i@Inquire.Wrap (_) (_))) -> Prelude.show(i) ; (Inquire.Wrap (o) (i@Inquire.Wrap (Inquire.NOBOOL ) (_))) -> Prelude.show(i) ; (Inquire.Wrap (o) (i)) -> Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(i))(")"))) } against type forall v. (Prelude.Show s4008, Prelude.Show v) => Inquire.Inquire s4008 v -> Prim.String: | |
>> Error checking type of term \_1 -> case _1 of { (Inquire.EmptyAnd ) -> "" ; (Inquire.EmptyOr ) -> "" ; (Inquire.Pred (k) (r) (v : vs)) -> Prelude.(++)(Inquire.encodeURIComponent(Prelude.show(k)))(Prelude.(++)(Prelude.show(r))(Prelude.show(Data.Array.(:)(v)(vs)))) ; (Inquire.Pred (k : ks) (r) (v)) -> Prelude.(++)(Prelude.show(Data.Array.(:)(k)(ks)))(Prelude.(++)(Prelude.show(r))(Inquire.encodeURIComponent(Prelude.show(v)))) ; (Inquire.Pred (k) (r) (v)) -> Prelude.(++)(Inquire.encodeURIComponent(Prelude.show(k)))(Prelude.(++)(Prelude.show(r))(Inquire.encodeURIComponent(Prelude.show(v)))) ; (Inquire.Junc (l@Inquire.Pred (_) (_) (_)) (o) (r@Inquire.Pred (_) (_) (_))) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc (l@Inquire.Pred (_) (_) (_)) (o) (r@Inquire.Junc (_) (o') (_))) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc (l@Inquire.Junc (_) (o) (_)) (o') (r@Inquire.Pred (_) (_) (_))) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc (l@Inquire.Pred (_) (_) (_)) (o) (r)) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))) ; (Inquire.Junc (l) (o) (r@Inquire.Pred (_) (_) (_))) -> Prelude.(++)("(")(Prelude.(++)(Prelude.show(l))(Prelude.(++)(")")(Prelude.(++)(Prelude.show(o))(Prelude.show(r))))) ; (Inquire.Junc (l@Inquire.Junc (_) (o) (_)) (o') (r@Inquire.Junc (_) (o'') (_))) | Prelude.(&&)(Prelude.(==)(o)(o'))(Prelude.(==)(o')(o'')) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc (l@Inquire.Junc (_) (o) (_)) (o') (r)) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))) ; (Inquire.Junc (l) (o) (r@Inquire.Junc (_) (o') (_))) | Prelude.(==)(o)(o') -> Prelude.(++)("(")(Prelude.(++)(Prelude.show(l))(Prelude.(++)(")")(Prelude.(++)(Prelude.show(o))(Prelude.show(r))))) ; (Inquire.Junc (l) (o) (r)) -> Prelude.(++)("(")(Prelude.(++)(Prelude.show(l))(Prelude.(++)(")")(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))))) ; (Inquire.Wrap (Inquire.NOBOOL ) (i@Inquire.Wrap (_) (_))) -> Prelude.show(i) ; (Inquire.Wrap (o) (i@Inquire.Wrap (Inquire.NOBOOL ) (_))) -> Prelude.show(i) ; (Inquire.Wrap (o) (i)) -> Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(i))(")"))) } against type (Prelude.Show s4008, Prelude.Show s4010) => Inquire.Inquire s4008 s4010 -> Prim.String: | |
>> Error checking type of term \_1 -> case _1 of { (Inquire.EmptyAnd ) -> "" ; (Inquire.EmptyOr ) -> "" ; (Inquire.Pred (k) (r) (v : vs)) -> Prelude.(++)(Inquire.encodeURIComponent(Prelude.show(k)))(Prelude.(++)(Prelude.show(r))(Prelude.show(Data.Array.(:)(v)(vs)))) ; (Inquire.Pred (k : ks) (r) (v)) -> Prelude.(++)(Prelude.show(Data.Array.(:)(k)(ks)))(Prelude.(++)(Prelude.show(r))(Inquire.encodeURIComponent(Prelude.show(v)))) ; (Inquire.Pred (k) (r) (v)) -> Prelude.(++)(Inquire.encodeURIComponent(Prelude.show(k)))(Prelude.(++)(Prelude.show(r))(Inquire.encodeURIComponent(Prelude.show(v)))) ; (Inquire.Junc (l@Inquire.Pred (_) (_) (_)) (o) (r@Inquire.Pred (_) (_) (_))) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc (l@Inquire.Pred (_) (_) (_)) (o) (r@Inquire.Junc (_) (o') (_))) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc (l@Inquire.Junc (_) (o) (_)) (o') (r@Inquire.Pred (_) (_) (_))) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc (l@Inquire.Pred (_) (_) (_)) (o) (r)) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))) ; (Inquire.Junc (l) (o) (r@Inquire.Pred (_) (_) (_))) -> Prelude.(++)("(")(Prelude.(++)(Prelude.show(l))(Prelude.(++)(")")(Prelude.(++)(Prelude.show(o))(Prelude.show(r))))) ; (Inquire.Junc (l@Inquire.Junc (_) (o) (_)) (o') (r@Inquire.Junc (_) (o'') (_))) | Prelude.(&&)(Prelude.(==)(o)(o'))(Prelude.(==)(o')(o'')) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc (l@Inquire.Junc (_) (o) (_)) (o') (r)) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))) ; (Inquire.Junc (l) (o) (r@Inquire.Junc (_) (o') (_))) | Prelude.(==)(o)(o') -> Prelude.(++)("(")(Prelude.(++)(Prelude.show(l))(Prelude.(++)(")")(Prelude.(++)(Prelude.show(o))(Prelude.show(r))))) ; (Inquire.Junc (l) (o) (r)) -> Prelude.(++)("(")(Prelude.(++)(Prelude.show(l))(Prelude.(++)(")")(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))))) ; (Inquire.Wrap (Inquire.NOBOOL ) (i@Inquire.Wrap (_) (_))) -> Prelude.show(i) ; (Inquire.Wrap (o) (i@Inquire.Wrap (Inquire.NOBOOL ) (_))) -> Prelude.show(i) ; (Inquire.Wrap (o) (i)) -> Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(i))(")"))) } against type Inquire.Inquire s4008 s4010 -> Prim.String: | |
>> Error checking type of term case _1 of { (Inquire.EmptyAnd ) -> "" ; (Inquire.EmptyOr ) -> "" ; (Inquire.Pred (k) (r) (v : vs)) -> Prelude.(++)(Inquire.encodeURIComponent(Prelude.show(k)))(Prelude.(++)(Prelude.show(r))(Prelude.show(Data.Array.(:)(v)(vs)))) ; (Inquire.Pred (k : ks) (r) (v)) -> Prelude.(++)(Prelude.show(Data.Array.(:)(k)(ks)))(Prelude.(++)(Prelude.show(r))(Inquire.encodeURIComponent(Prelude.show(v)))) ; (Inquire.Pred (k) (r) (v)) -> Prelude.(++)(Inquire.encodeURIComponent(Prelude.show(k)))(Prelude.(++)(Prelude.show(r))(Inquire.encodeURIComponent(Prelude.show(v)))) ; (Inquire.Junc (l@Inquire.Pred (_) (_) (_)) (o) (r@Inquire.Pred (_) (_) (_))) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc (l@Inquire.Pred (_) (_) (_)) (o) (r@Inquire.Junc (_) (o') (_))) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc (l@Inquire.Junc (_) (o) (_)) (o') (r@Inquire.Pred (_) (_) (_))) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc (l@Inquire.Pred (_) (_) (_)) (o) (r)) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))) ; (Inquire.Junc (l) (o) (r@Inquire.Pred (_) (_) (_))) -> Prelude.(++)("(")(Prelude.(++)(Prelude.show(l))(Prelude.(++)(")")(Prelude.(++)(Prelude.show(o))(Prelude.show(r))))) ; (Inquire.Junc (l@Inquire.Junc (_) (o) (_)) (o') (r@Inquire.Junc (_) (o'') (_))) | Prelude.(&&)(Prelude.(==)(o)(o'))(Prelude.(==)(o')(o'')) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc (l@Inquire.Junc (_) (o) (_)) (o') (r)) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))) ; (Inquire.Junc (l) (o) (r@Inquire.Junc (_) (o') (_))) | Prelude.(==)(o)(o') -> Prelude.(++)("(")(Prelude.(++)(Prelude.show(l))(Prelude.(++)(")")(Prelude.(++)(Prelude.show(o))(Prelude.show(r))))) ; (Inquire.Junc (l) (o) (r)) -> Prelude.(++)("(")(Prelude.(++)(Prelude.show(l))(Prelude.(++)(")")(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))))) ; (Inquire.Wrap (Inquire.NOBOOL ) (i@Inquire.Wrap (_) (_))) -> Prelude.show(i) ; (Inquire.Wrap (o) (i@Inquire.Wrap (Inquire.NOBOOL ) (_))) -> Prelude.show(i) ; (Inquire.Wrap (o) (i)) -> Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(i))(")"))) } against type Prim.String: | |
>> Error checking that type Inquire.Inquire s4008 s4010 subsumes type Inquire.Inquire u4016 u4015: | |
>> Error unifying type Inquire.Inquire s4008 s4010 with type Inquire.Inquire u4016 u4015: | |
>> Error unifying type s4010 with type u4015: | |
>> Error unifying type [u4017] with type s4010: | |
>> Cannot unify [u4017] with s4010. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment