amuletml/amulet

Issues

• Record type doc

  #303 opened 3 years ago by sigmasoldi3r
  2

• Returning a top-level export instead of as part of a table

  #299 opened 3 years ago by s5bug
  1

• Exporting a Lua-array

  #301 opened 3 years ago by s5bug
  1

• Confusing error location on `type syn <- foo [bar]`

  #302 opened 3 years ago by s5bug
  1

• Compilation fails when amuletml is used as a stack dependency

  #298 opened 3 years ago by s5bug
  3

• Exporting a function with multiple arguments

  #300 opened 3 years ago by s5bug
  0

• Maintenance of community

  #297 opened 3 years ago by ShalokShalom
  9

• Integral mod

  #282 opened 5 years ago by Lignum
  4

• Compiler eating memory infinitely

  #294 opened 4 years ago by s5bug
  3

• Lua parser does not recognise bit ops

  #295 opened 4 years ago by plt-amy
  1

• Crash with "Cannot get type name" in incomplete pattern matches

  #292 opened 4 years ago by viluon
  0

• Update documentation

  #268 opened 5 years ago by chrisnevers
  4

• `undefined` error when trying to "fill in" a "previous" operator

  #291 opened 4 years ago by s5bug
  6

• Instances cannot be found when records are directly involved

  #293 opened 4 years ago by viluon
  0

• Best way to represent a Lua type that both has "static" functions and "instance" functions?

  #290 opened 4 years ago by s5bug
  4

• How to define custom math operators for types?

  #289 opened 4 years ago by s5bug
  1

• Type error for (**) upon opening the REPL

  #288 opened 4 years ago by davidgarland
  2

• Documentation: Compilation

  #287 opened 4 years ago by ShalokShalom
  2

• Optimiser η-contraction makes mutual recursion too strict

  #286 opened 5 years ago by plt-amy
  1

• Very big code results in too many locals

  #285 opened 5 years ago by plt-amy
  2

• description should be "An ML-like..." and not A ML-like..."

  #284 opened 5 years ago by TomerShech
  4

• Weird continuation fuckery confuses the optimiser

  #283 opened 5 years ago by plt-amy
  3

• Type checker can't infer impredicative instantations from matches

  #281 opened 5 years ago by plt-amy
  0

• High memory utilization on 1.0.0.0 (d6b1bcb1)

  #274 opened 5 years ago by Lupus
  5

• amc static fails on Debian due to missing lua.pc

  #275 opened 5 years ago by Ilazki
  2

• amc explain from the toplevel

  #276 opened 5 years ago by Ilazki
  0

• How to pattern-match on specific exception type?

  #232 opened 5 years ago by Lupus
  7

• Further editor fanciness

  #222 opened 5 years ago by SquidDev
  1

• Reduce is not inlining an atom

  #264 opened 5 years ago by SquidDev
  1

• Lua module and amulet module interoperability

  #255 opened 5 years ago by Escapingbug
  3

• "Unexpected let, expected end" in base.ml after 1.0.0.0 installation

  #266 opened 5 years ago by Lupus
  7

• Constructors are in scope in their own types

  #260 opened 5 years ago by plt-amy
  0

• Type family reduction errors

  #259 opened 5 years ago by SquidDev
  0

• Default methods not visited in Verify

  #254 opened 5 years ago by SquidDev
  2

• Add flag to treat warnings as errors

  #228 opened 5 years ago by Lupus
  2

• undefined in pattern-match checking with overlapping tuple patterns

  #234 opened 5 years ago by plt-amy
  2

• Chicken backend is unacceptably slow

  #226 opened 5 years ago by plt-amy
  3

• Order of type parameters is important?

  #250 opened 5 years ago by Lupus
  1

• Symbol clashes in generated code

  #249 opened 5 years ago by Lupus
  2

• amc: Cannot find CoVar

  #233 opened 5 years ago by Lupus
  8

• Using show on a datatype causes a seemingly unrelated error

  #242 opened 5 years ago by davidgarland
  1

• Will an either type be added?

  #240 opened 5 years ago by davidgarland
  4

• amulet-lsp is not part of release tarball

  #236 opened 5 years ago by Lupus
  2

• Any official place to get the up-to-date Vim highlighting?

  #239 opened 5 years ago by davidgarland
  2

• More unique filename extension?

  #237 opened 5 years ago by Lupus
  0

• How to define ordering for custom type?

  #235 opened 5 years ago by Lupus
  2

• Nested module open results in wrong order

  #231 opened 5 years ago by Lupus
  0

• Weird error when trying to create custom exception

  #230 opened 5 years ago by Lupus
  2

• Record types?

  #229 opened 5 years ago by Lupus
  4

• Exit with non-zero code on compilation error

  #227 opened 5 years ago by Lupus
  0