Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix codegen for sum-of-products with generic parameters #76

Merged
merged 2 commits into from
Feb 2, 2024

kotlin: add parent type parameters to sum-of-product cases

d2a88d7
Select commit
Loading
Failed to load commit list.
Merged

Fix codegen for sum-of-products with generic parameters #76

kotlin: add parent type parameters to sum-of-product cases
d2a88d7
Select commit
Loading
Failed to load commit list.
Garnix CI / package default [x86_64-linux] succeeded Feb 1, 2024 in 1m 5s

Run results

Build succeeded

Details

Last 100 lines of logs:

      Golden and Actual output didn't change
    kotlin [✔]
      Golden and Actual output didn't change
    kotlin [✔]
      Golden and Actual output didn't change
    kotlin [✔]
      Golden and Actual output didn't change
SumOfProductWithTaggedObjectAndNonConcreteCases
  stays golden
    kotlin [✔]
      Golden and Actual output didn't change
    kotlin [✔]
      Golden and Actual output didn't change
    kotlin [✔]
      Golden and Actual output didn't change
SumOfProductWithTaggedObjectAndSingleNullary
  stays golden
    kotlin [✔]
      Golden and Actual output didn't change
    kotlin [✔]
      Golden and Actual output didn't change
SumOfProductWithTaggedObjectStyle
  stays golden
    kotlin [✔]
      Golden and Actual output didn't change
    kotlin [✔]
      Golden and Actual output didn't change
    kotlin [✔]
      Golden and Actual output didn't change
SumOfProductWithTypeParameter
  stays golden
    kotlin [✔]
      Golden and Actual output didn't change
    swift [✔]
      Golden and Actual output didn't change
TypeVariable
  stays golden
    swift [✔]
      Golden and Actual output didn't change
    kotlin [✔]
      Golden and Actual output didn't change

Finished in 0.0136 seconds
74 examples, 0 failures
Test suite spec: PASS
Test suite logged to: dist/test/moat-0.1-spec.log
1 of 1 test suites (1 of 1 test cases) passed.
@nix {"action":"setPhase","phase":"haddockPhase"}
haddockPhase
Preprocessing test suite 'spec' for moat-0.1..
Preprocessing library for moat-0.1..
Running Haddock on library for moat-0.1..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
Warning: '()' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'getMoat' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'getMoatWithTags' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Ty' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'prettySwiftType' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'ToMoatType' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'ToMoatData' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'rawValue' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Ty' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'SwiftData' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Ty' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'mobileGen' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'mobileGenWith' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  93% ( 54 / 58) in 'Moat'
  Missing documentation for:
    Interface (src/Moat/Types.hs:239)
    Annotation (src/Moat/Types.hs:261)
    SumOfProductEncodingOptions (src/Moat/Types.hs:465)
    KeepOrDiscard (src/Moat/Types.hs:579)
Documentation created: dist/doc/html/moat/index.html,
dist/doc/html/moat/moat.txt
@nix {"action":"setPhase","phase":"installPhase"}
installing
Installing library in /nix/store/dsw1lhchi19xpaxp48w16qx644mys3j3-moat-0.1/lib/ghc-9.6.3/lib/x86_64-linux-ghc-9.6.3/moat-0.1-3P8SNN78TAh9u2If9LLGtA
@nix {"action":"setPhase","phase":"fixupPhase"}
post-installation fixup
shrinking RPATHs of ELF executables and libraries in /nix/store/dsw1lhchi19xpaxp48w16qx644mys3j3-moat-0.1
shrinking /nix/store/dsw1lhchi19xpaxp48w16qx644mys3j3-moat-0.1/lib/ghc-9.6.3/lib/x86_64-linux-ghc-9.6.3/libHSmoat-0.1-3P8SNN78TAh9u2If9LLGtA-ghc9.6.3.so
checking for references to /build/ in /nix/store/dsw1lhchi19xpaxp48w16qx644mys3j3-moat-0.1...
patching script interpreter paths in /nix/store/dsw1lhchi19xpaxp48w16qx644mys3j3-moat-0.1
stripping (with command strip and flags -S -p) in  /nix/store/dsw1lhchi19xpaxp48w16qx644mys3j3-moat-0.1/lib
shrinking RPATHs of ELF executables and libraries in /nix/store/14s7ffyf7fsijgzp5hfpr55hcv4ky8aj-moat-0.1-doc
checking for references to /build/ in /nix/store/14s7ffyf7fsijgzp5hfpr55hcv4ky8aj-moat-0.1-doc...
patching script interpreter paths in /nix/store/14s7ffyf7fsijgzp5hfpr55hcv4ky8aj-moat-0.1-doc