insert and forall in record
Ninguém assumiu esta issue ainda.
Avaliação
- Dificuldade
- 4/5
- Tempo estimado
- 3-5 dias
- Facilidade para iniciantes
- 25/100
- Tipo de issue
- Bug
- Clareza
- Razoavelmente clara
- Status de atividade
- Estagnada
- Domínio
- backend
Direção de pesquisa
The issue gives a PureScript example using Data.Record.insert, Type.Row.RowLacks, and a polymorphic row containing forall a. Array a; it does not name implementation or test files. Start by reading the insert type and the row-union constraints involved, then check whether the compiler can resolve this example. Done means explaining the failure and identifying whether the limitation belongs to this library or the compiler.
Escrita pelo modelo de indexação a partir do texto da issue.
Descrição
If i have forall in record then you can't insert
module Main where
import Prelude
import Control.Monad.Eff (Eff)
import Data.Record (insert)
import Data.Symbol (SProxy(..))
import Type.Row (class RowLacks)
type ConfigR r = (baz :: forall a. Array a | r)
type Config r = Record (ConfigR r)
add
:: forall r
. RowLacks "fiz" (ConfigR r)
=> Config r
-> Config ( fiz :: String | r)
add c = insert (SProxy :: SProxy "fiz") "foo" c
error is:
No type class instance was found for
Prim.Union ( baz :: forall a. Array a
| r4
)
( fiz :: Entry
)
( fiz :: t5
| t6
)
Any explanation of why it happens?
I guess if you have forall in record compiler can't calculate Union for it
- Linguagem predominante
- PureScript
- Estrelas
- 68
- Forks
- 33
- Merge médio
- 2d 23h
- PRs com merge (30d)
- 1
Preparar o ambiente
- Sem Dockerfile nem arquivo Docker Compose
- Tem um modelo de pull request
- Sem guia de contribuição
Primeiros passos
- Leia a issue inteira e depois o guia de contribuição do projeto.
- Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
- Faça um fork do repositório e trabalhe em uma branch.
- Abra um pull request que referencie o número da issue.
Mais de purescript/purescript-record
-
Thoughts on replacing Proxy with VTA?Talvez já em andamento @pete-murphy assumiu há 1043 dias. Aberta
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 10/100
purescript/purescript-record#85 · 3 comentários · 2 reações ·
-
Add `mergeFlipped`Aberta
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 35/100
purescript/purescript-record#84 · 5 comentários · 1 reação ·
-
type: documentation
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
purescript/purescript-record#49 · 7 comentários ·
-
pick functionAbertapurs-0.15 type: breaking change
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 20/100
purescript/purescript-record#5 · 6 comentários ·
Todas as issues de purescript/purescript-record
Issues semelhantes
-
ManageSieve proxy: a backend's NO/BYE greeting is skipped as a capability line and reported as EOFAbertabug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 72/100
Mantenedores costumam responder em até 1 dia
-
Mend: dependency security vulnerability
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 62/100
ManageIQ/manageiq-pods#1476 ·
Mantenedores costumam responder em até 1 dia
-
mcp: typed tool handlers lose wrapped JSON-RPC errorsTalvez livre de novo Um pull request para esta issue foi fechado sem ser mesclado. Aberta
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 85/100
modelcontextprotocol/go-sdk#1529 · 1 comentário ·
Mantenedores costumam responder em até 1 dia
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 66/100
FinanceFlash/unvibecode#818 ·
Mantenedores costumam responder em até 1 dia
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 70/100