35 Pull requests merged by 3 people

• Fix named application bug

  #3075 merged Oct 3, 2024

• Merge typechecker negative tests

  #3076 merged Oct 3, 2024

• Fix termination crash due to empty permutation

  #3081 merged Oct 2, 2024

• Reimplement positivity checker

  #3057 merged Oct 1, 2024

• Remove unused field from ScoperState

  #3073 merged Sep 30, 2024

• Ignore files that start with a .

  #3072 merged Sep 30, 2024

• Include the juvix version in the build directory path

  #3069 merged Sep 30, 2024

• Parse stdlibPlaceholder in Nockma parser

  #3065 merged Sep 26, 2024

• Fix RISC0 on the CI

  #3061 merged Sep 26, 2024

• Group tables related to typechecking

  #3056 merged Sep 25, 2024

• Fix linux static build: Remove -j argument from C runtime make invocation

  #3055 merged Sep 23, 2024

• Improve parsing error for missing @ in named application

  #3012 merged Sep 20, 2024

• Revert GHC 9.10.1 update

  #3052 merged Sep 19, 2024

• Precompute debug operations info in linear time

  #3038 merged Sep 14, 2024

• Update cabal.project.freeze for GHC 9.10.1 update

  #3035 merged Sep 13, 2024

• Don't fold lets if the let-bound variable occurs under a lambda-abstraction

  #3029 merged Sep 13, 2024

• Update linux static binary workflow for GHC 9.10.1

  #3034 merged Sep 13, 2024

• Update to GHC 9.10.1

  #2991 merged Sep 13, 2024

• Remove old named application syntax

  #3026 merged Sep 12, 2024

• Fix JuvixTree parsing and pretty printing

  #3024 merged Sep 12, 2024

• Fix RISC0 in the CI

  #3025 merged Sep 12, 2024

• The assert builtin

  #3014 merged Sep 12, 2024

• Fix the location in the parser for .juvix.md

  #3020 merged Sep 11, 2024

• Store the DocTable in the .jvo file

  #3021 merged Sep 11, 2024

• Fix bug in symbol dependency graph generation in Core

  #3018 merged Sep 11, 2024

• Fix RISC0 compilation on the CI

  #3015 merged Sep 10, 2024

• Fix location of scoped modulePathName

  #3011 merged Sep 9, 2024

• Lift non-immediate expressions out of case values for the Nockma backend

  #3010 merged Sep 9, 2024

• Do not duplicate nockma stdlib in the nockma backend

  #3005 merged Sep 9, 2024

• Only output .debug.nockma file with the --debug flag

  #3006 merged Sep 9, 2024

• Compilation of side conditions in pattern matches

  #2984 merged Sep 9, 2024

• Do not inline the functions library everywhere in the Nockma backend

  #3004 merged Sep 8, 2024

• Remove legacy naive match-to-case compiler

  #3003 merged Sep 8, 2024

• Fix a bug that prevented use of name signature defined after the point

  #3001 merged Sep 6, 2024

• Fix typechecking of default arguments in signatures with trait arguments

  #2998 merged Sep 5, 2024

7 Pull requests opened by 2 people

• Isabelle/HOL translation: fix nested pattern matching

  #3049 opened Sep 18, 2024

• Isabelle/HOL translation: fix undefined identifiers due to `syntax alias`

  #3050 opened Sep 19, 2024

• Isabelle/HOL translation: fix creation of polymorphic records

  #3051 opened Sep 19, 2024

• Nockma backend: translate `trace` to `%puts` hints

  #3053 opened Sep 20, 2024

• Add coding style guidelines

  #3059 opened Sep 25, 2024

• Serialize Nockma output using nock jam

  #3066 opened Sep 26, 2024

• Avoid duplication in Nockma code generation

  #3070 opened Sep 27, 2024

16 Issues closed by 4 people

• Crash related to missing name in name signature

  #3074 closed Oct 3, 2024

• Juvix compiler crash: permutation should have at least one element

  #3064 closed Oct 2, 2024

• Positivity checker false positive

  #3058 closed Oct 1, 2024

• Typechecker gets stuck in infinite loop on recursive type definition using `Set`

  #3048 closed Oct 1, 2024

• Juvix should ignore files that start with `.`

  #3068 closed Sep 30, 2024

• Version the internal build directory (.juvix-build) using the Juvix compiler version

  #3019 closed Sep 30, 2024

• Confusing error messages for named record arguments

  #2796 closed Sep 20, 2024

• Consider using the official haskell-docker (slim) image to save disk space

  #3027 closed Sep 15, 2024

• Name signatures are not exported transitively through public opens

  #3044 closed Sep 14, 2024

• The project cannot be built with cabal

  #3036 closed Sep 13, 2024

• Don't fold lets if the let-bound variable occurs under a lambda-abstraction

  #3002 closed Sep 13, 2024

• Remove old named application syntax

  #2948 closed Sep 12, 2024

