Issues · LogosLang/prologos · GitHub

Labels Milestones

Inference: a section over a fully-specced user function doesn't infer its type in a no-expected-type position

#76

· hierophantos opened

on Jul 5, 2026

tree-sitter grammar: tokenize logic/relational keywords (schema/defr/rel/solve/explain/forall/exists/query)

#75

· hierophantos opened

on Jul 3, 2026

REPL polish after #73 (shared session extraction + session-aware commands)

#74

· hierophantos opened

on Jul 3, 2026

Silent op-name shadowing: bare lt/eq resolve to String foreigns, add/sub to Nat defns — wrong types in HOFs instead of errors

#72

· hierophantos opened

on Jul 2, 2026

Reader: bare < tokenizes as angle-opener and silently swallows the rest of the file

#69

· hierophantos opened

on Jul 2, 2026

def-RHS position defect: trait-generic collection results rejected by driver gates (work in eval)

#68

· hierophantos opened

on Jul 2, 2026

No duplicate-binding diagnostics: trait/spec/import registries are silent last-write-wins

#67

· hierophantos opened

on Jul 2, 2026

Spec-store bare-name keying: same-named specs from different modules silently clobber

#66

· hierophantos opened

on Jul 2, 2026

Extend bench-ab.rkt with --refs for multi-way A/B/C+ comparison

#63

· hierophantos opened

on May 17, 2026

Default solver: install-time recursion on NAF over recursive predicate

#62

· hierophantos opened

on May 9, 2026

`:refer-all` chains don't establish type identity for spec-level type-name resolution

#61

· kumavis opened

on May 6, 2026

Multi-constructor `data` types break cross-module inference for callers using bound vars

#60

· kumavis opened

on May 6, 2026