Skip to content

Instantly share code, notes, and snippets.

@joneshf

joneshf/gist:9631682

Created March 18, 2014 23:03
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save joneshf/9631682 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save joneshf/9631682 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
➜ 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 ([email protected] (_) (_) (_)) (o) ([email protected] (_) (_) (_))) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc ([email protected] (_) (_) (_)) (o) ([email protected] (_) (o') (_))) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc ([email protected] (_) (o) (_)) (o') ([email protected] (_) (_) (_))) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc ([email protected] (_) (_) (_)) (o) (r)) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))) ; (Inquire.Junc (l) (o) ([email protected] (_) (_) (_))) -> Prelude.(++)("(")(Prelude.(++)(Prelude.show(l))(Prelude.(++)(")")(Prelude.(++)(Prelude.show(o))(Prelude.show(r))))) ; (Inquire.Junc ([email protected] (_) (o) (_)) (o') ([email protected] (_) (o'') (_))) | Prelude.(&&)(Prelude.(==)(o)(o'))(Prelude.(==)(o')(o'')) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc ([email protected] (_) (o) (_)) (o') (r)) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))) ; (Inquire.Junc (l) (o) ([email protected] (_) (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 ) ([email protected] (_) (_))) -> Prelude.show(i) ; (Inquire.Wrap (o) ([email protected] (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 ([email protected] (_) (_) (_)) (o) ([email protected] (_) (_) (_))) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc ([email protected] (_) (_) (_)) (o) ([email protected] (_) (o') (_))) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc ([email protected] (_) (o) (_)) (o') ([email protected] (_) (_) (_))) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc ([email protected] (_) (_) (_)) (o) (r)) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))) ; (Inquire.Junc (l) (o) ([email protected] (_) (_) (_))) -> Prelude.(++)("(")(Prelude.(++)(Prelude.show(l))(Prelude.(++)(")")(Prelude.(++)(Prelude.show(o))(Prelude.show(r))))) ; (Inquire.Junc ([email protected] (_) (o) (_)) (o') ([email protected] (_) (o'') (_))) | Prelude.(&&)(Prelude.(==)(o)(o'))(Prelude.(==)(o')(o'')) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc ([email protected] (_) (o) (_)) (o') (r)) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))) ; (Inquire.Junc (l) (o) ([email protected] (_) (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 ) ([email protected] (_) (_))) -> Prelude.show(i) ; (Inquire.Wrap (o) ([email protected] (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 ([email protected] (_) (_) (_)) (o) ([email protected] (_) (_) (_))) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc ([email protected] (_) (_) (_)) (o) ([email protected] (_) (o') (_))) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc ([email protected] (_) (o) (_)) (o') ([email protected] (_) (_) (_))) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc ([email protected] (_) (_) (_)) (o) (r)) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))) ; (Inquire.Junc (l) (o) ([email protected] (_) (_) (_))) -> Prelude.(++)("(")(Prelude.(++)(Prelude.show(l))(Prelude.(++)(")")(Prelude.(++)(Prelude.show(o))(Prelude.show(r))))) ; (Inquire.Junc ([email protected] (_) (o) (_)) (o') ([email protected] (_) (o'') (_))) | Prelude.(&&)(Prelude.(==)(o)(o'))(Prelude.(==)(o')(o'')) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc ([email protected] (_) (o) (_)) (o') (r)) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))) ; (Inquire.Junc (l) (o) ([email protected] (_) (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 ) ([email protected] (_) (_))) -> Prelude.show(i) ; (Inquire.Wrap (o) ([email protected] (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 ([email protected] (_) (_) (_)) (o) ([email protected] (_) (_) (_))) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc ([email protected] (_) (_) (_)) (o) ([email protected] (_) (o') (_))) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc ([email protected] (_) (o) (_)) (o') ([email protected] (_) (_) (_))) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc ([email protected] (_) (_) (_)) (o) (r)) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))) ; (Inquire.Junc (l) (o) ([email protected] (_) (_) (_))) -> Prelude.(++)("(")(Prelude.(++)(Prelude.show(l))(Prelude.(++)(")")(Prelude.(++)(Prelude.show(o))(Prelude.show(r))))) ; (Inquire.Junc ([email protected] (_) (o) (_)) (o') ([email protected] (_) (o'') (_))) | Prelude.(&&)(Prelude.(==)(o)(o'))(Prelude.(==)(o')(o'')) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc ([email protected] (_) (o) (_)) (o') (r)) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))) ; (Inquire.Junc (l) (o) ([email protected] (_) (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 ) ([email protected] (_) (_))) -> Prelude.show(i) ; (Inquire.Wrap (o) ([email protected] (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 ([email protected] (_) (_) (_)) (o) ([email protected] (_) (_) (_))) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc ([email protected] (_) (_) (_)) (o) ([email protected] (_) (o') (_))) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc ([email protected] (_) (o) (_)) (o') ([email protected] (_) (_) (_))) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc ([email protected] (_) (_) (_)) (o) (r)) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))) ; (Inquire.Junc (l) (o) ([email protected] (_) (_) (_))) -> Prelude.(++)("(")(Prelude.(++)(Prelude.show(l))(Prelude.(++)(")")(Prelude.(++)(Prelude.show(o))(Prelude.show(r))))) ; (Inquire.Junc ([email protected] (_) (o) (_)) (o') ([email protected] (_) (o'') (_))) | Prelude.(&&)(Prelude.(==)(o)(o'))(Prelude.(==)(o')(o'')) -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.show(r))) ; (Inquire.Junc ([email protected] (_) (o) (_)) (o') (r)) | Prelude.(==)(o)(o') -> Prelude.(++)(Prelude.show(l))(Prelude.(++)(Prelude.show(o))(Prelude.(++)("(")(Prelude.(++)(Prelude.show(r))(")")))) ; (Inquire.Junc (l) (o) ([email protected] (_) (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 ) ([email protected] (_) (_))) -> Prelude.show(i) ; (Inquire.Wrap (o) ([email protected] (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