• Formatting of imports breaks lines unnecessarily

  #2737 closed Sep 9, 2024

• Side conditions in pattern matching

  #2804 closed Sep 9, 2024

• Named syntax use surprisingly requires functions to be declared before they are used

  #2999 closed Sep 6, 2024

• Function signatures with trait dependencies and default arguments result in compiler error

  #2994 closed Sep 5, 2024

35 Issues opened by 5 people

• Nockma backend: Adjust closure implementation to match the Nock calling convention

  #3083 opened Oct 4, 2024

• On Apple silicon machines, the brew installed llvm's `wasm-ld` linker does not seem to be detected by juvix doctor command.

  #3082 opened Oct 1, 2024

• Write an Anoma App Juvix tutorial

  #3080 opened Oct 1, 2024

• Unify the Juvix coding style in the standard library and anoma apps

  #3079 opened Oct 1, 2024

• Update documentation

  #3078 opened Oct 1, 2024

• Make WASM support optional

  #3077 opened Oct 1, 2024

• Mutually recursive blocks are sometimes wrong

  #3071 opened Sep 28, 2024

• Merge the containers library into the standard library

  #3067 opened Sep 27, 2024

• Formatter removes `judoc` comment for `alias`es

  #3063 opened Sep 26, 2024

• The `:load` command sometimes fails not finding the file

  #3062 opened Sep 26, 2024

• Case expressions at the root of a definition should contribute to termination

  #3060 opened Sep 25, 2024

• Consistent named application syntax

  #3054 opened Sep 20, 2024

• Isabelle/HOL translation: syntax aliases incorrectly translated

  #3047 opened Sep 14, 2024

• Consider making `juvix init --non-interactive` the default

  #3046 opened Sep 14, 2024

• Isabelle/HOL translation: record syntax incorrectly translated with multiple constructors and nested record patterns

  #3045 opened Sep 14, 2024

• Add the last `;` to any list-like structure

  #3043 opened Sep 14, 2024

• Nockma backend: reduce the number of things stored in closures

  #3042 opened Sep 14, 2024

• Use '@' consistently for record definitions as well

  #3041 opened Sep 14, 2024

• Isabelle/HOL translation: support polymorphic type synonyms

  #3040 opened Sep 14, 2024

• Allow final semicolons everywhere

  #3039 opened Sep 13, 2024

• linux static release build fails

  #3037 opened Sep 13, 2024

• Juvix testing framework

  #3033 opened Sep 13, 2024

• The rules for where blocks of mutually recursive definitions end are unclear and confusing

  #3032 opened Sep 13, 2024

• Allow local modules to self-reference

  #3031 opened Sep 13, 2024

• Compiler crash when trying to compile file with do-notation

  #3030 opened Sep 13, 2024

• Lift complex expression that don't use the lambda-bound variables out of the lambdas

  #3028 opened Sep 13, 2024

• Parametrize Anoma/Hoon stdlib locations by the number of layers in Anoma/Hoon stdlib

  #3023 opened Sep 11, 2024

• Use Anoma nock interpreter `%puts hint` feature in Nock backend debug mode

  #3022 opened Sep 11, 2024

• Jam (Nock serialize) the anoma backend output

  #3017 opened Sep 10, 2024

• Crash in JuvixTree: not unifiable: (*, *) → bool, * → bool

  #3016 opened Sep 10, 2024

• Nockma compilation: arguments to some operations still get duplicated

  #3013 opened Sep 9, 2024

• juvix.yaml not found

  #3009 opened Sep 9, 2024

• Detect redundant patterns

  #3008 opened Sep 9, 2024

• Detect if a side condition in a case is true or false

  #3007 opened Sep 9, 2024

• Juvix format does not work as expected

  #3000 opened Sep 6, 2024

10 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Isabelle/HOL translation: recursive translation of the whole project

  #2977 commented on Sep 19, 2024 • 4 new comments

• Special error message for record updates of the shape `C@{field := field}`

  #2803 commented on Sep 9, 2024 • 0 new comments

• Juvix typecheck runs into an infinite loop

  #2866 commented on Sep 30, 2024 • 0 new comments

• Allow Judoc comments for function arguments and the return value

  #2964 commented on Sep 30, 2024 • 0 new comments

• refactor `NameIdGen`

  #2619 commented on Sep 6, 2024 • 0 new comments

• Move VisibilityAnn and WhyInScope from Scoped.Name to Entry

  #2658 commented on Sep 6, 2024 • 0 new comments

• Update ormolu to 0.7.4.0

  #2838 commented on Sep 6, 2024 • 0 new comments

• Cairo: pass around the builtins pointer only when necessary

  #2849 commented on Sep 6, 2024 • 0 new comments

• Renaming

  #2862 commented on Sep 6, 2024 • 0 new comments

• Improve instance termination checking

  #2989 commented on Sep 7, 2024 • 0 new comments