alpaca

alpaca copied to clipboard

no_io option for compiling

9

It would be nice to have an option to supress print statements from the compiler during compilation.

Licenser

It would be nice to return scanner error instead of crashing. For example: The following (broken) code: ``` module example export add/2 let add x y = y * x...

Licenser

Implementing missing guards

2

Hi, @j14159, during your talk at EEF you mentioned that not all guards are implemented yet, and that it's a good opportunity for a newcomer. If it's not being tackled...

arkgil

Bootstrapping the compiler

1

# Basic Problem Building previous versions of the compiler from source using Alpaca and the rebar3 plugin in their current states in order to build the current compiler from source...

j14159

Consider adopting LSP for editor support

2

This might be better suited for [alpaca-mode](https://github.com/alpaca-lang/alpaca-mode) et al., but [LSP](https://github.com/Microsoft/language-server-protocol) looks like a cool standard to adopt for editor support.

yurrriq

Individual record field access

1

At the moment we can only access members of records via a pattern match but we need to be able to do let r = {x=1, y=2} in r.x +...

j14159

Consider the following: type t = T {x: int} let make_t_with_xy = T {x=1, y=2} let main () = let example_t = make_t_with_xy in match example_t with T rec ->...

j14159

@danabr raised a point about type definitions vs types themselves in PR #116 , e.g. type opt 'a = Some 'a | None type int_opt = opt int The name...

j14159

Guards in function heads

8

Trying to compile @j14159's example code from another issue: ```` module guards type make_it_work = int | string let f x, is_int x = x + 1 let f x,...

danabr

Support types with same name and different arities

2

As a user, I'd like to define a type `foo/1` as well as a type `foo/2`: ```ocaml type foo 'a = Nothing | Just 'a type foo 'a 'b =...

yurrriq