Skip to content

Instantly share code, notes, and snippets.

@j-mueller

j-mueller/gist:d8e6086787c540f00626fced96e84ccc

Created September 27, 2018 13:44
Show Gist options
  • Save j-mueller/d8e6086787c540f00626fced96e84ccc to your computer and use it in GitHub Desktop.
Save j-mueller/d8e6086787c540f00626fced96e84ccc to your computer and use it in GitHub Desktop.
Download ZIP
core-to-plc error
Raw
gistfile1.txt
Error: Used but not defined in the current conversion: Type variable: a
Context: Converting type: a
Context: Converting expr: case ds_df5t of {
__DEFAULT -> False;
[] ->
&&_adXn
(> @ Height $fOrdInt h_adXl (I# dt_df8e))
(&&_adXn
(<= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(>=
@ Value $fOrdInt (+ @ Value $fNumInt v1_adXq v2_adXr) (I# dt_df8f))
(signedByT_adXm ds_df4y PubKey)))
}
Context: Converting expr: case ds_df5s of { (_ [Occ=Dead], v2_adXr) ->
case ds_df5t of {
__DEFAULT -> False;
[] ->
&&_adXn
(> @ Height $fOrdInt h_adXl (I# dt_df8e))
(&&_adXn
(<= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(>=
@ Value $fOrdInt (+ @ Value $fNumInt v1_adXq v2_adXr) (I# dt_df8f))
(signedByT_adXm ds_df4y PubKey)))
}
}
Context: Converting expr: case ds_df5m of {
[] ->
&&_adXn
(>= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(error
@ (PendingTxIn () -> PubKey -> Bool)
()
ds_df5r
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey)))
(signedByT_adXm
ds_df4y
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey))));
: ds_df5s ds_df5t ->
case ds_df5s of { (_ [Occ=Dead], v2_adXr) ->
case ds_df5t of {
__DEFAULT -> False;
[] ->
&&_adXn
(> @ Height $fOrdInt h_adXl (I# dt_df8e))
(&&_adXn
(<= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(>=
@ Value
$fOrdInt
(+ @ Value $fNumInt v1_adXq v2_adXr)
(I# dt_df8f))
(signedByT_adXm ds_df4y PubKey)))
}
}
}
Context: Converting expr: case ds_df5l of { (ds_df5r, v1_adXq) ->
case ds_df5m of {
[] ->
&&_adXn
(>= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(error
@ (PendingTxIn () -> PubKey -> Bool)
()
ds_df5r
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey)))
(signedByT_adXm
ds_df4y
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey))));
: ds_df5s ds_df5t ->
case ds_df5s of { (_ [Occ=Dead], v2_adXr) ->
case ds_df5t of {
__DEFAULT -> False;
[] ->
&&_adXn
(> @ Height $fOrdInt h_adXl (I# dt_df8e))
(&&_adXn
(<= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(>=
@ Value
$fOrdInt
(+ @ Value $fNumInt v1_adXq v2_adXr)
(I# dt_df8f))
(signedByT_adXm ds_df4y PubKey)))
}
}
}
}
Context: Converting expr: case ds_df4y of
{ PendingTx ds_df5l ds_df5m _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] ->
case ds_df5l of { (ds_df5r, v1_adXq) ->
case ds_df5m of {
[] ->
&&_adXn
(>= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(error
@ (PendingTxIn () -> PubKey -> Bool)
()
ds_df5r
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey)))
(signedByT_adXm
ds_df4y
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey))));
: ds_df5s ds_df5t ->
case ds_df5s of { (_ [Occ=Dead], v2_adXr) ->
case ds_df5t of {
__DEFAULT -> False;
[] ->
&&_adXn
(> @ Height $fOrdInt h_adXl (I# dt_df8e))
(&&_adXn
(<= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(>=
@ Value
$fOrdInt
(+ @ Value $fNumInt v1_adXq v2_adXr)
(I# dt_df8f))
(signedByT_adXm ds_df4y PubKey)))
}
}
}
}
}
Context: Converting expr: case case ds_df4y of
{ PendingTx ds_df5l ds_df5m _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] ->
case ds_df5l of { (ds_df5r, v1_adXq) ->
case ds_df5m of {
[] ->
&&_adXn
(>= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(error
@ (PendingTxIn () -> PubKey -> Bool)
()
ds_df5r
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey)))
(signedByT_adXm
ds_df4y
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey))));
: ds_df5s ds_df5t ->
case ds_df5s of { (_ [Occ=Dead], v2_adXr) ->
case ds_df5t of {
__DEFAULT -> False;
[] ->
&&_adXn
(> @ Height $fOrdInt h_adXl (I# dt_df8e))
(&&_adXn
(<= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(>=
@ Value
$fOrdInt
(+ @ Value $fNumInt v1_adXq v2_adXr)
(I# dt_df8f))
(signedByT_adXm ds_df4y PubKey)))
}
}
}
}
}
of {
False -> error @ () ();
True -> ()
}
Context: Converting expr: let {
&&_adXn :: Bool -> Bool -> Bool
[LclId]
&&_adXn = error @ (Bool -> Bool -> Bool) () } in
case case ds_df4y of
{ PendingTx ds_df5l ds_df5m _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] ->
case ds_df5l of { (ds_df5r, v1_adXq) ->
case ds_df5m of {
[] ->
&&_adXn
(>= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(error
@ (PendingTxIn () -> PubKey -> Bool)
()
ds_df5r
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey)))
(signedByT_adXm
ds_df4y
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey))));
: ds_df5s ds_df5t ->
case ds_df5s of { (_ [Occ=Dead], v2_adXr) ->
case ds_df5t of {
__DEFAULT -> False;
[] ->
&&_adXn
(> @ Height $fOrdInt h_adXl (I# dt_df8e))
(&&_adXn
(<= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(>=
@ Value
$fOrdInt
(+ @ Value $fNumInt v1_adXq v2_adXr)
(I# dt_df8f))
(signedByT_adXm ds_df4y PubKey)))
}
}
}
}
}
of {
False -> error @ () ();
True -> ()
}
Context: Converting expr: let {
signedByT_adXm :: PendingTx () CampaignActor -> PubKey -> Bool
[LclId]
signedByT_adXm
= error @ (PendingTx () CampaignActor -> PubKey -> Bool) () } in
let {
&&_adXn :: Bool -> Bool -> Bool
[LclId]
&&_adXn = error @ (Bool -> Bool -> Bool) () } in
case case ds_df4y of
{ PendingTx ds_df5l ds_df5m _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] ->
case ds_df5l of { (ds_df5r, v1_adXq) ->
case ds_df5m of {
[] ->
&&_adXn
(>= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(error
@ (PendingTxIn () -> PubKey -> Bool)
()
ds_df5r
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey)))
(signedByT_adXm
ds_df4y
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey))));
: ds_df5s ds_df5t ->
case ds_df5s of { (_ [Occ=Dead], v2_adXr) ->
case ds_df5t of {
__DEFAULT -> False;
[] ->
&&_adXn
(> @ Height $fOrdInt h_adXl (I# dt_df8e))
(&&_adXn
(<= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(>=
@ Value
$fOrdInt
(+ @ Value $fNumInt v1_adXq v2_adXr)
(I# dt_df8f))
(signedByT_adXm ds_df4y PubKey)))
}
}
}
}
}
of {
False -> error @ () ();
True -> ()
}
Context: Converting expr: let {
h_adXl :: Height
[LclId]
h_adXl
= case ds_df4y of
{ PendingTx _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] dt_df8m ->
I# dt_df8m
} } in
let {
signedByT_adXm :: PendingTx () CampaignActor -> PubKey -> Bool
[LclId]
signedByT_adXm
= error @ (PendingTx () CampaignActor -> PubKey -> Bool) () } in
let {
&&_adXn :: Bool -> Bool -> Bool
[LclId]
&&_adXn = error @ (Bool -> Bool -> Bool) () } in
case case ds_df4y of
{ PendingTx ds_df5l ds_df5m _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] ->
case ds_df5l of { (ds_df5r, v1_adXq) ->
case ds_df5m of {
[] ->
&&_adXn
(>= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(error
@ (PendingTxIn () -> PubKey -> Bool)
()
ds_df5r
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey)))
(signedByT_adXm
ds_df4y
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey))));
: ds_df5s ds_df5t ->
case ds_df5s of { (_ [Occ=Dead], v2_adXr) ->
case ds_df5t of {
__DEFAULT -> False;
[] ->
&&_adXn
(> @ Height $fOrdInt h_adXl (I# dt_df8e))
(&&_adXn
(<= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(>=
@ Value
$fOrdInt
(+ @ Value $fNumInt v1_adXq v2_adXr)
(I# dt_df8f))
(signedByT_adXm ds_df4y PubKey)))
}
}
}
}
}
of {
False -> error @ () ();
True -> ()
}
Context: Converting expr: let {
campaignCollectionDeadline_adXj :: Height
[LclId]
campaignCollectionDeadline_adXj = I# dt_df8g } in
let {
h_adXl :: Height
[LclId]
h_adXl
= case ds_df4y of
{ PendingTx _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] dt_df8m ->
I# dt_df8m
} } in
let {
signedByT_adXm :: PendingTx () CampaignActor -> PubKey -> Bool
[LclId]
signedByT_adXm
= error @ (PendingTx () CampaignActor -> PubKey -> Bool) () } in
let {
&&_adXn :: Bool -> Bool -> Bool
[LclId]
&&_adXn = error @ (Bool -> Bool -> Bool) () } in
case case ds_df4y of
{ PendingTx ds_df5l ds_df5m _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] ->
case ds_df5l of { (ds_df5r, v1_adXq) ->
case ds_df5m of {
[] ->
&&_adXn
(>= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(error
@ (PendingTxIn () -> PubKey -> Bool)
()
ds_df5r
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey)))
(signedByT_adXm
ds_df4y
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey))));
: ds_df5s ds_df5t ->
case ds_df5s of { (_ [Occ=Dead], v2_adXr) ->
case ds_df5t of {
__DEFAULT -> False;
[] ->
&&_adXn
(> @ Height $fOrdInt h_adXl (I# dt_df8e))
(&&_adXn
(<= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(>=
@ Value
$fOrdInt
(+ @ Value $fNumInt v1_adXq v2_adXr)
(I# dt_df8f))
(signedByT_adXm ds_df4y PubKey)))
}
}
}
}
}
of {
False -> error @ () ();
True -> ()
}
Context: Converting expr: case ds_df4z of
{ Campaign dt_df8e dt_df8f dt_df8g ->
let {
campaignCollectionDeadline_adXj :: Height
[LclId]
campaignCollectionDeadline_adXj = I# dt_df8g } in
let {
h_adXl :: Height
[LclId]
h_adXl
= case ds_df4y of
{ PendingTx _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] dt_df8m ->
I# dt_df8m
} } in
let {
signedByT_adXm :: PendingTx () CampaignActor -> PubKey -> Bool
[LclId]
signedByT_adXm
= error @ (PendingTx () CampaignActor -> PubKey -> Bool) () } in
let {
&&_adXn :: Bool -> Bool -> Bool
[LclId]
&&_adXn = error @ (Bool -> Bool -> Bool) () } in
case case ds_df4y of
{ PendingTx ds_df5l ds_df5m _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] ->
case ds_df5l of { (ds_df5r, v1_adXq) ->
case ds_df5m of {
[] ->
&&_adXn
(>= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(error
@ (PendingTxIn () -> PubKey -> Bool)
()
ds_df5r
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey)))
(signedByT_adXm
ds_df4y
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey))));
: ds_df5s ds_df5t ->
case ds_df5s of { (_ [Occ=Dead], v2_adXr) ->
case ds_df5t of {
__DEFAULT -> False;
[] ->
&&_adXn
(> @ Height $fOrdInt h_adXl (I# dt_df8e))
(&&_adXn
(<= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(>=
@ Value
$fOrdInt
(+ @ Value $fNumInt v1_adXq v2_adXr)
(I# dt_df8f))
(signedByT_adXm ds_df4y PubKey)))
}
}
}
}
}
of {
False -> error @ () ();
True -> ()
}
}
Context: Converting expr: case ds_df4w of { () ->
case ds_df4z of { Campaign dt_df8e dt_df8f dt_df8g ->
let {
campaignCollectionDeadline_adXj :: Height
[LclId]
campaignCollectionDeadline_adXj = I# dt_df8g } in
let {
h_adXl :: Height
[LclId]
h_adXl
= case ds_df4y of
{ PendingTx _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] dt_df8m ->
I# dt_df8m
} } in
let {
signedByT_adXm :: PendingTx () CampaignActor -> PubKey -> Bool
[LclId]
signedByT_adXm
= error @ (PendingTx () CampaignActor -> PubKey -> Bool) () } in
let {
&&_adXn :: Bool -> Bool -> Bool
[LclId]
&&_adXn = error @ (Bool -> Bool -> Bool) () } in
case case ds_df4y of
{ PendingTx ds_df5l ds_df5m _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] ->
case ds_df5l of { (ds_df5r, v1_adXq) ->
case ds_df5m of {
[] ->
&&_adXn
(>= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(error
@ (PendingTxIn () -> PubKey -> Bool)
()
ds_df5r
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey)))
(signedByT_adXm
ds_df4y
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey))));
: ds_df5s ds_df5t ->
case ds_df5s of { (_ [Occ=Dead], v2_adXr) ->
case ds_df5t of {
__DEFAULT -> False;
[] ->
&&_adXn
(> @ Height $fOrdInt h_adXl (I# dt_df8e))
(&&_adXn
(<= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(>=
@ Value
$fOrdInt
(+ @ Value $fNumInt v1_adXq v2_adXr)
(I# dt_df8f))
(signedByT_adXm ds_df4y PubKey)))
}
}
}
}
}
of {
False -> error @ () ();
True -> ()
}
}
}
Context: Converting expr: \ (ds_df4z :: Campaign) ->
case ds_df4w of { () ->
case ds_df4z of { Campaign dt_df8e dt_df8f dt_df8g ->
let {
campaignCollectionDeadline_adXj :: Height
[LclId]
campaignCollectionDeadline_adXj = I# dt_df8g } in
let {
h_adXl :: Height
[LclId]
h_adXl
= case ds_df4y of
{ PendingTx _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] dt_df8m ->
I# dt_df8m
} } in
let {
signedByT_adXm :: PendingTx () CampaignActor -> PubKey -> Bool
[LclId]
signedByT_adXm
= error @ (PendingTx () CampaignActor -> PubKey -> Bool) () } in
let {
&&_adXn :: Bool -> Bool -> Bool
[LclId]
&&_adXn = error @ (Bool -> Bool -> Bool) () } in
case case ds_df4y of
{ PendingTx ds_df5l ds_df5m _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] ->
case ds_df5l of { (ds_df5r, v1_adXq) ->
case ds_df5m of {
[] ->
&&_adXn
(>= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(error
@ (PendingTxIn () -> PubKey -> Bool)
()
ds_df5r
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey)))
(signedByT_adXm
ds_df4y
(ds_df4x
`cast` (N:CampaignActor[0]
:: Coercible CampaignActor PubKey))));
: ds_df5s ds_df5t ->
case ds_df5s of { (_ [Occ=Dead], v2_adXr) ->
case ds_df5t of {
__DEFAULT -> False;
[] ->
&&_adXn
(> @ Height $fOrdInt h_adXl (I# dt_df8e))
(&&_adXn
(<= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(>=
@ Value
$fOrdInt
(+ @ Value $fNumInt v1_adXq v2_adXr)
(I# dt_df8f))
(signedByT_adXm ds_df4y PubKey)))
}
}
}
}
}
of {
False -> error @ () ();
True -> ()
}
}
}
Context: Converting expr: \ (ds_df4y :: PendingTx () CampaignActor)
(ds_df4z :: Campaign) ->
case ds_df4w of { () ->
case ds_df4z of { Campaign dt_df8e dt_df8f dt_df8g ->
let {
campaignCollectionDeadline_adXj :: Height
[LclId]
campaignCollectionDeadline_adXj = I# dt_df8g } in
let {
h_adXl :: Height
[LclId]
h_adXl
= case ds_df4y of
{ PendingTx _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] dt_df8m ->
I# dt_df8m
} } in
let {
signedByT_adXm :: PendingTx () CampaignActor -> PubKey -> Bool
[LclId]
signedByT_adXm
= error @ (PendingTx () CampaignActor -> PubKey -> Bool) () } in
let {
&&_adXn :: Bool -> Bool -> Bool
[LclId]
&&_adXn = error @ (Bool -> Bool -> Bool) () } in
case case ds_df4y of
{ PendingTx ds_df5l ds_df5m _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] ->
case ds_df5l of { (ds_df5r, v1_adXq) ->
case ds_df5m of {
[] ->
&&_adXn
(>= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(error
@ (PendingTxIn () -> PubKey -> Bool)
()
ds_df5r
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey)))
(signedByT_adXm
ds_df4y
(ds_df4x
`cast` (N:CampaignActor[0]
:: Coercible CampaignActor PubKey))));
: ds_df5s ds_df5t ->
case ds_df5s of { (_ [Occ=Dead], v2_adXr) ->
case ds_df5t of {
__DEFAULT -> False;
[] ->
&&_adXn
(> @ Height $fOrdInt h_adXl (I# dt_df8e))
(&&_adXn
(<= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(>=
@ Value
$fOrdInt
(+ @ Value $fNumInt v1_adXq v2_adXr)
(I# dt_df8f))
(signedByT_adXm ds_df4y PubKey)))
}
}
}
}
}
of {
False -> error @ () ();
True -> ()
}
}
}
Context: Converting expr: \ (ds_df4x :: CampaignActor)
(ds_df4y :: PendingTx () CampaignActor)
(ds_df4z :: Campaign) ->
case ds_df4w of { () ->
case ds_df4z of { Campaign dt_df8e dt_df8f dt_df8g ->
let {
campaignCollectionDeadline_adXj :: Height
[LclId]
campaignCollectionDeadline_adXj = I# dt_df8g } in
let {
h_adXl :: Height
[LclId]
h_adXl
= case ds_df4y of
{ PendingTx _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] dt_df8m ->
I# dt_df8m
} } in
let {
signedByT_adXm :: PendingTx () CampaignActor -> PubKey -> Bool
[LclId]
signedByT_adXm
= error @ (PendingTx () CampaignActor -> PubKey -> Bool) () } in
let {
&&_adXn :: Bool -> Bool -> Bool
[LclId]
&&_adXn = error @ (Bool -> Bool -> Bool) () } in
case case ds_df4y of
{ PendingTx ds_df5l ds_df5m _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] ->
case ds_df5l of { (ds_df5r, v1_adXq) ->
case ds_df5m of {
[] ->
&&_adXn
(>= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(error
@ (PendingTxIn () -> PubKey -> Bool)
()
ds_df5r
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey)))
(signedByT_adXm
ds_df4y
(ds_df4x
`cast` (N:CampaignActor[0]
:: Coercible CampaignActor PubKey))));
: ds_df5s ds_df5t ->
case ds_df5s of { (_ [Occ=Dead], v2_adXr) ->
case ds_df5t of {
__DEFAULT -> False;
[] ->
&&_adXn
(> @ Height $fOrdInt h_adXl (I# dt_df8e))
(&&_adXn
(<= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(>=
@ Value
$fOrdInt
(+ @ Value $fNumInt v1_adXq v2_adXr)
(I# dt_df8f))
(signedByT_adXm ds_df4y PubKey)))
}
}
}
}
}
of {
False -> error @ () ();
True -> ()
}
}
}
Context: Converting expr: \ (ds_df4w :: ())
(ds_df4x :: CampaignActor)
(ds_df4y :: PendingTx () CampaignActor)
(ds_df4z :: Campaign) ->
case ds_df4w of { () ->
case ds_df4z of { Campaign dt_df8e dt_df8f dt_df8g ->
let {
campaignCollectionDeadline_adXj :: Height
[LclId]
campaignCollectionDeadline_adXj = I# dt_df8g } in
let {
h_adXl :: Height
[LclId]
h_adXl
= case ds_df4y of
{ PendingTx _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] dt_df8m ->
I# dt_df8m
} } in
let {
signedByT_adXm :: PendingTx () CampaignActor -> PubKey -> Bool
[LclId]
signedByT_adXm
= error @ (PendingTx () CampaignActor -> PubKey -> Bool) () } in
let {
&&_adXn :: Bool -> Bool -> Bool
[LclId]
&&_adXn = error @ (Bool -> Bool -> Bool) () } in
case case ds_df4y of
{ PendingTx ds_df5l ds_df5m _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] ->
case ds_df5l of { (ds_df5r, v1_adXq) ->
case ds_df5m of {
[] ->
&&_adXn
(>= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(error
@ (PendingTxIn () -> PubKey -> Bool)
()
ds_df5r
(ds_df4x
`cast` (N:CampaignActor[0] :: Coercible CampaignActor PubKey)))
(signedByT_adXm
ds_df4y
(ds_df4x
`cast` (N:CampaignActor[0]
:: Coercible CampaignActor PubKey))));
: ds_df5s ds_df5t ->
case ds_df5s of { (_ [Occ=Dead], v2_adXr) ->
case ds_df5t of {
__DEFAULT -> False;
[] ->
&&_adXn
(> @ Height $fOrdInt h_adXl (I# dt_df8e))
(&&_adXn
(<= @ Height $fOrdInt h_adXl campaignCollectionDeadline_adXj)
(&&_adXn
(>=
@ Value
$fOrdInt
(+ @ Value $fNumInt v1_adXq v2_adXr)
(I# dt_df8f))
(signedByT_adXm ds_df4y PubKey)))
}
}
}
}
}
of {
False -> error @ () ();
True -> ()
}
}
}
Progress 1/2
-- While building custom Setup.hs for package plutus-use-cases-0.1.0.0 using:
C:\sr\setup-exe-cache\x86_64-windows\Cabal-simple_Z6RU0evB_2.0.1.0_ghc-8.2.2.exe --builddir=.stack-work\dist\5c8418a7 build lib:plutus-use-cases test:plutus-use-cases-test --ghc-options " -ddump-hi -ddump-to-file -fdiagnostics-color=always"
Process exited with code: ExitFailure 1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment