gelisam/klister issues and pull requests

#260 - local-expand variants

Issue - State: open - Opened by gelisam 10 days ago
Labels: enhancement

#259 - make quasiquote a primitive

Issue - State: open - Opened by gelisam 26 days ago
Labels: refactoring

#258 - rename TypeVar and friends

Issue - State: open - Opened by gelisam 28 days ago - 2 comments
Labels: refactoring

#257 - SchemeVar newtype

Pull Request - State: open - Opened by gelisam 28 days ago - 1 comment

#257 - SchemeVar newtype

Pull Request - State: open - Opened by gelisam 28 days ago - 1 comment

#256 - Use 'haskell-actions' instead of 'haskell/actions'

Pull Request - State: closed - Opened by vaibhavsagar 29 days ago - 3 comments

#256 - Use 'haskell-actions' instead of 'haskell/actions'

Pull Request - State: closed - Opened by vaibhavsagar 29 days ago - 3 comments

#255 - Upgrade the CI runners

Issue - State: closed - Opened by doyougnu 29 days ago - 1 comment
Labels: good first issue, priority/low

#255 - Upgrade the CI runners

Issue - State: closed - Opened by doyougnu 29 days ago - 1 comment
Labels: good first issue, priority/low

#254 - project: deprecate 8.10.7

Pull Request - State: closed - Opened by doyougnu about 1 month ago - 3 comments

#253 - ambient effects

Issue - State: open - Opened by gelisam about 2 months ago - 1 comment
Labels: examples

#252 - Modularization of the code base

Issue - State: open - Opened by doyougnu about 2 months ago - 2 comments
Labels: refactoring

#251 - forbid kind loops

Pull Request - State: open - Opened by gelisam about 2 months ago - 4 comments

#250 - infinite loop during type-checking

Issue - State: open - Opened by gelisam about 2 months ago - 6 comments
Labels: bug

#249 - wrap to terminal width

Pull Request - State: closed - Opened by gelisam 3 months ago - 2 comments

#248 - union errors

Issue - State: open - Opened by gelisam 5 months ago
Labels: examples

#247 - local-expand

Issue - State: open - Opened by gelisam 5 months ago - 5 comments
Labels: enhancement, discussion

#246 - local-expand-type

Issue - State: open - Opened by gelisam 5 months ago
Labels: enhancement

#245 - combine Type values

Issue - State: open - Opened by gelisam 5 months ago - 1 comment
Labels: enhancement

#244 - type-literals for the later phase

Issue - State: open - Opened by gelisam 5 months ago
Labels: enhancement

#243 - delete useless withEnv call

Pull Request - State: open - Opened by gelisam 5 months ago - 1 comment

#242 - eta-case example

Pull Request - State: closed - Opened by gelisam 5 months ago - 2 comments

#241 - Let macros yield to other macros with the same name

Issue - State: open - Opened by gelisam 6 months ago - 2 comments

#240 - execute macro actions in phase 1

Pull Request - State: open - Opened by gelisam 7 months ago - 4 comments
Labels: bug, CodeRabbit

#239 - Add hlint gh-action

Pull Request - State: open - Opened by philderbeast 7 months ago - 2 comments

#238 - KLISTERPATH for tests

Pull Request - State: closed - Opened by philderbeast 7 months ago - 1 comment

#237 - distinguish between our bugs and the user's bugs

Issue - State: open - Opened by gelisam 7 months ago
Labels: error-messages

#236 - build: add nix flake, align cabal with CI

Pull Request - State: closed - Opened by doyougnu 8 months ago - 1 comment

#235 - 3 failing keyword tests

Issue - State: open - Opened by philderbeast 8 months ago - 4 comments

#234 - Generate hlint default configuration

Pull Request - State: closed - Opened by philderbeast 8 months ago - 5 comments

#233 - Follow HLint suggestions?

Issue - State: open - Opened by philderbeast 8 months ago - 5 comments

#232 - Klister custom type systems

Issue - State: open - Opened by gelisam 9 months ago
Labels: documentation, enhancement, discussion

#231 - Implement Stack Traces

Issue - State: open - Opened by doyougnu 9 months ago
Labels: enhancement

#230 - Slow tests are slow because of poor branch prediction

Issue - State: open - Opened by doyougnu 9 months ago
Labels: performance

#229 - macro from local function

Issue - State: open - Opened by gelisam 10 months ago
Labels: enhancement

#228 - explain the limits of the type system

