search

bennn / rackunit-abbrevs

Abbreviations for RackUnit testing
Other
1 stars 0 forks source link

Error on 8.8 #6

Open bennn opened 1 year ago

bennn commented 1 year ago

Error during build of frosthaven-manager https://github.com/benknoble/frosthaven-manager/actions/runs/4125860766/jobs/7126984885

mask-accessor: contract violation
  expected: mask?
  given: #f
  compilation context...:
   /home/runner/.local/share/racket/8.8-bc/pkgs/rackunit-abbrevs/private/test-typed-rackunit-abbrevs.rkt
  context...:
   /usr/share/racket/pkgs/typed-racket-lib/typed-racket/types/overlap.rkt:48:0: overlap?
   /usr/share/racket/pkgs/typed-racket-lib/typed-racket/types/prop-ops.rkt:56:2: update-ps
   /usr/share/racket/pkgs/typed-racket-lib/typed-racket/types/prop-ops.rkt:55:0: reduce-tc-results/subsumption
   /usr/share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt:112:0: tc-expr/check
   /usr/share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-main.rkt:122:12: for-loop
   parse-loop608
   fail-handler870
   fail-handler114
   /usr/share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt:112:0: tc-expr/check
   /usr/share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt:79:0: tc-expr/t
   f342
   fail-handler870
   fail-handler114
   /usr/share/racket/pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt:112:0: tc-expr/check
   f594
   fail-handler870
   ...
bennn commented 1 year ago

No luck reproducing locally on version: 8.8.0.7 CS

bennn commented 1 year ago

Still no luck after building 8.8 BC from source + builtpkgs

% ./bin/racketbc --version
Welcome to Racket v8.8 [bc].
% ./bin/racobc make -v /home/ben/.racket/8.8/pkgs/rackunit-abbrevs/private/typed-rackunit-abbrevs.rkt
"/home/ben/.racket/8.8/pkgs/rackunit-abbrevs/private/typed-rackunit-abbrevs.rkt":
  making #<path:/home/ben/.racket/8.8/pkgs/rackunit-abbrevs/private/typed-rackunit-abbrevs.rkt>
  making #<path:/home/ben/.racket/8.8/pkgs/rackunit-abbrevs/private/error-reporting.rkt>
 [output to "/home/ben/.racket/8.8/pkgs/rackunit-abbrevs/private/compiled/bc/typed-rackunit-abbrevs_rkt.zo"]
% ./bin/racobc test /home/ben/.racket/8.8/pkgs/rackunit-abbrevs/private/typed-rackunit-abbrevs.rkt
raco test: "/home/ben/.racket/8.8/pkgs/rackunit-abbrevs/private/typed-rackunit-abbrevs.rkt"
raco test: @(test-responsible '(ben))
benknoble commented 1 year ago

Another example: https://github.com/drym-org/qi/actions/runs/4237999470/jobs/7364583649