alpaca

alpaca copied to clipboard

Non-exhaustive patterns in "match" expressions

2

```elm type maybe 'a = Just 'a | Nothing val (>>=) 'a 'b : fn (maybe 'a) (fn 'a -> maybe 'b) -> (maybe 'b) let (>>=) x f =...

tim2CF

```elm type maybe 'a = Just 'a | Nothing val (>>=) 'a 'b : fn (maybe 'a) (fn 'a -> maybe 'b) -> (maybe 'b) let (>>=) (Nothing) _ =...

tim2CF

```ocaml module mod let foo :b = {b=0} let foo :a = {a=true, b=0} ``` The typer currently and _incorrectly reports a missing member `a` on line 3: ```erlang {error,...

j14159

As OTP 21 has been released just a few weeks ago, its time to provide proper prebuilts.

NobbZ

ReasonML

4

Any integration point in the future? If Alpaca mirrored ReasonML or Ocaml syntax, Bucklescript would also become a compile-to target alongside BEAM.

khoerling

Automatic code formatter

5

One of the things I'm really enjoying about Elm is the official style guide and automatic code formatting tools. One can write code in any sloppy style, hit save, and...

lpil

Cannot unify recursive union

2

I attempted to define the iolist type like so: ```elm type iolist = list iolist | string val my_iolist : iolist let my_iolist = ["h", ["i", ["!"]]] ``` This does...

lpil

How to type Erlang terms without built-in types.

7

Hello! I wish to add a `set` module to `alpaca_lib`. Given the term is defined in Erlang and not Alpaca how do I define the type? I could do something...

lpil

Zero arity functions

5

Currently it's not possible to define a zero arity function in Alpaca as the compiler treats them as values. I can see a few use cases for zero arity functions....

lpil

Given: ```elm module m let (>>) f g x = g (f x) ``` The Alpaca compiler will crash in `alpaca_scanner:infer_breaks/1` with a bad match [here](https://github.com/alpaca-lang/alpaca/blob/v0.2.8/src/alpaca_scanner.erl#L67) because inferring breaks tracks...

j14159