Stephen Compall 9bcc925a40 intern package IDs in LF (#1614) ... * specify the new fields for interning package IDs * percolating intern tables * crawl packages for package IDs as a pre-phase: generic prep * stub case for interned_id in Scala packageref reader * HasPackageRefs instances for the rest of the ast * make intern table and use when encoding PackageRefs in v1 * don't need where * stub out decode for interned package IDs * no benefit to using uint32 instead of uint64 * percolate in encode one step * interned case for decoding PackageRefs * naming details * intern table decoder * finish propagating the intern table in encoder * encode the package ID table * document the vital assumption of encodeInternedPackageIds * propagate the intern table through the LF decoder - done by stacking ReaderT on top of Decode internally, as discussed with @hurryabit * daml-lf-proto requires mtl * stub out interned case in Scala LF decoder * stub interface decoder function * get the interned table to most places in InterfaceReader * support for interned package IDs in Scala decoder * use ImmArraySeq instead of Vector for Scala intern decode table * adding that ghc extension didn't make sense * implement interned ID decoding for InterfaceReader * scenario service won't have interned package IDs * test the interned ID resolution in Scala by examining the proto -> AST in detail * proper precondition for the dev phase of interned IDs testing * better error reporting for malformed DALFs in intern test * just import Data.Int - suggested by @neil-da; thanks * pass around the lookup function instead of the vector in decoder - suggested by @neil-da; thanks * remove derivations for types deleted in e63b012d2d * rename VersionAware to EncodeCtx - suggested by @hurryabit; thanks * rename MDecode to MonadDecode - suggested by @hurryabit; thanks * pass a function through the encoder instead of a set - based on suggestions by @hurryabit and @neil-da; thanks * daml-ghc test that interned IDs are generated - suggested by @hurryabit; thanks * adapt to 5b480c99ec #1844		2019-06-26 11:15:24 +02:00
..
src	intern package IDs in LF (#1614)	2019-06-26 11:15:24 +02:00
BUILD.bazel	cleanup daml-lf scala packages (#1581)	2019-06-12 15:55:48 +00:00