Issue - State: open - Opened by gelisam 10 months ago - 1 comment
Labels: documentation, discussion, examples

#227 - Gelisam/code rabbit test7

Pull Request - State: closed - Opened by gelisam 10 months ago - 2 comments
Labels: CodeRabbit

#226 - Gelisam/code rabbit test6

Pull Request - State: closed - Opened by gelisam 10 months ago - 3 comments
Labels: CodeRabbit

#225 - Gelisam/code rabbit test5

Pull Request - State: closed - Opened by gelisam 10 months ago - 1 comment
Labels: CodeRabbit

#224 - CodeRabbit test

Pull Request - State: closed - Opened by gelisam 10 months ago - 3 comments
Labels: CodeRabbit

#223 - A CEK Evaluator

Pull Request - State: closed - Opened by doyougnu 11 months ago - 4 comments
Labels: CodeRabbit

#222 - section syntax?

Issue - State: open - Opened by gelisam about 1 year ago - 5 comments

#221 - list-append

Pull Request - State: closed - Opened by gelisam about 1 year ago

#220 - Add Bit operations and literals

Issue - State: open - Opened by doyougnu over 1 year ago
Labels: enhancement, examples

#219 - syntactic marker for binding sites

Issue - State: open - Opened by gelisam over 1 year ago
Labels: discussion

#218 - generic programming via type-case

Issue - State: open - Opened by gelisam over 1 year ago
Labels: enhancement

#217 - Comparison with other meta programming approach?

Issue - State: open - Opened by glyh over 1 year ago - 18 comments
Labels: documentation

#216 - Set of problems should be open-ended

Issue - State: open - Opened by gelisam over 1 year ago - 1 comment
Labels: enhancement

#215 - First pass performance engineering

Pull Request - State: closed - Opened by doyougnu over 1 year ago - 5 comments
Labels: performance

#214 - Randomize the task queue at every iteration

Issue - State: open - Opened by gelisam over 1 year ago
Labels: good first issue, refactoring

#213 - merge non-examples and failing-examples

Issue - State: open - Opened by gelisam over 1 year ago
Labels: good first issue

#212 - Automatic defunctionalization

Issue - State: open - Opened by gelisam over 1 year ago
Labels: examples

#211 - Discussion: Craft a Roadmap?

Issue - State: open - Opened by doyougnu over 1 year ago - 15 comments
Labels: discussion

#210 - testsuite: test all examples, use tasty-golden

Pull Request - State: closed - Opened by doyougnu over 1 year ago - 19 comments
Labels: testsuite

#209 - A scope for the code which follows define-macros

Pull Request - State: closed - Opened by gelisam almost 2 years ago - 1 comment

#208 - organize the examples folder

Issue - State: open - Opened by gelisam almost 2 years ago
Labels: refactoring

#207 - Suggest valid constructor names

Issue - State: open - Opened by gelisam almost 2 years ago
Labels: error-messages

#206 - Suggest shifting imports

Issue - State: open - Opened by gelisam almost 2 years ago
Labels: error-messages

#205 - Merge HACKING.rst and commentary.md

Issue - State: open - Opened by gelisam almost 2 years ago
Labels: documentation

#204 - Convert the old test suite to golden files

Issue - State: open - Opened by gelisam almost 2 years ago
Labels: refactoring

#203 - Render the documentation

Issue - State: open - Opened by gelisam almost 2 years ago - 1 comment
Labels: documentation, priority/medium

#202 - Complete the Guide

Issue - State: open - Opened by gelisam almost 2 years ago
Labels: documentation, priority/high

#201 - Update commentary.md

Issue - State: open - Opened by gelisam almost 2 years ago
Labels: documentation, priority/high

#200 - expander: add Expected/Actual newtypes

Pull Request - State: closed - Opened by doyougnu almost 2 years ago - 6 comments

#199 - explain Ident vs Binding vs Var

Pull Request - State: closed - Opened by gelisam almost 2 years ago - 1 comment

#198 - Improve export-rename syntax

Issue - State: open - Opened by gelisam almost 2 years ago - 1 comment
Labels: enhancement

#197 - combine type constructors

Pull Request - State: closed - Opened by gelisam almost 2 years ago

#196 - kind-checking for type patterns

Issue - State: open - Opened by gelisam almost 2 years ago - 7 comments
Labels: discussion

#195 - Combine baseType, unaryType, and addDatatypePrimitive

Issue - State: closed - Opened by gelisam almost 2 years ago - 1 comment
Labels: refactoring

