The time is now Thursday, August 29th, 2024 2:38:58pm (/usr/bin/env DISPLAY=:1 PLT_PKG_BUILD_SERVICE=1 PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLTSTDERR=debug@pkg error PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto knotty-lib) Resolved "knotty-lib" via file:///home/root//catalogs/archive/catalog pkg: catalog response: #hash((author . "t0mpr1c3@gmail.com") (checksum . "6b789dd656daf33376db7012289df7bbf099c336") (dependencies . (("base") ("typed/racket") ("typed-racket-lib") ("typed-racket-more") ("sweet-exp-lib") ("named-arguments") ("threading-lib") ("brag-lib") ("br-parser-tools") ("web-server-lib") ("sxml") ("html-template") ("html-writing") ("html-parsing") ("lazy") ("sweet-exp-lib") ("threading-lib"))) (description . "A domain-specific language for knitting patterns. Implementation only: no documentation.") (modules . ((lib "knotty/xml.rkt") (lib "knotty/gauge.rkt") (lib "knotty/chart-row.rkt") (lib "knotty/pull-direction.rkt") (lib "knotty/stitch-instructions.rkt") (lib "knotty/html.rkt") (lib "knotty/rowspec.rkt") (lib "knotty/tree.rkt") (lib "knotty/gui.rkt") (lib "knotty/options.rkt") (lib "knotty/serv.rkt") (lib "knotty/knitspeak-parser.rkt") (lib "knotty/knitspeak-grammar.rkt") (lib "knotty/text.rkt") (lib "knotty/chart.rkt") (lib "knotty/cli.rkt") (lib "knotty/util.rkt") (lib "knotty/rowmap.rkt") (lib "knotty/course.rkt") (lib "knotty/stitch.rkt") (lib "knotty/macros.rkt") (lib "knotty/yarn.rkt") (lib "knotty/knitgraph-viz.rkt") (lib "knotty/main.rkt") (lib "knotty/demo.rkt") (lib "knotty/diophantine.rkt") (lib "knotty/garn.rkt") (lib "knotty/knitspeak.rkt") (lib "knotty/knitspeak-lexer.rkt") (lib "knotty/knitgraph.rkt") (lib "knotty/loop.rkt") (lib "knotty/pattern.rkt") (lib "knotty/png.rkt") (lib "knotty/rows.rkt") (lib "knotty/rowcount.rkt") (lib "knotty/global.rkt") (lib "knotty/repeats.rkt") (lib "knotty/colors.rkt"))) (name . "knotty-lib") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/knotty-lib.zip") (tags . ("dsl" "knitting" "language" "typed-racket"))) 00: Resolved "sweet-exp-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "named-arguments" via file:///home/root//catalogs/built/catalog 01: Resolved "threading-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "brag-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "br-parser-tools" via file:///home/root//catalogs/built/catalog 00: Resolved "sxml" via file:///home/root//catalogs/built/catalog 01: Resolved "html-template" via file:///home/root//catalogs/built/catalog 01: Resolved "html-writing" via file:///home/root//catalogs/built/catalog Resolved "html-parsing" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org asumu@ccs.neu.edu") (checksum . "65268f6199da9ae0a466287648830c9a3ed7e4c8") (dependencies . (("base"))) (description . "Implementation part of sweet-exp") (modules . ((lib "sweet-exp/main.rkt") (lib "sweet-exp/reader.rkt") (lib "sweet-exp/read-sig.rkt") (lib "sweet-exp/modern/process-curly.rkt") (lib "sweet-exp/racket/init.rkt") (lib "sweet-exp/modern.rkt") (lib "sweet-exp/sugar.rkt") (lib "sweet-exp/indent.rkt") (lib "sweet-exp/util.rkt") (lib "sweet-exp/sweet.rkt"))) (name . "sweet-exp-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/sweet-exp-lib.zip") (tags . ("syntax"))) pkg: catalog response: #hash((author . "t0mpr1c3@gmail.com") (checksum . "f8fa377f94d8cbbd27004c564f4aab1eb6c02f7e") (dependencies . (("base") ("rackunit-lib"))) (description . "A different syntax for specifying named arguments in Racket, by Alex Knauth") (modules . ((lib "named-arguments/square-brackets.rkt") (lib "named-arguments/curly-braces.rkt"))) (name . "named-arguments") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/named-arguments.zip") (tags . ("syntax"))) pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "744984a6c1fc8f152fdabc85a0cdd15c86b5b676") (dependencies . (("base" #:version "6.3"))) (description . "implementation (no documentation) for “threading”") (modules . ((lib "threading/main.rkt"))) (name . "threading-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/threading-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "mb@mbtype.com") (checksum . "3048fb603ee6b9be54deb28fd670fa3116137b18") (dependencies . (("base" #:version "6.3") ("br-parser-tools-lib") ("rackunit-lib") ("syntax-color-lib"))) (description . "") (modules . ((lib "brag/test/test-start-and-atok.rkt") (lib "brag/test/test-parser.rkt") (lib "brag/private/internal-support.rkt") (lib "brag/examples/simple-line-drawing/lexer.rkt") (lib "brag/rules/rule-structs.rkt") (lib "brag/examples/simple-line-drawing/grammar.rkt") (lib "brag/test/test-cutter.rkt") (lib "brag/test/test-weird-grammar.rkt") (lib "brag/codegen/satisfaction.rkt") (lib "brag/codegen/reader.rkt") (lib "brag/test/test-lexer.rkt") (lib "brag/examples/simple-line-drawing/interpret.rkt") (lib "brag/test/test-baby-json.rkt") (lib "brag/examples/start-and-atok.rkt") (lib "brag/test/test-0n1.rkt") (lib "brag/examples/simple-line-drawing/lang/reader.rkt") (lib "brag/test/test-make-rule-parser.rkt") (lib "brag/examples/top-level-cut-1.rkt") (lib "brag/examples/baby-json-alt2.rkt") (lib "brag/test/test-hide-and-splice.rkt") (lib "brag/rules/stx-types.rkt") (lib "brag/examples/simple-line-drawing/examples/letter-i.rkt") (lib "brag/private/indenter.rkt") (lib "brag/examples/baby-json-hider.rkt") (lib "brag/test/test-empty-symbol.rkt") (lib "brag/examples/codepoints.rkt") (lib "brag/test/test-old-token.rkt") (lib "brag/examples/quotation-marks-and-backslashes.rkt") (lib "brag/examples/cutter.rkt") (lib "brag/examples/wordy.rkt") (lib "brag/rules/lexer.rkt") (lib "brag/codegen/runtime.rkt") (lib "brag/examples/lua-parser.rkt") (lib "brag/main.rkt") (lib "brag/examples/cutter-another.rkt") (lib "brag/examples/01-equal.rkt") (lib "brag/test/test-wordy.rkt") (lib "brag/rules/stx.rkt") (lib "brag/test/test-0n1n.rkt") (lib "brag/test/test-baby-json-hider.rkt") (lib "brag/examples/nested-repeats.rkt") (lib "brag/examples/whitespace.rkt") (lib "brag/examples/baby-json.rkt") (lib "brag/examples/add-mult.rkt") (lib "brag/test/test-simple-arithmetic-grammar.rkt") (lib "brag/test/test-01-equal.rkt") (lib "brag/examples/simple-arithmetic-grammar.rkt") (lib "brag/examples/simple-line-drawing/semantics.rkt") (lib "brag/examples/top-level-cut-3.rkt") (lib "brag/examples/hide-and-splice.rkt") (lib "brag/test/test-quotation-marks-and-backslashes.rkt") (lib "brag/examples/subrule.rkt") (lib "brag/test/test-nested-repeats.rkt") (lib "brag/test/weird-grammar.rkt") (lib "brag/test/test-all.rkt") (lib "brag/support.rkt") (lib "brag/examples/baby-json-alt.rkt") (lib "brag/examples/statlist-grammar.rkt") (lib "brag/codegen/codegen.rkt") (lib "brag/codegen/expander.rkt") (lib "brag/private/colorer.rkt") (lib "brag/test/test-errors.rkt") (lib "brag/codegen/flatten.rkt") (lib "brag/test/test-simple-line-drawing.rkt") (lib "brag/examples/curly-quantifier.rkt") (lib "brag/examples/bnf.rkt") (lib "brag/examples/nested-word-list.rkt") (lib "brag/test/test-flatten.rkt") (lib "brag/test/test-top-level-cut.rkt") (lib "brag/test/test-curly-quantifier.rkt") (lib "brag/examples/0n1n.rkt") (lib "brag/examples/empty-symbol.rkt") (lib "brag/test/test-codepoints.rkt") (lib "brag/examples/simple-line-drawing.rkt") (lib "brag/test/test-whitespace.rkt") (lib "brag/examples/0n1.rkt") (lib "brag/rules/parser.rkt") (lib "brag/examples/top-level-cut-2.rkt") (lib "brag/test/test-cutter-another.rkt"))) (name . "brag-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/brag-lib.zip") (tags . ("lib"))) pkg: catalog response: #hash((author . "mb@mbtype.com") (checksum . "dc46737b0d0401630cfd32176aa7169643f5e558") (dependencies . (("br-parser-tools-lib") ("br-parser-tools-doc"))) (description . "fork of `parser-tools` with some modernizations & improvements. Backward compatible with `parser-tools`.") (modules . ()) (name . "br-parser-tools") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/br-parser-tools.zip") (tags . ("parser" "parsing"))) pkg: catalog response: #hash((author . "clements@brinckerhoff.org") (checksum . "83c0e50faa1e73eda024aa389e51ed03c27e7e1c") (dependencies . (("base") ("srfi-lib") ("racket-doc") ("scribble-lib"))) (description . "SXML family of tools (including SXPath)") (modules . ((lib "sxml/xpath-parser.rkt") (lib "sxml/lazy-ssax.rkt") (lib "sxml/ssax/myenv.rkt") (lib "sxml/ssax/ssax.rkt") (lib "sxml/scribblings/util.rkt") (lib "sxml/ddo-txpath.rkt") (lib "sxml/scribblings/sxml-rep.scrbl") (lib "sxml/scribblings/sxpath.scrbl") (lib "sxml/sxpath.rkt") (lib "sxml/sxpath-ext.rkt") (lib "sxml/tests/tests.rkt") (lib "sxml/sxml-tools.rkt") (lib "sxml/main.rkt") (lib "sxml/xpath-ast.rkt") (lib "sxml/tests/ssax-tests.rkt") (lib "sxml/scribblings/sax-parsing.scrbl") (lib "sxml/scribblings/sxml.scrbl") (lib "sxml/txpath.rkt") (lib "sxml/ssax/xlink-parser.rkt") (lib "sxml/ssax/util.rkt") (lib "sxml/ssax/multi-parser.rkt") (lib "sxml/scribblings/sxslt.scrbl") (lib "sxml/ssax/ssax-prim.rkt") (lib "sxml/ssax/input-parse.rkt") (lib "sxml/ssax/errors-and-warnings.rkt") (lib "sxml/xpath-context_xlink.rkt") (lib "sxml/ssax/id.rkt") (lib "sxml/modif.rkt") (lib "sxml/serializer.rkt") (lib "sxml/ssax/sxpathlib.rkt") (lib "sxml/ssax/SSAX-code.rkt") (lib "sxml/scribblings/all-exported.scrbl") (lib "sxml/ddo-axes.rkt") (lib "sxml/tests/vSXML-to-HTML.rkt") (lib "sxml/ssax/SXML-tree-trans.rkt") (lib "sxml/scribblings/extracted-sperber.scrbl") (lib "sxml/scribblings/extract-provides.rkt") (lib "sxml/ssax/access-remote.rkt") (lib "sxml/tests/vSXML-tree-trans.rkt") (lib "sxml/lazy-xpath.rkt") (lib "sxml/ssax/parse-error.rkt") (lib "sxml/scribblings/serialization.scrbl"))) (name . "sxml") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/sxml.zip") (tags . ("sxml" "web" "xml"))) pkg: catalog response: #hash((author . "neil@neilvandyke.org") (checksum . "9994c724f34f1db4b777db0dac9311481c9e93d0") (dependencies . (("base") ("mcfly") ("html-writing") ("racket-doc") ("scribble-lib") ("overeasy"))) (description . "HTML-Writing Template Language in SXML") (modules . ((lib "html-template/html-template-parse.rkt") (lib "html-template/html-template.rkt") (lib "html-template/html-template-generate-helpers.rkt") (lib "html-template/main.rkt") (lib "html-template/html-template-generate.rkt") (lib "html-template/test-html-template.rkt") (lib "html-template/html-template.scrbl"))) (name . "html-template") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/html-template.zip") (tags . ("html" "sxml" "web"))) pkg: catalog response: #hash((author . "neil@neilvandyke.org") (checksum . "08e5bf1d1545a26bb27fc5c6088ea4010561b6bf") (dependencies . (("base") ("mcfly") ("racket-doc") ("scribble-lib") ("overeasy"))) (description . "Writing HTML from SXML") (modules . ((lib "html-writing/main.rkt") (lib "html-writing/html-writing.scrbl"))) (name . "html-writing") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/html-writing.zip") (tags . ("html" "sxml" "web"))) pkg: catalog response: #hash((author . "neil@neilvandyke.org") (checksum . "5387e25f4883854aac77c73be45cd27ac4d53288") (dependencies . (("base") ("mcfly") ("racket-doc") ("scribble-lib") ("overeasy"))) (description . "Permissive Parsing of HTML to SXML") (modules . ((lib "html-parsing/html-parsing.scrbl") (lib "html-parsing/main.rkt"))) (name . "html-parsing") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/html-parsing.zip") (tags . ("html" "sxml" "web"))) Resolved "br-parser-tools-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "mb@mbtype.com") (checksum . "a2979f8544e80037e73be6514b6b0c69441dd4b8") (dependencies . (("scheme-lib") ("base") ("compatibility-lib") ("rackunit-lib"))) (description . "fork of `parser-tools-lib` for Beautiful Racket") (modules . ((lib "br-parser-tools/private-yacc/graph.rkt") (lib "br-parser-tools/private-yacc/lalr.rkt") (lib "br-parser-tools/private-lex/token-syntax.rkt") (lib "br-parser-tools/private-lex/stx.rkt") (lib "br-parser-tools/private-lex/deriv.rkt") (lib "br-parser-tools/private-yacc/parser-builder.rkt") (lib "br-parser-tools/yacc-to-scheme.rkt") (lib "br-parser-tools/lex.rkt") (lib "br-parser-tools/private-lex/error-tests.rkt") (lib "br-parser-tools/cfg-parser.rkt") (lib "br-parser-tools/private-lex/token.rkt") (lib "br-parser-tools/private-lex/actions.rkt") (lib "br-parser-tools/examples/read.rkt") (lib "br-parser-tools/private-yacc/yacc-helper.rkt") (lib "br-parser-tools/yacc.rkt") (lib "br-parser-tools/private-lex/front.rkt") (lib "br-parser-tools/private-yacc/grammar.rkt") (lib "br-parser-tools/examples/calc.rkt") (lib "br-parser-tools/private-lex/util.rkt") (lib "br-parser-tools/lex-plt-v200.rkt") (lib "br-parser-tools/lex-sre.rkt") (lib "br-parser-tools/private-yacc/lr0.rkt") (lib "br-parser-tools/private-lex/re.rkt") (lib "br-parser-tools/private-yacc/input-file-parser.rkt") (lib "br-parser-tools/private-lex/unicode-chars.rkt") (lib "br-parser-tools/private-yacc/parser-actions.rkt") (lib "br-parser-tools/private-yacc/table.rkt"))) (name . "br-parser-tools-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/br-parser-tools-lib.zip") (tags . ("beautiful-racket"))) Resolved "br-parser-tools-doc" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "mb@mbtype.com") (checksum . "b130047819e51488343edb1c718cc9d352791092") (dependencies . (("base") ("scheme-lib") ("racket-doc") ("syntax-color-doc") ("br-parser-tools-lib") ("scribble-lib"))) (description . "fork of `parser-tools-doc` for Beautiful Racket") (modules . ((lib "br-parser-tools/br-parser-tools.scrbl"))) (name . "br-parser-tools-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/br-parser-tools-doc.zip") (tags . ("beautiful-racket"))) 01: Resolved "mcfly" via file:///home/root//catalogs/built/catalog Resolved "overeasy" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "neil@neilvandyke.org") (checksum . "352a30f222d528a3c84084d8c489689efa849be0") (dependencies . (("at-exp-lib") ("base") ("scribble-lib") ("racket-doc"))) (description . "Embedded Package Documentation Runtime") (modules . ((lib "mcfly/test-mcfly-spec.rkt") (lib "mcfly/mcfly-spec.rkt") (lib "mcfly/mcfly-misc.rkt") (lib "mcfly/main.rkt") (lib "mcfly/mcfly-expand.rkt") (lib "mcfly/doc.rkt") (lib "mcfly/mcfly-parse.rkt") (lib "mcfly/mcfly-scribble.rkt") (lib "mcfly/mcfly.scrbl") (lib "mcfly/mcfly-format.rkt"))) (name . "mcfly") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/mcfly.zip") (tags . ("documentation"))) pkg: catalog response: #hash((author . "neil@neilvandyke.org") (checksum . "21e5accf16707b2e994842b5f6da4ad9937245ed") (dependencies . (("base") ("racket-doc") ("scribble-lib") ("mcfly"))) (description . "Racket Language Test Engine") (modules . ((lib "overeasy/main.rkt") (lib "overeasy/overeasy.rkt") (lib "overeasy/test-overeasy.rkt") (lib "overeasy/overeasy.scrbl"))) (name . "overeasy") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/overeasy.zip") (tags . ("testing"))) pkg: creating single-collection link to # pkg: updating db with "mcfly" to '#s((sc-pkg-info pkg-info 3) (catalog "mcfly") "352a30f222d528a3c84084d8c489689efa849be0" #t "mcfly") pkg: creating single-collection link to # pkg: updating db with "overeasy" to '#s((sc-pkg-info pkg-info 3) (catalog "overeasy") "21e5accf16707b2e994842b5f6da4ad9937245ed" #t "overeasy") pkg: creating single-collection link to # pkg: updating db with "html-writing" to '#s((sc-pkg-info pkg-info 3) (catalog "html-writing") "08e5bf1d1545a26bb27fc5c6088ea4010561b6bf" #t "html-writing") pkg: creating single-collection link to # pkg: updating db with "html-parsing" to '#s((sc-pkg-info pkg-info 3) (catalog "html-parsing") "5387e25f4883854aac77c73be45cd27ac4d53288" #t "html-parsing") pkg: creating single-collection link to # pkg: updating db with "knotty-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "knotty-lib") "6b789dd656daf33376db7012289df7bbf099c336" #f "knotty") pkg: creating link to # pkg: updating db with "sweet-exp-lib" to '#s(pkg-info (catalog "sweet-exp-lib") "65268f6199da9ae0a466287648830c9a3ed7e4c8" #t) pkg: creating link to # pkg: updating db with "named-arguments" to '#s(pkg-info (catalog "named-arguments") "f8fa377f94d8cbbd27004c564f4aab1eb6c02f7e" #t) pkg: creating link to # pkg: updating db with "threading-lib" to '#s(pkg-info (catalog "threading-lib") "744984a6c1fc8f152fdabc85a0cdd15c86b5b676" #t) pkg: creating link to # pkg: updating db with "brag-lib" to '#s(pkg-info (catalog "brag-lib") "3048fb603ee6b9be54deb28fd670fa3116137b18" #t) pkg: creating link to # pkg: updating db with "br-parser-tools-lib" to '#s(pkg-info (catalog "br-parser-tools-lib") "a2979f8544e80037e73be6514b6b0c69441dd4b8" #t) pkg: creating link to # pkg: updating db with "br-parser-tools" to '#s(pkg-info (catalog "br-parser-tools") "dc46737b0d0401630cfd32176aa7169643f5e558" #t) pkg: creating link to # pkg: updating db with "br-parser-tools-doc" to '#s(pkg-info (catalog "br-parser-tools-doc") "b130047819e51488343edb1c718cc9d352791092" #t) pkg: creating link to # pkg: updating db with "sxml" to '#s(pkg-info (catalog "sxml") "83c0e50faa1e73eda024aa389e51ed03c27e7e1c" #t) pkg: creating single-collection link to # pkg: updating db with "html-template" to '#s((sc-pkg-info pkg-info 3) (catalog "html-template") "9994c724f34f1db4b777db0dac9311481c9e93d0" #t "html-template") The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of knotty-lib: sweet-exp-lib named-arguments threading-lib brag-lib br-parser-tools sxml html-template html-writing html-parsing sweet-exp-lib threading-lib dependencies of brag-lib: br-parser-tools-lib dependencies of br-parser-tools: br-parser-tools-doc dependencies of html-template: mcfly overeasy raco setup: version: 8.14 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.14 raco setup: variants: cs raco setup: main collects: /home/root/racket/collects/ raco setup: collects paths: raco setup: /home/root/user/.local/share/racket/8.14/collects raco setup: /home/root/racket/collects/ raco setup: main pkgs: /home/root/racket/share/pkgs raco setup: pkgs paths: raco setup: /home/root/racket/share/pkgs raco setup: /home/root//user/.local/share/racket/8.14/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.14/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: main docs: /home/root/racket/doc raco setup: --- updating info-domain tables --- [14:39:01] raco setup: updating: /home/root/user/.local/share/racket/8.14/share/info-cache.rktd raco setup: --- pre-installing collections --- [14:39:01] raco setup: --- installing foreign libraries --- [14:39:01] raco setup: --- installing shared files --- [14:39:01] raco setup: --- compiling collections --- [14:39:01] raco setup: --- parallel build using 2 jobs --- [14:39:01] raco setup: 1 making: /br-parser-tools-doc/br-parser-tools raco setup: 0 making: /br-parser-tools-lib/br-parser-tools raco setup: 0 making: /br-parser-tools-lib/br-parser-tools/examples raco setup: 0 making: /br-parser-tools-lib/br-parser-tools/private-lex raco setup: 0 making: /br-parser-tools-lib/br-parser-tools/private-yacc raco setup: 0 making: /brag-lib/brag raco setup: 1 making: /html-parsing (html-parsing) raco setup: 0 making: /brag-lib/brag/codegen raco setup: 0 making: /brag-lib/brag/private raco setup: 0 making: /brag-lib/brag/rules raco setup: 0 making: /html-template (html-template) raco setup: 1 making: /html-writing (html-writing) raco setup: 1 making: /knotty-lib raco setup: 0 making: /mcfly (McFly Runtime) raco setup: 0 making: /named-arguments/named-arguments raco setup: 0 making: /overeasy (Overeasy) raco setup: 0 making: /sweet-exp-lib/sweet-exp raco setup: 0 making: /sweet-exp-lib/sweet-exp/modern raco setup: 0 making: /sweet-exp-lib/sweet-exp/racket raco setup: 0 making: /sxml/sxml (sxml) raco setup: 0 making: /sxml/sxml/scribblings raco setup: 0 making: /sxml/sxml/ssax (ssax) raco setup: 0 making: /threading-lib/threading /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10: Type Checker: type mismatch expected: (-> Any Any Boolean) given: (case-> (-> Integer One Boolean) (-> Real Zero Boolean) (-> Zero Real Boolean) (-> Real Real-Zero Boolean) (-> Real-Zero Real Boolean) (-> Byte Positive-Byte Boolean) (-> Byte Byte Boolean) (-> Positive-Integer Byte Boolean) (-> Positive-Real Byte Boolean) (-> Byte Positive-Integer Boolean) (-> Byte Positive-Exact-Rational Boolean) (-> Nonnegative-Integer Byte Boolean) (-> Nonnegative-Real Byte Boolean) (-> Byte Nonnegative-Integer Boolean) (-> Index Positive-Index Boolean) (-> Index Index Boolean) (-> Positive-Integer Index Boolean) (-> Positive-Real Index Boolean) (-> Index Positive-Integer Boolean) (-> Index Positive-Exact-Rational Boolean) (-> Nonnegative-Integer Index Boolean) (-> Nonnegative-Real Index Boolean) (-> Index Nonnegative-Integer Boolean) (-> Fixnum Positive-Integer Boolean) (-> Fixnum Positive-Exact-Rational Boolean) (-> Fixnum Nonnegative-Integer Boolean) (-> Fixnum Nonnegative-Exact-Rational Boolean) (-> Nonnegative-Integer Fixnum Boolean) (-> Nonnegative-Real Fixnum Boolean) (-> Fixnum Nonpositive-Integer Boolean) (-> Fixnum Nonpositive-Real Boolean) (-> Negative-Integer Fixnum Boolean) (-> Negative-Exact-Rational Fixnum Boolean) (-> Nonpositive-Integer Fixnum Boolean) (-> Nonpositive-Exact-Rational Fixnum Boolean) (-> Real +inf.0 Boolean) (-> -inf.0 Real Boolean) (-> +inf.0 Real Boolean) (-> Real -inf.0 Boolean) (-> Real True) (-> Integer Zero Boolean) (-> Zero Integer Boolean) (-> Integer (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Integer (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Integer Boolean) (-> Integer Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Integer Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Integer Boolean) (-> Exact-Rational Zero Boolean) (-> Zero Exact-Rational Boolean) (-> Exact-Rational (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Exact-Rational (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Exact-Rational Boolean) (-> Exact-Rational Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Exact-Rational Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Exact-Rational Boolean) (-> Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Flonum Boolean) (-> Flonum (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Flonum Boolean) (-> Flonum Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Flonum Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Flonum Boolean) (-> Single-Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Single-Flonum Boolean) (-> Single-Flonum (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Single-Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Single-Flonum Boolean) (-> Single-Flonum Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Single-Flonum Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Single-Flonum Boolean) (-> Inexact-Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Inexact-Real Boolean) (-> Inexact-Real (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Inexact-Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Inexact-Real Boolean) (-> Inexact-Real Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Inexact-Real Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Inexact-Real Boolean) (-> Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Real Boolean) (-> Real (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Real Boolean) (-> Real Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Real Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Real Boolean) (-> Real Real Real * Boolean)) in: ((inst sort Index) (range n) < #:key (λ ((j : Index)) (apply min (vector->list (vector-ref row-numbers j))))) compilation context...: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/cli.rkt location...: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10 context...: /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:481:0: type-check .../private/parse-interp.rkt:643:50 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:115:12 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:700:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:634:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:450:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:436:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:407:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:210:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:145:4: compilation-manager-load-handler /home/root/racket/collects/compiler/private/cm-minimal.rkt:700:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:634:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:450:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:436:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:407:0: maybe-compile-zo ... /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10: Type Checker: type mismatch expected: (-> Any Any Boolean) given: (case-> (-> Integer One Boolean) (-> Real Zero Boolean) (-> Zero Real Boolean) (-> Real Real-Zero Boolean) (-> Real-Zero Real Boolean) (-> Byte Positive-Byte Boolean) (-> Byte Byte Boolean) (-> Positive-Integer Byte Boolean) (-> Positive-Real Byte Boolean) (-> Byte Positive-Integer Boolean) (-> Byte Positive-Exact-Rational Boolean) (-> Nonnegative-Integer Byte Boolean) (-> Nonnegative-Real Byte Boolean) (-> Byte Nonnegative-Integer Boolean) (-> Index Positive-Index Boolean) (-> Index Index Boolean) (-> Positive-Integer Index Boolean) (-> Positive-Real Index Boolean) (-> Index Positive-Integer Boolean) (-> Index Positive-Exact-Rational Boolean) (-> Nonnegative-Integer Index Boolean) (-> Nonnegative-Real Index Boolean) (-> Index Nonnegative-Integer Boolean) (-> Fixnum Positive-Integer Boolean) (-> Fixnum Positive-Exact-Rational Boolean) (-> Fixnum Nonnegative-Integer Boolean) (-> Fixnum Nonnegative-Exact-Rational Boolean) (-> Nonnegative-Integer Fixnum Boolean) (-> Nonnegative-Real Fixnum Boolean) (-> Fixnum Nonpositive-Integer Boolean) (-> Fixnum Nonpositive-Real Boolean) (-> Negative-Integer Fixnum Boolean) (-> Negative-Exact-Rational Fixnum Boolean) (-> Nonpositive-Integer Fixnum Boolean) (-> Nonpositive-Exact-Rational Fixnum Boolean) (-> Real +inf.0 Boolean) (-> -inf.0 Real Boolean) (-> +inf.0 Real Boolean) (-> Real -inf.0 Boolean) (-> Real True) (-> Integer Zero Boolean) (-> Zero Integer Boolean) (-> Integer (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Integer (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Integer Boolean) (-> Integer Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Integer Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Integer Boolean) (-> Exact-Rational Zero Boolean) (-> Zero Exact-Rational Boolean) (-> Exact-Rational (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Exact-Rational (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Exact-Rational Boolean) (-> Exact-Rational Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Exact-Rational Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Exact-Rational Boolean) (-> Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Flonum Boolean) (-> Flonum (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Flonum Boolean) (-> Flonum Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Flonum Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Flonum Boolean) (-> Single-Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Single-Flonum Boolean) (-> Single-Flonum (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Single-Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Single-Flonum Boolean) (-> Single-Flonum Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Single-Flonum Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Single-Flonum Boolean) (-> Inexact-Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Inexact-Real Boolean) (-> Inexact-Real (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Inexact-Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Inexact-Real Boolean) (-> Inexact-Real Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Inexact-Real Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Inexact-Real Boolean) (-> Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Real Boolean) (-> Real (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Real Boolean) (-> Real Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Real Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Real Boolean) (-> Real Real Real * Boolean)) in: ((inst sort Index) (range n) < #:key (λ ((j : Index)) (apply min (vector->list (vector-ref row-numbers j))))) compilation context...: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/chart.rkt location...: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10 context...: /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:481:0: type-check .../private/parse-interp.rkt:643:50 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:115:12 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:71:0: tc-setup /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:700:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:634:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:450:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:436:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:407:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:210:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:105:4 /home/root/racket/collects/setup/parallel-build.rkt:385:9 /home/root/racket/collects/setup/parallel-do.rkt:471:25 /home/root/racket/collects/setup/parallel-do.rkt:457:20: loop /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10: Type Checker: type mismatch expected: (-> Any Any Boolean) given: (case-> (-> Integer One Boolean) (-> Real Zero Boolean) (-> Zero Real Boolean) (-> Real Real-Zero Boolean) (-> Real-Zero Real Boolean) (-> Byte Positive-Byte Boolean) (-> Byte Byte Boolean) (-> Positive-Integer Byte Boolean) (-> Positive-Real Byte Boolean) (-> Byte Positive-Integer Boolean) (-> Byte Positive-Exact-Rational Boolean) (-> Nonnegative-Integer Byte Boolean) (-> Nonnegative-Real Byte Boolean) (-> Byte Nonnegative-Integer Boolean) (-> Index Positive-Index Boolean) (-> Index Index Boolean) (-> Positive-Integer Index Boolean) (-> Positive-Real Index Boolean) (-> Index Positive-Integer Boolean) (-> Index Positive-Exact-Rational Boolean) (-> Nonnegative-Integer Index Boolean) (-> Nonnegative-Real Index Boolean) (-> Index Nonnegative-Integer Boolean) (-> Fixnum Positive-Integer Boolean) (-> Fixnum Positive-Exact-Rational Boolean) (-> Fixnum Nonnegative-Integer Boolean) (-> Fixnum Nonnegative-Exact-Rational Boolean) (-> Nonnegative-Integer Fixnum Boolean) (-> Nonnegative-Real Fixnum Boolean) (-> Fixnum Nonpositive-Integer Boolean) (-> Fixnum Nonpositive-Real Boolean) (-> Negative-Integer Fixnum Boolean) (-> Negative-Exact-Rational Fixnum Boolean) (-> Nonpositive-Integer Fixnum Boolean) (-> Nonpositive-Exact-Rational Fixnum Boolean) (-> Real +inf.0 Boolean) (-> -inf.0 Real Boolean) (-> +inf.0 Real Boolean) (-> Real -inf.0 Boolean) (-> Real True) (-> Integer Zero Boolean) (-> Zero Integer Boolean) (-> Integer (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Integer (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Integer Boolean) (-> Integer Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Integer Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Integer Boolean) (-> Exact-Rational Zero Boolean) (-> Zero Exact-Rational Boolean) (-> Exact-Rational (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Exact-Rational (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Exact-Rational Boolean) (-> Exact-Rational Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Exact-Rational Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Exact-Rational Boolean) (-> Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Flonum Boolean) (-> Flonum (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Flonum Boolean) (-> Flonum Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Flonum Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Flonum Boolean) (-> Single-Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Single-Flonum Boolean) (-> Single-Flonum (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Single-Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Single-Flonum Boolean) (-> Single-Flonum Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Single-Flonum Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Single-Flonum Boolean) (-> Inexact-Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Inexact-Real Boolean) (-> Inexact-Real (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Inexact-Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Inexact-Real Boolean) (-> Inexact-Real Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Inexact-Real Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Inexact-Real Boolean) (-> Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Real Boolean) (-> Real (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Real Boolean) (-> Real Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Real Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Real Boolean) (-> Real Real Real * Boolean)) in: ((inst sort Index) (range n) < #:key (λ ((j : Index)) (apply min (vector->list (vector-ref row-numbers j))))) compilation context...: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/main.rkt /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/demo.rkt location...: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10 context...: /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:481:0: type-check .../private/parse-interp.rkt:643:50 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:115:12 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:71:0: tc-setup /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:700:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:634:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:450:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:436:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:407:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:210:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:145:4: compilation-manager-load-handler /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:71:0: tc-setup /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:700:0: compile-zo* ... /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10: Type Checker: type mismatch expected: (-> Any Any Boolean) given: (case-> (-> Integer One Boolean) (-> Real Zero Boolean) (-> Zero Real Boolean) (-> Real Real-Zero Boolean) (-> Real-Zero Real Boolean) (-> Byte Positive-Byte Boolean) (-> Byte Byte Boolean) (-> Positive-Integer Byte Boolean) (-> Positive-Real Byte Boolean) (-> Byte Positive-Integer Boolean) (-> Byte Positive-Exact-Rational Boolean) (-> Nonnegative-Integer Byte Boolean) (-> Nonnegative-Real Byte Boolean) (-> Byte Nonnegative-Integer Boolean) (-> Index Positive-Index Boolean) (-> Index Index Boolean) (-> Positive-Integer Index Boolean) (-> Positive-Real Index Boolean) (-> Index Positive-Integer Boolean) (-> Index Positive-Exact-Rational Boolean) (-> Nonnegative-Integer Index Boolean) (-> Nonnegative-Real Index Boolean) (-> Index Nonnegative-Integer Boolean) (-> Fixnum Positive-Integer Boolean) (-> Fixnum Positive-Exact-Rational Boolean) (-> Fixnum Nonnegative-Integer Boolean) (-> Fixnum Nonnegative-Exact-Rational Boolean) (-> Nonnegative-Integer Fixnum Boolean) (-> Nonnegative-Real Fixnum Boolean) (-> Fixnum Nonpositive-Integer Boolean) (-> Fixnum Nonpositive-Real Boolean) (-> Negative-Integer Fixnum Boolean) (-> Negative-Exact-Rational Fixnum Boolean) (-> Nonpositive-Integer Fixnum Boolean) (-> Nonpositive-Exact-Rational Fixnum Boolean) (-> Real +inf.0 Boolean) (-> -inf.0 Real Boolean) (-> +inf.0 Real Boolean) (-> Real -inf.0 Boolean) (-> Real True) (-> Integer Zero Boolean) (-> Zero Integer Boolean) (-> Integer (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Integer (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Integer Boolean) (-> Integer Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Integer Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Integer Boolean) (-> Exact-Rational Zero Boolean) (-> Zero Exact-Rational Boolean) (-> Exact-Rational (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Exact-Rational (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Exact-Rational Boolean) (-> Exact-Rational Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Exact-Rational Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Exact-Rational Boolean) (-> Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Flonum Boolean) (-> Flonum (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Flonum Boolean) (-> Flonum Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Flonum Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Flonum Boolean) (-> Single-Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Single-Flonum Boolean) (-> Single-Flonum (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Single-Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Single-Flonum Boolean) (-> Single-Flonum Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Single-Flonum Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Single-Flonum Boolean) (-> Inexact-Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Inexact-Real Boolean) (-> Inexact-Real (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Inexact-Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Inexact-Real Boolean) (-> Inexact-Real Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Inexact-Real Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Inexact-Real Boolean) (-> Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Real Boolean) (-> Real (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Real Boolean) (-> Real Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Real Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Real Boolean) (-> Real Real Real * Boolean)) in: ((inst sort Index) (range n) < #:key (λ ((j : Index)) (apply min (vector->list (vector-ref row-numbers j))))) compilation context...: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/gui.rkt location...: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10 context...: /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:481:0: type-check .../private/parse-interp.rkt:643:50 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:115:12 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:71:0: tc-setup /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:700:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:634:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:450:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:436:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:407:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:210:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:105:4 /home/root/racket/collects/setup/parallel-build.rkt:385:9 /home/root/racket/collects/setup/parallel-do.rkt:471:25 /home/root/racket/collects/setup/parallel-do.rkt:457:20: loop /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10: Type Checker: type mismatch expected: (-> Any Any Boolean) given: (case-> (-> Integer One Boolean) (-> Real Zero Boolean) (-> Zero Real Boolean) (-> Real Real-Zero Boolean) (-> Real-Zero Real Boolean) (-> Byte Positive-Byte Boolean) (-> Byte Byte Boolean) (-> Positive-Integer Byte Boolean) (-> Positive-Real Byte Boolean) (-> Byte Positive-Integer Boolean) (-> Byte Positive-Exact-Rational Boolean) (-> Nonnegative-Integer Byte Boolean) (-> Nonnegative-Real Byte Boolean) (-> Byte Nonnegative-Integer Boolean) (-> Index Positive-Index Boolean) (-> Index Index Boolean) (-> Positive-Integer Index Boolean) (-> Positive-Real Index Boolean) (-> Index Positive-Integer Boolean) (-> Index Positive-Exact-Rational Boolean) (-> Nonnegative-Integer Index Boolean) (-> Nonnegative-Real Index Boolean) (-> Index Nonnegative-Integer Boolean) (-> Fixnum Positive-Integer Boolean) (-> Fixnum Positive-Exact-Rational Boolean) (-> Fixnum Nonnegative-Integer Boolean) (-> Fixnum Nonnegative-Exact-Rational Boolean) (-> Nonnegative-Integer Fixnum Boolean) (-> Nonnegative-Real Fixnum Boolean) (-> Fixnum Nonpositive-Integer Boolean) (-> Fixnum Nonpositive-Real Boolean) (-> Negative-Integer Fixnum Boolean) (-> Negative-Exact-Rational Fixnum Boolean) (-> Nonpositive-Integer Fixnum Boolean) (-> Nonpositive-Exact-Rational Fixnum Boolean) (-> Real +inf.0 Boolean) (-> -inf.0 Real Boolean) (-> +inf.0 Real Boolean) (-> Real -inf.0 Boolean) (-> Real True) (-> Integer Zero Boolean) (-> Zero Integer Boolean) (-> Integer (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Integer (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Integer Boolean) (-> Integer Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Integer Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Integer Boolean) (-> Exact-Rational Zero Boolean) (-> Zero Exact-Rational Boolean) (-> Exact-Rational (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Exact-Rational (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Exact-Rational Boolean) (-> Exact-Rational Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Exact-Rational Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Exact-Rational Boolean) (-> Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Flonum Boolean) (-> Flonum (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Flonum Boolean) (-> Flonum Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Flonum Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Flonum Boolean) (-> Single-Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Single-Flonum Boolean) (-> Single-Flonum (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Single-Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Single-Flonum Boolean) (-> Single-Flonum Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Single-Flonum Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Single-Flonum Boolean) (-> Inexact-Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Inexact-Real Boolean) (-> Inexact-Real (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Inexact-Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Inexact-Real Boolean) (-> Inexact-Real Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Inexact-Real Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Inexact-Real Boolean) (-> Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Real Boolean) (-> Real (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Real Boolean) (-> Real Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Real Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Real Boolean) (-> Real Real Real * Boolean)) in: ((inst sort Index) (range n) < #:key (λ ((j : Index)) (apply min (vector->list (vector-ref row-numbers j))))) compilation context...: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/html.rkt location...: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10 context...: /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:481:0: type-check .../private/parse-interp.rkt:643:50 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:115:12 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:700:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:634:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:450:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:436:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:407:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:210:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:105:4 /home/root/racket/collects/setup/parallel-build.rkt:385:9 /home/root/racket/collects/setup/parallel-do.rkt:471:25 /home/root/racket/collects/setup/parallel-do.rkt:457:20: loop /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10: Type Checker: type mismatch expected: (-> Any Any Boolean) given: (case-> (-> Integer One Boolean) (-> Real Zero Boolean) (-> Zero Real Boolean) (-> Real Real-Zero Boolean) (-> Real-Zero Real Boolean) (-> Byte Positive-Byte Boolean) (-> Byte Byte Boolean) (-> Positive-Integer Byte Boolean) (-> Positive-Real Byte Boolean) (-> Byte Positive-Integer Boolean) (-> Byte Positive-Exact-Rational Boolean) (-> Nonnegative-Integer Byte Boolean) (-> Nonnegative-Real Byte Boolean) (-> Byte Nonnegative-Integer Boolean) (-> Index Positive-Index Boolean) (-> Index Index Boolean) (-> Positive-Integer Index Boolean) (-> Positive-Real Index Boolean) (-> Index Positive-Integer Boolean) (-> Index Positive-Exact-Rational Boolean) (-> Nonnegative-Integer Index Boolean) (-> Nonnegative-Real Index Boolean) (-> Index Nonnegative-Integer Boolean) (-> Fixnum Positive-Integer Boolean) (-> Fixnum Positive-Exact-Rational Boolean) (-> Fixnum Nonnegative-Integer Boolean) (-> Fixnum Nonnegative-Exact-Rational Boolean) (-> Nonnegative-Integer Fixnum Boolean) (-> Nonnegative-Real Fixnum Boolean) (-> Fixnum Nonpositive-Integer Boolean) (-> Fixnum Nonpositive-Real Boolean) (-> Negative-Integer Fixnum Boolean) (-> Negative-Exact-Rational Fixnum Boolean) (-> Nonpositive-Integer Fixnum Boolean) (-> Nonpositive-Exact-Rational Fixnum Boolean) (-> Real +inf.0 Boolean) (-> -inf.0 Real Boolean) (-> +inf.0 Real Boolean) (-> Real -inf.0 Boolean) (-> Real True) (-> Integer Zero Boolean) (-> Zero Integer Boolean) (-> Integer (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Integer (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Integer Boolean) (-> Integer Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Integer Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Integer Boolean) (-> Exact-Rational Zero Boolean) (-> Zero Exact-Rational Boolean) (-> Exact-Rational (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Exact-Rational (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Exact-Rational Boolean) (-> Exact-Rational Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Exact-Rational Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Exact-Rational Boolean) (-> Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Flonum Boolean) (-> Flonum (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Flonum Boolean) (-> Flonum Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Flonum Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Flonum Boolean) (-> Single-Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Single-Flonum Boolean) (-> Single-Flonum (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Single-Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Single-Flonum Boolean) (-> Single-Flonum Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Single-Flonum Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Single-Flonum Boolean) (-> Inexact-Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Inexact-Real Boolean) (-> Inexact-Real (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Inexact-Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Inexact-Real Boolean) (-> Inexact-Real Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Inexact-Real Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Inexact-Real Boolean) (-> Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Real Boolean) (-> Real (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Real Boolean) (-> Real Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Real Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Real Boolean) (-> Real Real Real * Boolean)) in: ((inst sort Index) (range n) < #:key (λ ((j : Index)) (apply min (vector->list (vector-ref row-numbers j))))) compilation context...: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/knitspeak.rkt location...: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10 context...: /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:481:0: type-check .../private/parse-interp.rkt:643:50 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:115:12 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:71:0: tc-setup /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:700:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:634:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:450:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:436:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:407:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:210:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:105:4 /home/root/racket/collects/setup/parallel-build.rkt:385:9 /home/root/racket/collects/setup/parallel-do.rkt:471:25 /home/root/racket/collects/setup/parallel-do.rkt:457:20: loop /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10: Type Checker: type mismatch expected: (-> Any Any Boolean) given: (case-> (-> Integer One Boolean) (-> Real Zero Boolean) (-> Zero Real Boolean) (-> Real Real-Zero Boolean) (-> Real-Zero Real Boolean) (-> Byte Positive-Byte Boolean) (-> Byte Byte Boolean) (-> Positive-Integer Byte Boolean) (-> Positive-Real Byte Boolean) (-> Byte Positive-Integer Boolean) (-> Byte Positive-Exact-Rational Boolean) (-> Nonnegative-Integer Byte Boolean) (-> Nonnegative-Real Byte Boolean) (-> Byte Nonnegative-Integer Boolean) (-> Index Positive-Index Boolean) (-> Index Index Boolean) (-> Positive-Integer Index Boolean) (-> Positive-Real Index Boolean) (-> Index Positive-Integer Boolean) (-> Index Positive-Exact-Rational Boolean) (-> Nonnegative-Integer Index Boolean) (-> Nonnegative-Real Index Boolean) (-> Index Nonnegative-Integer Boolean) (-> Fixnum Positive-Integer Boolean) (-> Fixnum Positive-Exact-Rational Boolean) (-> Fixnum Nonnegative-Integer Boolean) (-> Fixnum Nonnegative-Exact-Rational Boolean) (-> Nonnegative-Integer Fixnum Boolean) (-> Nonnegative-Real Fixnum Boolean) (-> Fixnum Nonpositive-Integer Boolean) (-> Fixnum Nonpositive-Real Boolean) (-> Negative-Integer Fixnum Boolean) (-> Negative-Exact-Rational Fixnum Boolean) (-> Nonpositive-Integer Fixnum Boolean) (-> Nonpositive-Exact-Rational Fixnum Boolean) (-> Real +inf.0 Boolean) (-> -inf.0 Real Boolean) (-> +inf.0 Real Boolean) (-> Real -inf.0 Boolean) (-> Real True) (-> Integer Zero Boolean) (-> Zero Integer Boolean) (-> Integer (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Integer (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Integer Boolean) (-> Integer Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Integer Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Integer Boolean) (-> Exact-Rational Zero Boolean) (-> Zero Exact-Rational Boolean) (-> Exact-Rational (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Exact-Rational (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Exact-Rational Boolean) (-> Exact-Rational Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Exact-Rational Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Exact-Rational Boolean) (-> Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Flonum Boolean) (-> Flonum (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Flonum Boolean) (-> Flonum Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Flonum Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Flonum Boolean) (-> Single-Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Single-Flonum Boolean) (-> Single-Flonum (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Single-Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Single-Flonum Boolean) (-> Single-Flonum Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Single-Flonum Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Single-Flonum Boolean) (-> Inexact-Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Inexact-Real Boolean) (-> Inexact-Real (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Inexact-Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Inexact-Real Boolean) (-> Inexact-Real Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Inexact-Real Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Inexact-Real Boolean) (-> Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Real Boolean) (-> Real (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Real Boolean) (-> Real Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Real Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Real Boolean) (-> Real Real Real * Boolean)) in: ((inst sort Index) (range n) < #:key (λ ((j : Index)) (apply min (vector->list (vector-ref row-numbers j))))) compilation context...: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/png.rkt location...: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10 context...: /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:481:0: type-check .../private/parse-interp.rkt:643:50 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:115:12 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:71:0: tc-setup /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:700:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:634:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:450:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:436:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:407:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:210:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:105:4 /home/root/racket/collects/setup/parallel-build.rkt:385:9 /home/root/racket/collects/setup/parallel-do.rkt:471:25 /home/root/racket/collects/setup/parallel-do.rkt:457:20: loop /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10: Type Checker: type mismatch expected: (-> Any Any Boolean) given: (case-> (-> Integer One Boolean) (-> Real Zero Boolean) (-> Zero Real Boolean) (-> Real Real-Zero Boolean) (-> Real-Zero Real Boolean) (-> Byte Positive-Byte Boolean) (-> Byte Byte Boolean) (-> Positive-Integer Byte Boolean) (-> Positive-Real Byte Boolean) (-> Byte Positive-Integer Boolean) (-> Byte Positive-Exact-Rational Boolean) (-> Nonnegative-Integer Byte Boolean) (-> Nonnegative-Real Byte Boolean) (-> Byte Nonnegative-Integer Boolean) (-> Index Positive-Index Boolean) (-> Index Index Boolean) (-> Positive-Integer Index Boolean) (-> Positive-Real Index Boolean) (-> Index Positive-Integer Boolean) (-> Index Positive-Exact-Rational Boolean) (-> Nonnegative-Integer Index Boolean) (-> Nonnegative-Real Index Boolean) (-> Index Nonnegative-Integer Boolean) (-> Fixnum Positive-Integer Boolean) (-> Fixnum Positive-Exact-Rational Boolean) (-> Fixnum Nonnegative-Integer Boolean) (-> Fixnum Nonnegative-Exact-Rational Boolean) (-> Nonnegative-Integer Fixnum Boolean) (-> Nonnegative-Real Fixnum Boolean) (-> Fixnum Nonpositive-Integer Boolean) (-> Fixnum Nonpositive-Real Boolean) (-> Negative-Integer Fixnum Boolean) (-> Negative-Exact-Rational Fixnum Boolean) (-> Nonpositive-Integer Fixnum Boolean) (-> Nonpositive-Exact-Rational Fixnum Boolean) (-> Real +inf.0 Boolean) (-> -inf.0 Real Boolean) (-> +inf.0 Real Boolean) (-> Real -inf.0 Boolean) (-> Real True) (-> Integer Zero Boolean) (-> Zero Integer Boolean) (-> Integer (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Integer (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Integer Boolean) (-> Integer Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Integer Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Integer Boolean) (-> Exact-Rational Zero Boolean) (-> Zero Exact-Rational Boolean) (-> Exact-Rational (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Exact-Rational (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Exact-Rational Boolean) (-> Exact-Rational Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Exact-Rational Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Exact-Rational Boolean) (-> Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Flonum Boolean) (-> Flonum (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Flonum Boolean) (-> Flonum Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Flonum Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Flonum Boolean) (-> Single-Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Single-Flonum Boolean) (-> Single-Flonum (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Single-Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Single-Flonum Boolean) (-> Single-Flonum Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Single-Flonum Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Single-Flonum Boolean) (-> Inexact-Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Inexact-Real Boolean) (-> Inexact-Real (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Inexact-Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Inexact-Real Boolean) (-> Inexact-Real Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Inexact-Real Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Inexact-Real Boolean) (-> Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Real Boolean) (-> Real (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Real Boolean) (-> Real Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Real Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Real Boolean) (-> Real Real Real * Boolean)) in: ((inst sort Index) (range n) < #:key (λ ((j : Index)) (apply min (vector->list (vector-ref row-numbers j))))) compilation context...: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/serv.rkt location...: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10 context...: /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:481:0: type-check .../private/parse-interp.rkt:643:50 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:115:12 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:700:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:634:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:450:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:436:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:407:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:210:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:105:4 /home/root/racket/collects/setup/parallel-build.rkt:385:9 /home/root/racket/collects/setup/parallel-do.rkt:471:25 /home/root/racket/collects/setup/parallel-do.rkt:457:20: loop /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10: Type Checker: type mismatch expected: (-> Any Any Boolean) given: (case-> (-> Integer One Boolean) (-> Real Zero Boolean) (-> Zero Real Boolean) (-> Real Real-Zero Boolean) (-> Real-Zero Real Boolean) (-> Byte Positive-Byte Boolean) (-> Byte Byte Boolean) (-> Positive-Integer Byte Boolean) (-> Positive-Real Byte Boolean) (-> Byte Positive-Integer Boolean) (-> Byte Positive-Exact-Rational Boolean) (-> Nonnegative-Integer Byte Boolean) (-> Nonnegative-Real Byte Boolean) (-> Byte Nonnegative-Integer Boolean) (-> Index Positive-Index Boolean) (-> Index Index Boolean) (-> Positive-Integer Index Boolean) (-> Positive-Real Index Boolean) (-> Index Positive-Integer Boolean) (-> Index Positive-Exact-Rational Boolean) (-> Nonnegative-Integer Index Boolean) (-> Nonnegative-Real Index Boolean) (-> Index Nonnegative-Integer Boolean) (-> Fixnum Positive-Integer Boolean) (-> Fixnum Positive-Exact-Rational Boolean) (-> Fixnum Nonnegative-Integer Boolean) (-> Fixnum Nonnegative-Exact-Rational Boolean) (-> Nonnegative-Integer Fixnum Boolean) (-> Nonnegative-Real Fixnum Boolean) (-> Fixnum Nonpositive-Integer Boolean) (-> Fixnum Nonpositive-Real Boolean) (-> Negative-Integer Fixnum Boolean) (-> Negative-Exact-Rational Fixnum Boolean) (-> Nonpositive-Integer Fixnum Boolean) (-> Nonpositive-Exact-Rational Fixnum Boolean) (-> Real +inf.0 Boolean) (-> -inf.0 Real Boolean) (-> +inf.0 Real Boolean) (-> Real -inf.0 Boolean) (-> Real True) (-> Integer Zero Boolean) (-> Zero Integer Boolean) (-> Integer (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Integer (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Integer Boolean) (-> Integer Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Integer Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Integer Boolean) (-> Exact-Rational Zero Boolean) (-> Zero Exact-Rational Boolean) (-> Exact-Rational (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Exact-Rational (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Exact-Rational Boolean) (-> Exact-Rational Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Exact-Rational Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Exact-Rational Boolean) (-> Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Flonum Boolean) (-> Flonum (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Flonum Boolean) (-> Flonum Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Flonum Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Flonum Boolean) (-> Single-Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Single-Flonum Boolean) (-> Single-Flonum (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Single-Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Single-Flonum Boolean) (-> Single-Flonum Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Single-Flonum Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Single-Flonum Boolean) (-> Inexact-Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Inexact-Real Boolean) (-> Inexact-Real (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Inexact-Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Inexact-Real Boolean) (-> Inexact-Real Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Inexact-Real Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Inexact-Real Boolean) (-> Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Real Boolean) (-> Real (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Real Boolean) (-> Real Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Real Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Real Boolean) (-> Real Real Real * Boolean)) in: ((inst sort Index) (range n) < #:key (λ ((j : Index)) (apply min (vector->list (vector-ref row-numbers j))))) compilation context...: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/text.rkt location...: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10 context...: /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:481:0: type-check .../private/parse-interp.rkt:643:50 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:115:12 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:71:0: tc-setup /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:700:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:634:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:450:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:436:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:407:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:210:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:105:4 /home/root/racket/collects/setup/parallel-build.rkt:385:9 /home/root/racket/collects/setup/parallel-do.rkt:471:25 /home/root/racket/collects/setup/parallel-do.rkt:457:20: loop /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10: Type Checker: type mismatch expected: (-> Any Any Boolean) given: (case-> (-> Integer One Boolean) (-> Real Zero Boolean) (-> Zero Real Boolean) (-> Real Real-Zero Boolean) (-> Real-Zero Real Boolean) (-> Byte Positive-Byte Boolean) (-> Byte Byte Boolean) (-> Positive-Integer Byte Boolean) (-> Positive-Real Byte Boolean) (-> Byte Positive-Integer Boolean) (-> Byte Positive-Exact-Rational Boolean) (-> Nonnegative-Integer Byte Boolean) (-> Nonnegative-Real Byte Boolean) (-> Byte Nonnegative-Integer Boolean) (-> Index Positive-Index Boolean) (-> Index Index Boolean) (-> Positive-Integer Index Boolean) (-> Positive-Real Index Boolean) (-> Index Positive-Integer Boolean) (-> Index Positive-Exact-Rational Boolean) (-> Nonnegative-Integer Index Boolean) (-> Nonnegative-Real Index Boolean) (-> Index Nonnegative-Integer Boolean) (-> Fixnum Positive-Integer Boolean) (-> Fixnum Positive-Exact-Rational Boolean) (-> Fixnum Nonnegative-Integer Boolean) (-> Fixnum Nonnegative-Exact-Rational Boolean) (-> Nonnegative-Integer Fixnum Boolean) (-> Nonnegative-Real Fixnum Boolean) (-> Fixnum Nonpositive-Integer Boolean) (-> Fixnum Nonpositive-Real Boolean) (-> Negative-Integer Fixnum Boolean) (-> Negative-Exact-Rational Fixnum Boolean) (-> Nonpositive-Integer Fixnum Boolean) (-> Nonpositive-Exact-Rational Fixnum Boolean) (-> Real +inf.0 Boolean) (-> -inf.0 Real Boolean) (-> +inf.0 Real Boolean) (-> Real -inf.0 Boolean) (-> Real True) (-> Integer Zero Boolean) (-> Zero Integer Boolean) (-> Integer (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Integer (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Integer Boolean) (-> Integer Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Integer Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Integer Boolean) (-> Exact-Rational Zero Boolean) (-> Zero Exact-Rational Boolean) (-> Exact-Rational (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Exact-Rational (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Exact-Rational Boolean) (-> Exact-Rational Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Exact-Rational Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Exact-Rational Boolean) (-> Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Flonum Boolean) (-> Flonum (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Flonum Boolean) (-> Flonum Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Flonum Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Flonum Boolean) (-> Single-Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Single-Flonum Boolean) (-> Single-Flonum (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Single-Flonum (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Single-Flonum Boolean) (-> Single-Flonum Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Single-Flonum Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Single-Flonum Boolean) (-> Inexact-Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Inexact-Real Boolean) (-> Inexact-Real (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Inexact-Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Inexact-Real Boolean) (-> Inexact-Real Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Inexact-Real Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Inexact-Real Boolean) (-> Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) Real Boolean) (-> Real (U Positive-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Real (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Nonnegative-Exact-Rational Positive-Float-No-NaN Positive-Single-Flonum-No-Nan) Boolean) (-> Nonnegative-Real Real Boolean) (-> Real Nonpositive-Real Boolean) (-> (U Negative-Exact-Rational Negative-Float-No-NaN Negative-Single-Flonum-No-Nan) Real Boolean) (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Negative-Float-No-NaN Negative-Single-Flonum-No-Nan Nonpositive-Exact-Rational) Real Boolean) (-> Real Real Real * Boolean)) in: ((inst sort Index) (range n) < #:key (λ ((j : Index)) (apply min (vector->list (vector-ref row-numbers j))))) compilation context...: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/xml.rkt location...: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10 context...: /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:481:0: type-check .../private/parse-interp.rkt:643:50 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:115:12 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:71:0: tc-setup /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:700:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:634:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:450:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:436:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:407:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:210:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:105:4 /home/root/racket/collects/setup/parallel-build.rkt:385:9 /home/root/racket/collects/setup/parallel-do.rkt:471:25 /home/root/racket/collects/setup/parallel-do.rkt:457:20: loop raco setup: --- creating launchers --- [14:40:00] raco setup: --- installing man pages --- [14:40:00] raco setup: --- building documentation --- [14:40:00] raco setup: syncing: /br-parser-tools-doc/br-parser-tools/doc/br-parser-tools raco setup: syncing: /html-parsing/doc/html-parsing raco setup: syncing: /html-template/doc/html-template raco setup: syncing: /html-writing/doc/html-writing raco setup: syncing: /mcfly/doc/mcfly raco setup: syncing: /overeasy/doc/overeasy raco setup: syncing: /sxml/sxml/doc/sxml raco setup: 0 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [14:40:05] raco setup: --- post-installing collections --- [14:40:05] raco setup: --- summary of errors --- [14:40:05] raco setup: error: during making for /knotty-lib raco setup: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10: Type Checker: type mismatch raco setup: expected: (-> Any Any Boolean) raco setup: given: (case-> raco setup: (-> Integer One Boolean) raco setup: (-> Real Zero Boolean) raco setup: (-> Zero Real Boolean) raco setup: (-> Real Real-Zero Boolean) raco setup: (-> Real-Zero Real Boolean) raco setup: (-> Byte Positive-Byte Boolean) raco setup: (-> Byte Byte Boolean) raco setup: (-> Positive-Integer Byte Boolean) raco setup: (-> Positive-Real Byte Boolean) raco setup: (-> Byte Positive-Integer Boolean) raco setup: (-> Byte Positive-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Byte Boolean) raco setup: (-> Nonnegative-Real Byte Boolean) raco setup: (-> Byte Nonnegative-Integer Boolean) raco setup: (-> Index Positive-Index Boolean) raco setup: (-> Index Index Boolean) raco setup: (-> Positive-Integer Index Boolean) raco setup: (-> Positive-Real Index Boolean) raco setup: (-> Index Positive-Integer Boolean) raco setup: (-> Index Positive-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Index Boolean) raco setup: (-> Nonnegative-Real Index Boolean) raco setup: (-> Index Nonnegative-Integer Boolean) raco setup: (-> Fixnum Positive-Integer Boolean) raco setup: (-> Fixnum Positive-Exact-Rational Boolean) raco setup: (-> Fixnum Nonnegative-Integer Boolean) raco setup: (-> Fixnum Nonnegative-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Fixnum Boolean) raco setup: (-> Nonnegative-Real Fixnum Boolean) raco setup: (-> Fixnum Nonpositive-Integer Boolean) raco setup: (-> Fixnum Nonpositive-Real Boolean) raco setup: (-> Negative-Integer Fixnum Boolean) raco setup: (-> Negative-Exact-Rational Fixnum Boolean) raco setup: (-> Nonpositive-Integer Fixnum Boolean) raco setup: (-> Nonpositive-Exact-Rational Fixnum Boolean) raco setup: (-> Real +inf.0 Boolean) raco setup: (-> -inf.0 Real Boolean) raco setup: (-> +inf.0 Real Boolean) raco setup: (-> Real -inf.0 Boolean) raco setup: (-> Real True) raco setup: (-> Integer Zero Boolean) raco setup: (-> Zero Integer Boolean) raco setup: (-> Integer raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Integer raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Integer Boolean) raco setup: (-> Integer Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Integer raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Integer raco setup: Boolean) raco setup: (-> Exact-Rational Zero Boolean) raco setup: (-> Zero Exact-Rational Boolean) raco setup: (-> Exact-Rational raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Exact-Rational raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Exact-Rational Boolean) raco setup: (-> Exact-Rational Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Exact-Rational raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Exact-Rational raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Flonum raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Flonum Boolean) raco setup: (-> Flonum Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Flonum raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Flonum raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Single-Flonum Boolean) raco setup: (-> Single-Flonum Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Inexact-Real Boolean) raco setup: (-> Inexact-Real Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> Real raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Real raco setup: Boolean) raco setup: (-> Real raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Real raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Real Boolean) raco setup: (-> Real Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Real raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Real raco setup: Boolean) raco setup: (-> Real Real Real * Boolean)) raco setup: in: ((inst sort Index) (range n) < #:key (λ ((j : Index)) (apply min (vector->list (vector-ref row-numbers j))))) raco setup: compiling: /knotty-lib/pattern.rkt raco setup: error: during making for /knotty-lib raco setup: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10: Type Checker: type mismatch raco setup: expected: (-> Any Any Boolean) raco setup: given: (case-> raco setup: (-> Integer One Boolean) raco setup: (-> Real Zero Boolean) raco setup: (-> Zero Real Boolean) raco setup: (-> Real Real-Zero Boolean) raco setup: (-> Real-Zero Real Boolean) raco setup: (-> Byte Positive-Byte Boolean) raco setup: (-> Byte Byte Boolean) raco setup: (-> Positive-Integer Byte Boolean) raco setup: (-> Positive-Real Byte Boolean) raco setup: (-> Byte Positive-Integer Boolean) raco setup: (-> Byte Positive-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Byte Boolean) raco setup: (-> Nonnegative-Real Byte Boolean) raco setup: (-> Byte Nonnegative-Integer Boolean) raco setup: (-> Index Positive-Index Boolean) raco setup: (-> Index Index Boolean) raco setup: (-> Positive-Integer Index Boolean) raco setup: (-> Positive-Real Index Boolean) raco setup: (-> Index Positive-Integer Boolean) raco setup: (-> Index Positive-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Index Boolean) raco setup: (-> Nonnegative-Real Index Boolean) raco setup: (-> Index Nonnegative-Integer Boolean) raco setup: (-> Fixnum Positive-Integer Boolean) raco setup: (-> Fixnum Positive-Exact-Rational Boolean) raco setup: (-> Fixnum Nonnegative-Integer Boolean) raco setup: (-> Fixnum Nonnegative-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Fixnum Boolean) raco setup: (-> Nonnegative-Real Fixnum Boolean) raco setup: (-> Fixnum Nonpositive-Integer Boolean) raco setup: (-> Fixnum Nonpositive-Real Boolean) raco setup: (-> Negative-Integer Fixnum Boolean) raco setup: (-> Negative-Exact-Rational Fixnum Boolean) raco setup: (-> Nonpositive-Integer Fixnum Boolean) raco setup: (-> Nonpositive-Exact-Rational Fixnum Boolean) raco setup: (-> Real +inf.0 Boolean) raco setup: (-> -inf.0 Real Boolean) raco setup: (-> +inf.0 Real Boolean) raco setup: (-> Real -inf.0 Boolean) raco setup: (-> Real True) raco setup: (-> Integer Zero Boolean) raco setup: (-> Zero Integer Boolean) raco setup: (-> Integer raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Integer raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Integer Boolean) raco setup: (-> Integer Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Integer raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Integer raco setup: Boolean) raco setup: (-> Exact-Rational Zero Boolean) raco setup: (-> Zero Exact-Rational Boolean) raco setup: (-> Exact-Rational raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Exact-Rational raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Exact-Rational Boolean) raco setup: (-> Exact-Rational Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Exact-Rational raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Exact-Rational raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Flonum raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Flonum Boolean) raco setup: (-> Flonum Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Flonum raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Flonum raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Single-Flonum Boolean) raco setup: (-> Single-Flonum Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Inexact-Real Boolean) raco setup: (-> Inexact-Real Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> Real raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Real raco setup: Boolean) raco setup: (-> Real raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Real raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Real Boolean) raco setup: (-> Real Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Real raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Real raco setup: Boolean) raco setup: (-> Real Real Real * Boolean)) raco setup: in: ((inst sort Index) (range n) < #:key (λ ((j : Index)) (apply min (vector->list (vector-ref row-numbers j))))) raco setup: compiling: /knotty-lib/chart.rkt raco setup: error: during making for /knotty-lib raco setup: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10: Type Checker: type mismatch raco setup: expected: (-> Any Any Boolean) raco setup: given: (case-> raco setup: (-> Integer One Boolean) raco setup: (-> Real Zero Boolean) raco setup: (-> Zero Real Boolean) raco setup: (-> Real Real-Zero Boolean) raco setup: (-> Real-Zero Real Boolean) raco setup: (-> Byte Positive-Byte Boolean) raco setup: (-> Byte Byte Boolean) raco setup: (-> Positive-Integer Byte Boolean) raco setup: (-> Positive-Real Byte Boolean) raco setup: (-> Byte Positive-Integer Boolean) raco setup: (-> Byte Positive-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Byte Boolean) raco setup: (-> Nonnegative-Real Byte Boolean) raco setup: (-> Byte Nonnegative-Integer Boolean) raco setup: (-> Index Positive-Index Boolean) raco setup: (-> Index Index Boolean) raco setup: (-> Positive-Integer Index Boolean) raco setup: (-> Positive-Real Index Boolean) raco setup: (-> Index Positive-Integer Boolean) raco setup: (-> Index Positive-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Index Boolean) raco setup: (-> Nonnegative-Real Index Boolean) raco setup: (-> Index Nonnegative-Integer Boolean) raco setup: (-> Fixnum Positive-Integer Boolean) raco setup: (-> Fixnum Positive-Exact-Rational Boolean) raco setup: (-> Fixnum Nonnegative-Integer Boolean) raco setup: (-> Fixnum Nonnegative-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Fixnum Boolean) raco setup: (-> Nonnegative-Real Fixnum Boolean) raco setup: (-> Fixnum Nonpositive-Integer Boolean) raco setup: (-> Fixnum Nonpositive-Real Boolean) raco setup: (-> Negative-Integer Fixnum Boolean) raco setup: (-> Negative-Exact-Rational Fixnum Boolean) raco setup: (-> Nonpositive-Integer Fixnum Boolean) raco setup: (-> Nonpositive-Exact-Rational Fixnum Boolean) raco setup: (-> Real +inf.0 Boolean) raco setup: (-> -inf.0 Real Boolean) raco setup: (-> +inf.0 Real Boolean) raco setup: (-> Real -inf.0 Boolean) raco setup: (-> Real True) raco setup: (-> Integer Zero Boolean) raco setup: (-> Zero Integer Boolean) raco setup: (-> Integer raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Integer raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Integer Boolean) raco setup: (-> Integer Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Integer raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Integer raco setup: Boolean) raco setup: (-> Exact-Rational Zero Boolean) raco setup: (-> Zero Exact-Rational Boolean) raco setup: (-> Exact-Rational raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Exact-Rational raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Exact-Rational Boolean) raco setup: (-> Exact-Rational Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Exact-Rational raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Exact-Rational raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Flonum raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Flonum Boolean) raco setup: (-> Flonum Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Flonum raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Flonum raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Single-Flonum Boolean) raco setup: (-> Single-Flonum Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Inexact-Real Boolean) raco setup: (-> Inexact-Real Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> Real raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Real raco setup: Boolean) raco setup: (-> Real raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Real raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Real Boolean) raco setup: (-> Real Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Real raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Real raco setup: Boolean) raco setup: (-> Real Real Real * Boolean)) raco setup: in: ((inst sort Index) (range n) < #:key (λ ((j : Index)) (apply min (vector->list (vector-ref row-numbers j))))) raco setup: compiling: /knotty-lib/main.rkt raco setup: error: during making for /knotty-lib raco setup: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10: Type Checker: type mismatch raco setup: expected: (-> Any Any Boolean) raco setup: given: (case-> raco setup: (-> Integer One Boolean) raco setup: (-> Real Zero Boolean) raco setup: (-> Zero Real Boolean) raco setup: (-> Real Real-Zero Boolean) raco setup: (-> Real-Zero Real Boolean) raco setup: (-> Byte Positive-Byte Boolean) raco setup: (-> Byte Byte Boolean) raco setup: (-> Positive-Integer Byte Boolean) raco setup: (-> Positive-Real Byte Boolean) raco setup: (-> Byte Positive-Integer Boolean) raco setup: (-> Byte Positive-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Byte Boolean) raco setup: (-> Nonnegative-Real Byte Boolean) raco setup: (-> Byte Nonnegative-Integer Boolean) raco setup: (-> Index Positive-Index Boolean) raco setup: (-> Index Index Boolean) raco setup: (-> Positive-Integer Index Boolean) raco setup: (-> Positive-Real Index Boolean) raco setup: (-> Index Positive-Integer Boolean) raco setup: (-> Index Positive-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Index Boolean) raco setup: (-> Nonnegative-Real Index Boolean) raco setup: (-> Index Nonnegative-Integer Boolean) raco setup: (-> Fixnum Positive-Integer Boolean) raco setup: (-> Fixnum Positive-Exact-Rational Boolean) raco setup: (-> Fixnum Nonnegative-Integer Boolean) raco setup: (-> Fixnum Nonnegative-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Fixnum Boolean) raco setup: (-> Nonnegative-Real Fixnum Boolean) raco setup: (-> Fixnum Nonpositive-Integer Boolean) raco setup: (-> Fixnum Nonpositive-Real Boolean) raco setup: (-> Negative-Integer Fixnum Boolean) raco setup: (-> Negative-Exact-Rational Fixnum Boolean) raco setup: (-> Nonpositive-Integer Fixnum Boolean) raco setup: (-> Nonpositive-Exact-Rational Fixnum Boolean) raco setup: (-> Real +inf.0 Boolean) raco setup: (-> -inf.0 Real Boolean) raco setup: (-> +inf.0 Real Boolean) raco setup: (-> Real -inf.0 Boolean) raco setup: (-> Real True) raco setup: (-> Integer Zero Boolean) raco setup: (-> Zero Integer Boolean) raco setup: (-> Integer raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Integer raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Integer Boolean) raco setup: (-> Integer Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Integer raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Integer raco setup: Boolean) raco setup: (-> Exact-Rational Zero Boolean) raco setup: (-> Zero Exact-Rational Boolean) raco setup: (-> Exact-Rational raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Exact-Rational raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Exact-Rational Boolean) raco setup: (-> Exact-Rational Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Exact-Rational raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Exact-Rational raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Flonum raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Flonum Boolean) raco setup: (-> Flonum Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Flonum raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Flonum raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Single-Flonum Boolean) raco setup: (-> Single-Flonum Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Inexact-Real Boolean) raco setup: (-> Inexact-Real Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> Real raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Real raco setup: Boolean) raco setup: (-> Real raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Real raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Real Boolean) raco setup: (-> Real Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Real raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Real raco setup: Boolean) raco setup: (-> Real Real Real * Boolean)) raco setup: in: ((inst sort Index) (range n) < #:key (λ ((j : Index)) (apply min (vector->list (vector-ref row-numbers j))))) raco setup: compiling: /knotty-lib/gui.rkt raco setup: error: during making for /knotty-lib raco setup: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10: Type Checker: type mismatch raco setup: expected: (-> Any Any Boolean) raco setup: given: (case-> raco setup: (-> Integer One Boolean) raco setup: (-> Real Zero Boolean) raco setup: (-> Zero Real Boolean) raco setup: (-> Real Real-Zero Boolean) raco setup: (-> Real-Zero Real Boolean) raco setup: (-> Byte Positive-Byte Boolean) raco setup: (-> Byte Byte Boolean) raco setup: (-> Positive-Integer Byte Boolean) raco setup: (-> Positive-Real Byte Boolean) raco setup: (-> Byte Positive-Integer Boolean) raco setup: (-> Byte Positive-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Byte Boolean) raco setup: (-> Nonnegative-Real Byte Boolean) raco setup: (-> Byte Nonnegative-Integer Boolean) raco setup: (-> Index Positive-Index Boolean) raco setup: (-> Index Index Boolean) raco setup: (-> Positive-Integer Index Boolean) raco setup: (-> Positive-Real Index Boolean) raco setup: (-> Index Positive-Integer Boolean) raco setup: (-> Index Positive-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Index Boolean) raco setup: (-> Nonnegative-Real Index Boolean) raco setup: (-> Index Nonnegative-Integer Boolean) raco setup: (-> Fixnum Positive-Integer Boolean) raco setup: (-> Fixnum Positive-Exact-Rational Boolean) raco setup: (-> Fixnum Nonnegative-Integer Boolean) raco setup: (-> Fixnum Nonnegative-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Fixnum Boolean) raco setup: (-> Nonnegative-Real Fixnum Boolean) raco setup: (-> Fixnum Nonpositive-Integer Boolean) raco setup: (-> Fixnum Nonpositive-Real Boolean) raco setup: (-> Negative-Integer Fixnum Boolean) raco setup: (-> Negative-Exact-Rational Fixnum Boolean) raco setup: (-> Nonpositive-Integer Fixnum Boolean) raco setup: (-> Nonpositive-Exact-Rational Fixnum Boolean) raco setup: (-> Real +inf.0 Boolean) raco setup: (-> -inf.0 Real Boolean) raco setup: (-> +inf.0 Real Boolean) raco setup: (-> Real -inf.0 Boolean) raco setup: (-> Real True) raco setup: (-> Integer Zero Boolean) raco setup: (-> Zero Integer Boolean) raco setup: (-> Integer raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Integer raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Integer Boolean) raco setup: (-> Integer Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Integer raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Integer raco setup: Boolean) raco setup: (-> Exact-Rational Zero Boolean) raco setup: (-> Zero Exact-Rational Boolean) raco setup: (-> Exact-Rational raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Exact-Rational raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Exact-Rational Boolean) raco setup: (-> Exact-Rational Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Exact-Rational raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Exact-Rational raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Flonum raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Flonum Boolean) raco setup: (-> Flonum Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Flonum raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Flonum raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Single-Flonum Boolean) raco setup: (-> Single-Flonum Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Inexact-Real Boolean) raco setup: (-> Inexact-Real Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> Real raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Real raco setup: Boolean) raco setup: (-> Real raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Real raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Real Boolean) raco setup: (-> Real Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Real raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Real raco setup: Boolean) raco setup: (-> Real Real Real * Boolean)) raco setup: in: ((inst sort Index) (range n) < #:key (λ ((j : Index)) (apply min (vector->list (vector-ref row-numbers j))))) raco setup: compiling: /knotty-lib/html.rkt raco setup: error: during making for /knotty-lib raco setup: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10: Type Checker: type mismatch raco setup: expected: (-> Any Any Boolean) raco setup: given: (case-> raco setup: (-> Integer One Boolean) raco setup: (-> Real Zero Boolean) raco setup: (-> Zero Real Boolean) raco setup: (-> Real Real-Zero Boolean) raco setup: (-> Real-Zero Real Boolean) raco setup: (-> Byte Positive-Byte Boolean) raco setup: (-> Byte Byte Boolean) raco setup: (-> Positive-Integer Byte Boolean) raco setup: (-> Positive-Real Byte Boolean) raco setup: (-> Byte Positive-Integer Boolean) raco setup: (-> Byte Positive-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Byte Boolean) raco setup: (-> Nonnegative-Real Byte Boolean) raco setup: (-> Byte Nonnegative-Integer Boolean) raco setup: (-> Index Positive-Index Boolean) raco setup: (-> Index Index Boolean) raco setup: (-> Positive-Integer Index Boolean) raco setup: (-> Positive-Real Index Boolean) raco setup: (-> Index Positive-Integer Boolean) raco setup: (-> Index Positive-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Index Boolean) raco setup: (-> Nonnegative-Real Index Boolean) raco setup: (-> Index Nonnegative-Integer Boolean) raco setup: (-> Fixnum Positive-Integer Boolean) raco setup: (-> Fixnum Positive-Exact-Rational Boolean) raco setup: (-> Fixnum Nonnegative-Integer Boolean) raco setup: (-> Fixnum Nonnegative-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Fixnum Boolean) raco setup: (-> Nonnegative-Real Fixnum Boolean) raco setup: (-> Fixnum Nonpositive-Integer Boolean) raco setup: (-> Fixnum Nonpositive-Real Boolean) raco setup: (-> Negative-Integer Fixnum Boolean) raco setup: (-> Negative-Exact-Rational Fixnum Boolean) raco setup: (-> Nonpositive-Integer Fixnum Boolean) raco setup: (-> Nonpositive-Exact-Rational Fixnum Boolean) raco setup: (-> Real +inf.0 Boolean) raco setup: (-> -inf.0 Real Boolean) raco setup: (-> +inf.0 Real Boolean) raco setup: (-> Real -inf.0 Boolean) raco setup: (-> Real True) raco setup: (-> Integer Zero Boolean) raco setup: (-> Zero Integer Boolean) raco setup: (-> Integer raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Integer raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Integer Boolean) raco setup: (-> Integer Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Integer raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Integer raco setup: Boolean) raco setup: (-> Exact-Rational Zero Boolean) raco setup: (-> Zero Exact-Rational Boolean) raco setup: (-> Exact-Rational raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Exact-Rational raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Exact-Rational Boolean) raco setup: (-> Exact-Rational Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Exact-Rational raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Exact-Rational raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Flonum raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Flonum Boolean) raco setup: (-> Flonum Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Flonum raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Flonum raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Single-Flonum Boolean) raco setup: (-> Single-Flonum Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Inexact-Real Boolean) raco setup: (-> Inexact-Real Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> Real raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Real raco setup: Boolean) raco setup: (-> Real raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Real raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Real Boolean) raco setup: (-> Real Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Real raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Real raco setup: Boolean) raco setup: (-> Real Real Real * Boolean)) raco setup: in: ((inst sort Index) (range n) < #:key (λ ((j : Index)) (apply min (vector->list (vector-ref row-numbers j))))) raco setup: compiling: /knotty-lib/knitspeak.rkt raco setup: error: during making for /knotty-lib raco setup: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10: Type Checker: type mismatch raco setup: expected: (-> Any Any Boolean) raco setup: given: (case-> raco setup: (-> Integer One Boolean) raco setup: (-> Real Zero Boolean) raco setup: (-> Zero Real Boolean) raco setup: (-> Real Real-Zero Boolean) raco setup: (-> Real-Zero Real Boolean) raco setup: (-> Byte Positive-Byte Boolean) raco setup: (-> Byte Byte Boolean) raco setup: (-> Positive-Integer Byte Boolean) raco setup: (-> Positive-Real Byte Boolean) raco setup: (-> Byte Positive-Integer Boolean) raco setup: (-> Byte Positive-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Byte Boolean) raco setup: (-> Nonnegative-Real Byte Boolean) raco setup: (-> Byte Nonnegative-Integer Boolean) raco setup: (-> Index Positive-Index Boolean) raco setup: (-> Index Index Boolean) raco setup: (-> Positive-Integer Index Boolean) raco setup: (-> Positive-Real Index Boolean) raco setup: (-> Index Positive-Integer Boolean) raco setup: (-> Index Positive-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Index Boolean) raco setup: (-> Nonnegative-Real Index Boolean) raco setup: (-> Index Nonnegative-Integer Boolean) raco setup: (-> Fixnum Positive-Integer Boolean) raco setup: (-> Fixnum Positive-Exact-Rational Boolean) raco setup: (-> Fixnum Nonnegative-Integer Boolean) raco setup: (-> Fixnum Nonnegative-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Fixnum Boolean) raco setup: (-> Nonnegative-Real Fixnum Boolean) raco setup: (-> Fixnum Nonpositive-Integer Boolean) raco setup: (-> Fixnum Nonpositive-Real Boolean) raco setup: (-> Negative-Integer Fixnum Boolean) raco setup: (-> Negative-Exact-Rational Fixnum Boolean) raco setup: (-> Nonpositive-Integer Fixnum Boolean) raco setup: (-> Nonpositive-Exact-Rational Fixnum Boolean) raco setup: (-> Real +inf.0 Boolean) raco setup: (-> -inf.0 Real Boolean) raco setup: (-> +inf.0 Real Boolean) raco setup: (-> Real -inf.0 Boolean) raco setup: (-> Real True) raco setup: (-> Integer Zero Boolean) raco setup: (-> Zero Integer Boolean) raco setup: (-> Integer raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Integer raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Integer Boolean) raco setup: (-> Integer Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Integer raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Integer raco setup: Boolean) raco setup: (-> Exact-Rational Zero Boolean) raco setup: (-> Zero Exact-Rational Boolean) raco setup: (-> Exact-Rational raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Exact-Rational raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Exact-Rational Boolean) raco setup: (-> Exact-Rational Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Exact-Rational raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Exact-Rational raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Flonum raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Flonum Boolean) raco setup: (-> Flonum Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Flonum raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Flonum raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Single-Flonum Boolean) raco setup: (-> Single-Flonum Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Inexact-Real Boolean) raco setup: (-> Inexact-Real Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> Real raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Real raco setup: Boolean) raco setup: (-> Real raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Real raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Real Boolean) raco setup: (-> Real Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Real raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Real raco setup: Boolean) raco setup: (-> Real Real Real * Boolean)) raco setup: in: ((inst sort Index) (range n) < #:key (λ ((j : Index)) (apply min (vector->list (vector-ref row-numbers j))))) raco setup: compiling: /knotty-lib/png.rkt raco setup: error: during making for /knotty-lib raco setup: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10: Type Checker: type mismatch raco setup: expected: (-> Any Any Boolean) raco setup: given: (case-> raco setup: (-> Integer One Boolean) raco setup: (-> Real Zero Boolean) raco setup: (-> Zero Real Boolean) raco setup: (-> Real Real-Zero Boolean) raco setup: (-> Real-Zero Real Boolean) raco setup: (-> Byte Positive-Byte Boolean) raco setup: (-> Byte Byte Boolean) raco setup: (-> Positive-Integer Byte Boolean) raco setup: (-> Positive-Real Byte Boolean) raco setup: (-> Byte Positive-Integer Boolean) raco setup: (-> Byte Positive-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Byte Boolean) raco setup: (-> Nonnegative-Real Byte Boolean) raco setup: (-> Byte Nonnegative-Integer Boolean) raco setup: (-> Index Positive-Index Boolean) raco setup: (-> Index Index Boolean) raco setup: (-> Positive-Integer Index Boolean) raco setup: (-> Positive-Real Index Boolean) raco setup: (-> Index Positive-Integer Boolean) raco setup: (-> Index Positive-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Index Boolean) raco setup: (-> Nonnegative-Real Index Boolean) raco setup: (-> Index Nonnegative-Integer Boolean) raco setup: (-> Fixnum Positive-Integer Boolean) raco setup: (-> Fixnum Positive-Exact-Rational Boolean) raco setup: (-> Fixnum Nonnegative-Integer Boolean) raco setup: (-> Fixnum Nonnegative-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Fixnum Boolean) raco setup: (-> Nonnegative-Real Fixnum Boolean) raco setup: (-> Fixnum Nonpositive-Integer Boolean) raco setup: (-> Fixnum Nonpositive-Real Boolean) raco setup: (-> Negative-Integer Fixnum Boolean) raco setup: (-> Negative-Exact-Rational Fixnum Boolean) raco setup: (-> Nonpositive-Integer Fixnum Boolean) raco setup: (-> Nonpositive-Exact-Rational Fixnum Boolean) raco setup: (-> Real +inf.0 Boolean) raco setup: (-> -inf.0 Real Boolean) raco setup: (-> +inf.0 Real Boolean) raco setup: (-> Real -inf.0 Boolean) raco setup: (-> Real True) raco setup: (-> Integer Zero Boolean) raco setup: (-> Zero Integer Boolean) raco setup: (-> Integer raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Integer raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Integer Boolean) raco setup: (-> Integer Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Integer raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Integer raco setup: Boolean) raco setup: (-> Exact-Rational Zero Boolean) raco setup: (-> Zero Exact-Rational Boolean) raco setup: (-> Exact-Rational raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Exact-Rational raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Exact-Rational Boolean) raco setup: (-> Exact-Rational Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Exact-Rational raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Exact-Rational raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Flonum raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Flonum Boolean) raco setup: (-> Flonum Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Flonum raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Flonum raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Single-Flonum Boolean) raco setup: (-> Single-Flonum Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Inexact-Real Boolean) raco setup: (-> Inexact-Real Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> Real raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Real raco setup: Boolean) raco setup: (-> Real raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Real raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Real Boolean) raco setup: (-> Real Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Real raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Real raco setup: Boolean) raco setup: (-> Real Real Real * Boolean)) raco setup: in: ((inst sort Index) (range n) < #:key (λ ((j : Index)) (apply min (vector->list (vector-ref row-numbers j))))) raco setup: compiling: /knotty-lib/serv.rkt raco setup: error: during making for /knotty-lib raco setup: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10: Type Checker: type mismatch raco setup: expected: (-> Any Any Boolean) raco setup: given: (case-> raco setup: (-> Integer One Boolean) raco setup: (-> Real Zero Boolean) raco setup: (-> Zero Real Boolean) raco setup: (-> Real Real-Zero Boolean) raco setup: (-> Real-Zero Real Boolean) raco setup: (-> Byte Positive-Byte Boolean) raco setup: (-> Byte Byte Boolean) raco setup: (-> Positive-Integer Byte Boolean) raco setup: (-> Positive-Real Byte Boolean) raco setup: (-> Byte Positive-Integer Boolean) raco setup: (-> Byte Positive-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Byte Boolean) raco setup: (-> Nonnegative-Real Byte Boolean) raco setup: (-> Byte Nonnegative-Integer Boolean) raco setup: (-> Index Positive-Index Boolean) raco setup: (-> Index Index Boolean) raco setup: (-> Positive-Integer Index Boolean) raco setup: (-> Positive-Real Index Boolean) raco setup: (-> Index Positive-Integer Boolean) raco setup: (-> Index Positive-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Index Boolean) raco setup: (-> Nonnegative-Real Index Boolean) raco setup: (-> Index Nonnegative-Integer Boolean) raco setup: (-> Fixnum Positive-Integer Boolean) raco setup: (-> Fixnum Positive-Exact-Rational Boolean) raco setup: (-> Fixnum Nonnegative-Integer Boolean) raco setup: (-> Fixnum Nonnegative-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Fixnum Boolean) raco setup: (-> Nonnegative-Real Fixnum Boolean) raco setup: (-> Fixnum Nonpositive-Integer Boolean) raco setup: (-> Fixnum Nonpositive-Real Boolean) raco setup: (-> Negative-Integer Fixnum Boolean) raco setup: (-> Negative-Exact-Rational Fixnum Boolean) raco setup: (-> Nonpositive-Integer Fixnum Boolean) raco setup: (-> Nonpositive-Exact-Rational Fixnum Boolean) raco setup: (-> Real +inf.0 Boolean) raco setup: (-> -inf.0 Real Boolean) raco setup: (-> +inf.0 Real Boolean) raco setup: (-> Real -inf.0 Boolean) raco setup: (-> Real True) raco setup: (-> Integer Zero Boolean) raco setup: (-> Zero Integer Boolean) raco setup: (-> Integer raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Integer raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Integer Boolean) raco setup: (-> Integer Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Integer raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Integer raco setup: Boolean) raco setup: (-> Exact-Rational Zero Boolean) raco setup: (-> Zero Exact-Rational Boolean) raco setup: (-> Exact-Rational raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Exact-Rational raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Exact-Rational Boolean) raco setup: (-> Exact-Rational Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Exact-Rational raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Exact-Rational raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Flonum raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Flonum Boolean) raco setup: (-> Flonum Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Flonum raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Flonum raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Single-Flonum Boolean) raco setup: (-> Single-Flonum Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Inexact-Real Boolean) raco setup: (-> Inexact-Real Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> Real raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Real raco setup: Boolean) raco setup: (-> Real raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Real raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Real Boolean) raco setup: (-> Real Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Real raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Real raco setup: Boolean) raco setup: (-> Real Real Real * Boolean)) raco setup: in: ((inst sort Index) (range n) < #:key (λ ((j : Index)) (apply min (vector->list (vector-ref row-numbers j))))) raco setup: compiling: /knotty-lib/text.rkt raco setup: error: during making for /knotty-lib raco setup: /home/root/user/.local/share/racket/8.14/pkgs/knotty-lib/pattern.rkt:466:10: Type Checker: type mismatch raco setup: expected: (-> Any Any Boolean) raco setup: given: (case-> raco setup: (-> Integer One Boolean) raco setup: (-> Real Zero Boolean) raco setup: (-> Zero Real Boolean) raco setup: (-> Real Real-Zero Boolean) raco setup: (-> Real-Zero Real Boolean) raco setup: (-> Byte Positive-Byte Boolean) raco setup: (-> Byte Byte Boolean) raco setup: (-> Positive-Integer Byte Boolean) raco setup: (-> Positive-Real Byte Boolean) raco setup: (-> Byte Positive-Integer Boolean) raco setup: (-> Byte Positive-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Byte Boolean) raco setup: (-> Nonnegative-Real Byte Boolean) raco setup: (-> Byte Nonnegative-Integer Boolean) raco setup: (-> Index Positive-Index Boolean) raco setup: (-> Index Index Boolean) raco setup: (-> Positive-Integer Index Boolean) raco setup: (-> Positive-Real Index Boolean) raco setup: (-> Index Positive-Integer Boolean) raco setup: (-> Index Positive-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Index Boolean) raco setup: (-> Nonnegative-Real Index Boolean) raco setup: (-> Index Nonnegative-Integer Boolean) raco setup: (-> Fixnum Positive-Integer Boolean) raco setup: (-> Fixnum Positive-Exact-Rational Boolean) raco setup: (-> Fixnum Nonnegative-Integer Boolean) raco setup: (-> Fixnum Nonnegative-Exact-Rational Boolean) raco setup: (-> Nonnegative-Integer Fixnum Boolean) raco setup: (-> Nonnegative-Real Fixnum Boolean) raco setup: (-> Fixnum Nonpositive-Integer Boolean) raco setup: (-> Fixnum Nonpositive-Real Boolean) raco setup: (-> Negative-Integer Fixnum Boolean) raco setup: (-> Negative-Exact-Rational Fixnum Boolean) raco setup: (-> Nonpositive-Integer Fixnum Boolean) raco setup: (-> Nonpositive-Exact-Rational Fixnum Boolean) raco setup: (-> Real +inf.0 Boolean) raco setup: (-> -inf.0 Real Boolean) raco setup: (-> +inf.0 Real Boolean) raco setup: (-> Real -inf.0 Boolean) raco setup: (-> Real True) raco setup: (-> Integer Zero Boolean) raco setup: (-> Zero Integer Boolean) raco setup: (-> Integer raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Integer raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Integer Boolean) raco setup: (-> Integer Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Integer raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Integer raco setup: Boolean) raco setup: (-> Exact-Rational Zero Boolean) raco setup: (-> Zero Exact-Rational Boolean) raco setup: (-> Exact-Rational raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Exact-Rational raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Exact-Rational Boolean) raco setup: (-> Exact-Rational Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Exact-Rational raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Exact-Rational raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Flonum raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Flonum raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Flonum Boolean) raco setup: (-> Flonum Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Flonum raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Flonum raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Single-Flonum raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Single-Flonum Boolean) raco setup: (-> Single-Flonum Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Single-Flonum raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Inexact-Real raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Inexact-Real Boolean) raco setup: (-> Inexact-Real Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Inexact-Real raco setup: Boolean) raco setup: (-> Real raco setup: (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero Inexact-Real-Positive-Zero Zero) raco setup: Real raco setup: Boolean) raco setup: (-> Real raco setup: (U Positive-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Real raco setup: (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Nonnegative-Exact-Rational raco setup: Positive-Float-No-NaN raco setup: Positive-Single-Flonum-No-Nan) raco setup: Boolean) raco setup: (-> Nonnegative-Real Real Boolean) raco setup: (-> Real Nonpositive-Real Boolean) raco setup: (-> (U Negative-Exact-Rational raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan) raco setup: Real raco setup: Boolean) raco setup: (-> (U Inexact-Real-Negative-Zero raco setup: Inexact-Real-Positive-Zero raco setup: Negative-Float-No-NaN raco setup: Negative-Single-Flonum-No-Nan raco setup: Nonpositive-Exact-Rational) raco setup: Real raco setup: Boolean) raco setup: (-> Real Real Real * Boolean)) raco setup: in: ((inst sort Index) (range n) < #:key (λ ((j : Index)) (apply min (vector->list (vector-ref row-numbers j))))) raco setup: compiling: /knotty-lib/xml.rkt racket pkg install: packages installed, although setup reported errors The time is now Thursday, August 29th, 2024 2:40:05pm