issues
search
tadeuzagallo
/
verve-lang
A functional language for the working hacker
https://verve-lang.org
MIT License
346
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Use correct pattern for functions that can be used as methods
#53
alexeyraspopov
closed
6 years ago
1
Using map/filter as a method of List
#52
alexeyraspopov
closed
6 years ago
3
Add support for inferring constraint args when passing functions as arguments
#51
tadeuzagallo
closed
7 years ago
0
Add support for spreading values
#50
tadeuzagallo
opened
7 years ago
0
Update website
#49
tadeuzagallo
closed
7 years ago
0
Update README
#48
tadeuzagallo
closed
7 years ago
0
Return correct exit code
#47
tadeuzagallo
closed
7 years ago
0
Update wording in implementation errors
#46
tadeuzagallo
closed
7 years ago
0
Add support for type aliases
#45
tadeuzagallo
closed
7 years ago
0
Parser should require a newline between properties and methods
#44
tadeuzagallo
closed
7 years ago
0
Add support for mutually recursive declarations
#43
tadeuzagallo
opened
7 years ago
0
Rename "Naming"
#42
tadeuzagallo
closed
7 years ago
0
Write a simple Prelude
#41
tadeuzagallo
closed
7 years ago
0
Add support for List literal patterns
#40
tadeuzagallo
closed
7 years ago
0
Imports should only be allowed at the top of a file
#39
tadeuzagallo
closed
8 years ago
0
Linux support
#38
tadeuzagallo
closed
8 years ago
0
Values that don't match any case should throw an error
#37
tadeuzagallo
closed
7 years ago
0
Add AST dump support
#36
tadeuzagallo
closed
8 years ago
0
compile errors
#35
xjvs
closed
8 years ago
0
[syntax] Use commas to separate multiple assignment in let expression
#34
tadeuzagallo
closed
7 years ago
0
Variadic types trick compiler / runtime.
#33
sparecycles
opened
8 years ago
3
Remove asserts from type checker
#32
tadeuzagallo
closed
8 years ago
0
Make the cli nicer
#31
tadeuzagallo
closed
8 years ago
0
Study currying vs varargs
#30
tadeuzagallo
closed
7 years ago
0
Type check operators
#29
tadeuzagallo
closed
8 years ago
0
Validate that constructors are note used in type annotations
#28
tadeuzagallo
closed
8 years ago
1
Pattern match doesn't check type
#27
tadeuzagallo
closed
8 years ago
0
`let` should put args on the stack.
#26
tadeuzagallo
closed
8 years ago
0
Support constructor with same name as type
#25
tadeuzagallo
closed
8 years ago
0
Improve messages for parsing errors
#24
tadeuzagallo
closed
7 years ago
2
Consider new syntax for type constraints
#23
tadeuzagallo
opened
8 years ago
0
`implementation` doesn't validate wether all the functions required by the interface have been implemented.
#22
tadeuzagallo
closed
8 years ago
0
Nested use of generic value is not supported
#21
tadeuzagallo
closed
8 years ago
0
Should function overloading be allowed?
#20
tadeuzagallo
closed
8 years ago
2
Add `extern` syntax for native methods
#19
tadeuzagallo
closed
8 years ago
1
Lambda calls are not type-checked
#18
tadeuzagallo
closed
8 years ago
0
Add `import` statements
#17
tadeuzagallo
closed
8 years ago
0
Implement `switch` with pattern matching
#16
tadeuzagallo
closed
8 years ago
1
Add support for basic type constructors
#15
tadeuzagallo
closed
8 years ago
1
Add basic pattern matching to `let`
#14
tadeuzagallo
closed
8 years ago
0
Implement basic let syntax
#13
tadeuzagallo
closed
8 years ago
1
Add record-like type definitions
#12
tadeuzagallo
closed
7 years ago
0
Change comment syntax
#11
tadeuzagallo
closed
8 years ago
0
Add support for type aliases
#10
tadeuzagallo
closed
7 years ago
0
Support generic annotation on methods
#9
tadeuzagallo
closed
8 years ago
0
Support variadic functions
#8
tadeuzagallo
closed
7 years ago
0
Add `Float`s
#7
tadeuzagallo
closed
8 years ago
0
Properly print Char
#6
tadeuzagallo
closed
7 years ago
0
Vim syntax highlighting
#5
tadeuzagallo
closed
8 years ago
0
Only strings required at runtime should go into the bytecode
#4
tadeuzagallo
closed
8 years ago
1
Next