Search results

[checkSub] encountered MSVar (checking non-whnf substitution)

A | coreaffecting the typecheckeraffecting the typechecker

B | bugunexpected or incorrect behaviourunexpected or incorrect behaviour

Status: Open.

#274 In Beluga-lang/Beluga;

· ryanakca opened on Aug 8, 2024

Internal error: [fmt_ppr_lf_infix_operator] spine length <> 2

A | printingaffecting the pretty-printer, error messages, etc.affecting the pretty-printer, error messages, etc.

B | bugunexpected or incorrect behaviourunexpected or incorrect behaviour

Status: Open.

#272 In Beluga-lang/Beluga;

· ryanakca opened on Jul 3, 2024

File "src/core/lfrecon.ml", line 1205, characters 9-14: Pattern matching failed

A | coreaffecting the typecheckeraffecting the typechecker

B | bugunexpected or incorrect behaviourunexpected or incorrect behaviour

Status: Open.

#269 In Beluga-lang/Beluga;

· ryanakca opened on Jun 6, 2023

Uncaught exception: "missing type information"

A | coreaffecting the typecheckeraffecting the typechecker

B | bugunexpected or incorrect behaviourunexpected or incorrect behaviour

Status: Open.

#268 In Beluga-lang/Beluga;

· ryanakca opened on Jun 2, 2023

Degraded performance of <code>auto-invert-solve</code> in OCaml 5.0.0

A | proof searchaffecting the proof search algorithmaffecting the proof search algorithm

B | performancecorrect, but slowcorrect, but slow

Status: Open.

#267 In Beluga-lang/Beluga;

· MartyO256 opened on May 17, 2023

Harpoon: Uncaught exception when attempting to split/invert something

A | coreaffecting the typecheckeraffecting the typechecker

A | harpoonaffecting the Harpoon interactive proveraffecting the Harpoon interactive prover

B | bugunexpected or incorrect behaviourunexpected or incorrect behaviour

Status: Open.

#257 In Beluga-lang/Beluga;

· chutasano opened on Nov 8, 2022

Internal error

A | frontendrelated to the lexer or parserrelated to the lexer or parser

B | enhancementnew featuresnew features

Status: Open.

#253 In Beluga-lang/Beluga;

· mb64 opened on Jan 30, 2022

Dune environment variables suppressing compiler warnings

A | miscmiscellaneous issuesmiscellaneous issues

B | refactorchanging the implementation of existing featureschanging the implementation of existing features

Status: Open.

#244 In Beluga-lang/Beluga;

· MartyO256 opened on May 25, 2021

<code>some</code> in context schema as requirement for instantiating <code>block</code>

A | coreaffecting the typecheckeraffecting the typechecker

B | bugunexpected or incorrect behaviourunexpected or incorrect behaviour

Status: Open.

#242 In Beluga-lang/Beluga;

· MartyO256 opened on May 14, 2021

Context schema subsumption

A | coreaffecting the typecheckeraffecting the typechecker

B | enhancementnew featuresnew features

Status: Open.

#241 In Beluga-lang/Beluga;

· MartyO256 opened on May 14, 2021

Incorrect totality check for weak normalization example

A | coreaffecting the typecheckeraffecting the typechecker

A | totalityaffecting the coverage or wellfoundedness checkeraffecting the coverage or wellfoundedness checker

B | bugunexpected or incorrect behaviourunexpected or incorrect behaviour

Status: Open.

#240 In Beluga-lang/Beluga;

· Lysxia opened on Apr 29, 2021

Bug in beluga-mode holes

A | interactive-modeaffecting the basic interactive mode `beluga -I`affecting the basic interactive mode `beluga -I`

B | bugunexpected or incorrect behaviourunexpected or incorrect behaviour

Status: Open.

#239 In Beluga-lang/Beluga;

· sarahzrf opened on Mar 31, 2021