DA-Marketplace / unable to build

Questions Features & Bugs
1

Sirs,

I am unable to build the DA-Marketplace (as currently hosted on github - version 0.2.0) .
I get the following when using make clean && make package

Could not find module ‘ContingentClaims.Claim.Serializable’

  • It is not a module in the current program, or in any known package.*

daml/Marketplace/Clearing/Service.daml:41:56: error:

  • Not in scope: data constructor ‘AssetDeposit_Lock’*

daml/Marketplace/Clearing/Service.daml:41:56: error:

  • Not in scope: data constructor ‘AssetDeposit_Lock’*

daml/Marketplace/Settlement/Model.daml:4:40: error:

  • Module*
  • ‘DA.Finance.Asset’*
  • does not export*
  • ‘AssetDeposit_Transfer(…)’*

When instead I invoke daml build I get in addition the following:

Could not find module ‘ContingentClaims.Observable’

  • It is not a module in the current program, or in any known package.*

File: daml/ContingentClaims/Util/Recursion.daml
Hidden: no
Range: 79:31-79:32
Source: typecheck
Severity: DsError
*Message: *

  • daml/ContingentClaims/Util/Recursion.daml:79:31: error:*
  • • Couldn’t match type ‘f’ with ‘(,) (f0 attr)’*
  • ‘f’ is a rigid type variable bound by*
  • the type signature for:*
  • synthesize : forall (f : * → ) b attr.
  • (Functor f, Recursive b f) =>*
  • (f attr → attr) → b → Cofree f attr*
  • at daml/ContingentClaims/Util/Recursion.daml:76:1-81*
  • Expected type: (f0 attr, attr) → attr …etc.*

In fact I had to download the packages ContingencyClaims and DA.Finance separately as
the .zip download provided only symbolic links to these packages.

it seems to me that some objects are missing in the hosted packages, and obviously to handle the
message from Recursion.daml, requires a high level of Haskell knowledge which I do not possess.

My interest is in getting an application running on DAML Hub, with certain changes in the frontend along
with integrating the newer exberry-adapter package . Some behaviour of the contracts would also have
to be adjusted.

Please advise on the above. Thank you.

2

Hi @Ivan_Markose,

Did you run the git submodule command:

git submodule update --init --recursive

after cloning the repository? That should setup the ContingentClaims and DA.Finance libraries to the correct version that the Marketplace is expecting.

If not, it may be worth recloning the repo to a fresh state before doing so if you haven’t made any changes yet to make sure it doesn’t conflict with the libraries you downloaded manually.

Please let us know if you continue to have issues (or have already run that command).

3

Hi Alex,

Yes that worked very well. I had to read up what that ssh stuff for github authentication meant,
but after setting up the SSH key in my Github account I was able to run the given command.

Thank you very much for your advice.