glossopoeia/boba

Issues

• Functional dependencies can cause compiler to 'freeze'

  #65 opened 2 years ago by robertkleffner
  0

• Primitive iterable fixed-size ordered collection type

  #69 opened 2 years ago by robertkleffner
  0

• Overload function signatures should accumulate effects, perms, totality of instances

  #62 opened 2 years ago by robertkleffner
  1

• Email spam coming from this repo

  #74 opened 2 years ago by BKirev
  2

• Instance type match check is too strict

  #73 opened 2 years ago by robertkleffner
  0

• `test` should handle comparisons of multiple outputs

  #59 opened 2 years ago by robertkleffner
  0

• Elaboration params out-of-order in tuple equality

  #61 opened 2 years ago by robertkleffner
  0

• `resume` does not leave unconsumed items on the stack like it should

  #56 opened 2 years ago by robertkleffner
  0

• For iteration filter clauses

  #54 opened 2 years ago by robertkleffner
  0

• `test` should output expected and actual on failed tests

  #53 opened 2 years ago by robertkleffner
  0

• Core generation for multiple for-loop output generators breaks

  #18 opened 2 years ago by robertkleffner
  0

• Renamer: Partial re-export of names is slower than it needs to be

  #48 opened 2 years ago by robertkleffner
  0

• Type synonym declarations

  #30 opened 2 years ago by robertkleffner
  0

• Nicer units of measure types from the term level

  #33 opened 2 years ago by robertkleffner
  0

• Context ambiguity checking

  #39 opened 2 years ago by robertkleffner
  0

• Support integer and decimal literals of different types and formats

  #34 opened 2 years ago by robertkleffner
  0

• String interpolation

  #40 opened 2 years ago by robertkleffner
  0

• Overload condensing rule declarations

  #31 opened 2 years ago by robertkleffner
  0

• Rules that 'limit' what CHR rules are accepted by the compiler

  #17 opened 2 years ago by robertkleffner
  0

• Pattern alias declarations and expansion

  #29 opened 2 years ago by robertkleffner
  0

• Eager addition of propagation rules to type environment

  #11 opened 2 years ago by robertkleffner
  0

• Verify instance types of overloads do not overlap

  #26 opened 2 years ago by robertkleffner
  0

• Law/property tests in the vein of minithesis

  #20 opened 2 years ago by robertkleffner
  0

• Test handler should return number of failed tests on completion

  #22 opened 2 years ago by robertkleffner
  0

• GitHub Actions should run unit tests on PRs and block merging if any fail

  #15 opened 2 years ago by robertkleffner
  0

• Rune/character type and for-loop iteration over strings

  #19 opened 2 years ago by robertkleffner
  0

• Support multiple iterators in for loop assign clauses

  #13 opened 2 years ago by robertkleffner
  0

• Infer sharing and validity constraints for data constructors

  #6 opened 2 years ago by robertkleffner
  1

• Elaboration of overloaded functions is broken in recursive functions

  #14 opened 2 years ago by robertkleffner
  0

• Separate variable frame stack from handler stack

  #7 opened 3 years ago by robertkleffner
  0