#194 - The kind-checker allows types to be applied to too many arguments

Issue - State: open - Opened by gelisam almost 2 years ago - 6 comments
Labels: refactoring

#193 - Expand bounds to allow tests to pass with GHC 9.2.5

Pull Request - State: closed - Opened by david-christiansen almost 2 years ago

#192 - partially applied primitive types

Pull Request - State: closed - Opened by gelisam almost 2 years ago

#191 - Rename quote & friends to #%quote?

Issue - State: closed - Opened by gelisam almost 2 years ago - 3 comments
Labels: discussion

#190 - kind-inference bug with primitive type constructors

Issue - State: closed - Opened by gelisam almost 2 years ago - 4 comments
Labels: bug

#189 - lowercase naming convention affects variable naming convention

Issue - State: open - Opened by gelisam almost 2 years ago - 2 comments
Labels: discussion, stdlib

#187 - accidental variable capture

Issue - State: closed - Opened by gelisam almost 2 years ago - 12 comments
Labels: bug

#186 - add unquote-splicing (,@) support to quasiquote

Issue - State: open - Opened by gelisam almost 2 years ago - 3 comments
Labels: enhancement, priority/high

#185 - wrap `data` to support datatype names with no parentheses

Issue - State: open - Opened by gelisam almost 2 years ago - 1 comment
Labels: good first issue, stdlib

#184 - deprecate syntax-case, ident-syntax, {empty-,cons-,}list-syntax, integer-syntax, string-syntax

Issue - State: open - Opened by gelisam almost 2 years ago - 5 comments
Labels: good first issue, priority/medium, stdlib

#183 - showcase pattern synonyms

Issue - State: open - Opened by gelisam almost 2 years ago
Labels: documentation

#182 - shorter explanation for lambda-case

Pull Request - State: closed - Opened by gelisam almost 2 years ago - 2 comments

#181 - do not document hygiene (was: add copious comments to the hygiene example)

Pull Request - State: closed - Opened by gelisam almost 2 years ago - 3 comments

#180 - reorganize the lambda-case explanation

Pull Request - State: closed - Opened by gelisam almost 2 years ago - 2 comments

#179 - Rewrite the README: Klister is a programming language

Pull Request - State: closed - Opened by gelisam about 2 years ago - 1 comment

#178 - bare minimum documentation for everything in prelude.kl

Pull Request - State: closed - Opened by gelisam about 2 years ago - 2 comments

#177 - remove unused 'oops' and 'ident' primitives

Pull Request - State: closed - Opened by gelisam about 2 years ago

#176 - what's the purpose of `ident`?

Issue - State: closed - Opened by gelisam about 2 years ago - 2 comments

#175 - simplify and document flet implementation

Pull Request - State: closed - Opened by gelisam about 2 years ago

#174 - improve "No case matched" error message

Issue - State: open - Opened by gelisam about 2 years ago - 2 comments
Labels: enhancement, discussion, error-messages

#173 - is oops supposed to throw an _internal_ error?

Issue - State: closed - Opened by gelisam about 2 years ago - 3 comments
Labels: bug, discussion

#172 - bugfix: bind-IO only ran the first IO action

Pull Request - State: closed - Opened by gelisam about 2 years ago - 3 comments

#170 - use lvish

Issue - State: open - Opened by gelisam about 2 years ago - 9 comments
Labels: refactoring

#169 - rename () pattern to (nil) in syntax-case

Pull Request - State: open - Opened by gelisam about 2 years ago - 6 comments
Labels: CodeRabbit

#168 - monotonously-increasing maps

Issue - State: open - Opened by gelisam about 2 years ago - 7 comments
Labels: enhancement, priority/high

#167 - type classes

Issue - State: open - Opened by gelisam about 2 years ago - 1 comment
Labels: priority/high, examples

#165 - Haskell FFI

Issue - State: open - Opened by gelisam about 2 years ago - 2 comments
Labels: enhancement

#161 - mutual recursion

Pull Request - State: closed - Opened by gelisam about 2 years ago - 9 comments

#160 - mutually-recursive functions

Issue - State: closed - Opened by gelisam about 2 years ago
Labels: examples

#156 - implicit-conversion example

Issue - State: closed - Opened by gelisam over 2 years ago - 1 comment
Labels: examples

#154 - Make it easier to replace n-ary %#app

Issue - State: open - Opened by gelisam over 2 years ago
Labels: discussion

GitHub / gelisam/klister issues and pull requests