Search results

<code>DblParser/Import.ml</code> needs better documentation

0. parsingThings related to lexer and parserThings related to lexer and parser

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

Task

#311 In fram-lang/dbl;

· ppolesiuk opened on Jan 24, 2026

Generated selector methods don't take into account named parameters of the field

0. parsingThings related to lexer and parserThings related to lexer and parser

Status: Open.

Bug

#310 In fram-lang/dbl;

· ppolesiuk opened on Jan 24, 2026

Method identifiers

0. parsingThings related to lexer and parserThings related to lexer and parser

1. type inferenceType inference and the Unif languageType inference and the Unif language

Status: Open.

Feature

#309 In fram-lang/dbl;

· ppolesiuk opened on Jan 24, 2026

Simple profiling for the pipeline

good first issueGood for newcomersGood for newcomers

Status: Open.

Feature

#293 In fram-lang/dbl;

· ppolesiuk opened on Dec 13, 2025

Declaration of parameters in sequences of named parameters

0. parsingThings related to lexer and parserThings related to lexer and parser

1. type inferenceType inference and the Unif languageType inference and the Unif language

Status: Open.

Feature

#292 In fram-lang/dbl;

· ppolesiuk opened on Dec 13, 2025

Holes

1. type inferenceType inference and the Unif languageType inference and the Unif language

2. effect inferenceEffect inference and the ConE languageEffect inference and the ConE language

Status: Open.

Feature

#291 In fram-lang/dbl;

· ppolesiuk opened on Dec 13, 2025

Concrete syntax for handler types

0. parsingThings related to lexer and parserThings related to lexer and parser

Status: Open.

Task

#286 In fram-lang/dbl;

· ppolesiuk opened on Nov 28, 2025

Implement <code>ignoreExistential</code> attribute.

0. parsingThings related to lexer and parserThings related to lexer and parser

Status: Open.

Feature

#284 In fram-lang/dbl;

· wojpok opened on Nov 24, 2025

Refactor structure of tests for standard library.

good first issueGood for newcomersGood for newcomers

stdlibWork on standard libraryWork on standard library

Status: Open.

Task

#280 In fram-lang/dbl;

· ppolesiuk opened on Nov 22, 2025

Qualified imports

0. parsingThings related to lexer and parserThings related to lexer and parser

1. type inferenceType inference and the Unif languageType inference and the Unif language

Status: Open.

Feature

#274 In fram-lang/dbl;

· wojpok opened on Nov 13, 2025

Syntax for empty lambda abstraction with named parameters.

0. parsingThings related to lexer and parserThings related to lexer and parser

good first issueGood for newcomersGood for newcomers

Status: Open.

Task

#263 In fram-lang/dbl;

· ppolesiuk opened on Oct 27, 2025

Named parameters of piped methods are not recognized by the parser

0. parsingThings related to lexer and parserThings related to lexer and parser

good first issueGood for newcomersGood for newcomers

Status: Open.

Bug

#262 In fram-lang/dbl;

· ppolesiuk opened on Oct 26, 2025