AmpersandTarski / Ampersand

Build database applications faster than anyone else, and keep your data pollution free as a bonus.
http://ampersandtarski.github.io/
GNU General Public License v3.0
40 stars 8 forks source link

Inconsistent type checking when importing from XLSX #1279

Closed RieksJ closed 2 years ago

RieksJ commented 2 years ago

I'm currently 'dusting off' the MPTrx model application.

There is a piece of code that is as follows (the full code is here, use commit 7f2750ee, tagged 'issue1279', which you can compile using the dockerfile))

CLASSIFY Party, Actor ISA AorP -- AorP is abbr for ActorOrParty
CLASSIFY PartyRef, ActorRef ISA IdentRef

partyRef :: Party * PartyRef [UNI] -- The human readable name/identifier to refer to the Party
actorRef :: Actor * ActorRef [UNI] -- The human readable name/identifier to refer to the Actor
ownerRef :: AorP  * PartyRef [UNI] -- The human realdable name of the Party that owns the Actor
isOwnedBy :: AorP  * Party [UNI] -- The AorP is owned (=completely controlled) by the Party

I have an XSLX file that I use to specify the initial population, part of which reads as follows: image

This is accepted by the & daemon that I continuously run in VSCode. This produces an error when I try to create a prototype, as is shown by: image

Fixing this requires the addition of a signature in the XLSX file, as follows: image

And sure enough, the prototype is now built as a docker application. However, the & daemon now produces an error, as follows: image

This issue calls for the behavior of the XLSX importer to be aligned in the &-tools that are used in the context of VSCode and the context of Docker.

RieksJ commented 2 years ago

Turns out &-daemon was another version that & used by Docker...