-
Notifications
You must be signed in to change notification settings - Fork 21
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#276 In Beluga-lang/Beluga;
[checkSub] encountered MSVar (checking non-whnf substitution)
A | coreaffecting the typecheckeraffecting the typecheckerB | bugunexpected or incorrect behaviourunexpected or incorrect behaviourStatus: Open.#274 In Beluga-lang/Beluga;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 behaviourStatus: Open.#272 In Beluga-lang/Beluga;File "src/core/lfrecon.ml", line 1205, characters 9-14: Pattern matching failed
A | coreaffecting the typecheckeraffecting the typecheckerB | bugunexpected or incorrect behaviourunexpected or incorrect behaviourStatus: Open.#269 In Beluga-lang/Beluga;Uncaught exception: "missing type information"
A | coreaffecting the typecheckeraffecting the typecheckerB | bugunexpected or incorrect behaviourunexpected or incorrect behaviourStatus: Open.#268 In Beluga-lang/Beluga;Degraded performance of
auto-invert-solvein OCaml 5.0.0A | proof searchaffecting the proof search algorithmaffecting the proof search algorithmB | performancecorrect, but slowcorrect, but slowStatus: Open.#267 In Beluga-lang/Beluga;Harpoon: Uncaught exception when attempting to split/invert something
A | coreaffecting the typecheckeraffecting the typecheckerA | harpoonaffecting the Harpoon interactive proveraffecting the Harpoon interactive proverB | bugunexpected or incorrect behaviourunexpected or incorrect behaviourStatus: Open.#257 In Beluga-lang/Beluga;Internal error
A | frontendrelated to the lexer or parserrelated to the lexer or parserB | enhancementnew featuresnew featuresStatus: Open.#253 In Beluga-lang/Beluga;Dune environment variables suppressing compiler warnings
A | miscmiscellaneous issuesmiscellaneous issuesB | refactorchanging the implementation of existing featureschanging the implementation of existing featuresStatus: Open.#244 In Beluga-lang/Beluga;somein context schema as requirement for instantiatingblockA | coreaffecting the typecheckeraffecting the typecheckerB | bugunexpected or incorrect behaviourunexpected or incorrect behaviourStatus: Open.#242 In Beluga-lang/Beluga;Context schema subsumption
A | coreaffecting the typecheckeraffecting the typecheckerB | enhancementnew featuresnew featuresStatus: Open.#241 In Beluga-lang/Beluga;Incorrect totality check for weak normalization example
A | coreaffecting the typecheckeraffecting the typecheckerA | totalityaffecting the coverage or wellfoundedness checkeraffecting the coverage or wellfoundedness checkerB | bugunexpected or incorrect behaviourunexpected or incorrect behaviourStatus: Open.#240 In Beluga-lang/Beluga;