Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

Iris rejects Extend function instance with invalid kind

Chiusa
  • Qualcosa non va?
#601 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

I maintainer di solito rispondono entro 1 giorno

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
4/5
Tempo stimato
3-5 giorni
Idoneità per principianti
52/100
Tipo di issue
Bug
Chiarezza
Specificata chiaramente
Stato di attività
Attiva
Stack tecnologico
node.js, rust
Ambito
compilers

Direzione di ricerca

Reproduce the disagreement using spago.yaml and src/Main.purs, first running spago build and the Node command, then iris build --quiet --color never. Investigate Iris's handling of the Extend expression at src/Main.purs:9 and the resulting CannotUnify diagnostics. Done means Iris compiles this reproduction without errors, matching purs's successful result.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

With purs 0.15.15, Iris 0.1.1, Spago 1.0.3 and Node 22.16.0, create these two files in a fresh directory:

spago.yaml:

package:
  name: extend-function-repro
  dependencies:
    - control
    - effect
    - console
workspace:
  packageSet:
    registry: 81.1.0

src/Main.purs:

module Main where

import Prelude
import Control.Extend as Extend
import Effect (Effect)
import Effect.Console (log)

main :: Effect Unit
main = log (show (Extend.extend (\f -> f "B") (\s -> s <> "!") "A"))

Run from that directory with spago, purs and iris on PATH:

spago build
node -e 'import("./output/Main/index.js").then(m => m.main())'
iris build --quiet --color never

Observed: spago build succeeds with zero errors and purs's output prints "AB!". Iris exits with status 1, reporting two CannotUnify errors at src/Main.purs:9 (Cannot unify 'Type' with '?[invalid kind]'), followed by NoInstanceFound: Show ?[invalid function application] and compilation failed. The latter diagnostic may be cascading; the internal cause is not established. This is a compile disagreement, not a runtime mismatch.

The expression uses the Semigroup String => Extend ((->) String) instance from control 6.0.0: evaluating the extended function at "A" asks the input function for "B", yielding "AB!". The resolved registry dependencies are control 6.0.0, prelude 6.0.2, newtype 5.0.0, safe-coerce 2.0.0, unsafe-coerce 6.0.0, effect 4.0.0 and console 6.1.0. The generated spago.lock for this two-file reproduction has SHA-256 c54a52bb0a07f41b163cc3f844ae27449ff19980919fecb92c72243264918f26.

Lingua principale
Rust
Stelle
117
Fork
11
Merge medio
4h 27m
PR unite (30g)
123

Preparare l'ambiente

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di purefunctor/purescript-iris

Tutte le issue di purefunctor/purescript-iris

Issue simili

Altre issue su Rust

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.