issues
search
pietervdvn
/
Lang
Yet another programming language
1
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Parser: clauses might contain a nltab
#53
pietervdvn
closed
8 years ago
0
Think about pipes
#52
pietervdvn
closed
9 years ago
1
Change instance syntax
#51
pietervdvn
closed
9 years ago
1
Allow classes with only laws
#50
pietervdvn
closed
9 years ago
1
Make "is" totally equivalent to ":" (in function declaration), make ("," equivalent to "&")
#49
pietervdvn
closed
9 years ago
0
Allow '(operator)' in parser
#48
pietervdvn
closed
9 years ago
1
Precedence: move out of annotation syntax
#47
pietervdvn
closed
9 years ago
0
Rename 'class' to 'cat' and 'category'
#46
pietervdvn
closed
9 years ago
1
Implement richer type syntax to allow ''Module.Type"
#45
pietervdvn
closed
9 years ago
1
Improve pattern syntax for deconstructors
#44
pietervdvn
opened
9 years ago
0
Syntax "NatPlus", "NatInf", "NatPlusInf"
#43
pietervdvn
closed
9 years ago
1
Add syntactic sugar for "More" and "Collection": resp "a+" and "a*"
#42
pietervdvn
closed
9 years ago
0
Convert "~(Int)" to "... as Int"
#41
pietervdvn
opened
9 years ago
1
Pattern syntax: confusion between deconstructor function and assignment
#40
pietervdvn
closed
9 years ago
1
Type requirement syntax
#39
pietervdvn
closed
9 years ago
1
Think about multi-collection operators
#38
pietervdvn
closed
9 years ago
1
Fix broken semantal: id : a -> a; a = a does not recognize a
#37
pietervdvn
closed
9 years ago
0
insert check for precedence annotion, defined operator should be defined in the same module
#36
pietervdvn
closed
9 years ago
1
Double type signatures not detected for constructors/Duplicate types not detected
#35
pietervdvn
closed
9 years ago
1
Figure out why ````True || (True && False)```` doesn't work
#34
pietervdvn
closed
10 years ago
2
PatternTypeChecker: stars in deconstructs are now treated as dontcares.
#33
pietervdvn
closed
9 years ago
2
More advanced typechecker, which figures out what function is needed in deconstruction
#32
pietervdvn
closed
9 years ago
1
Interpreter/Tools: add docstring info with (de)constructor when invoking info
#31
pietervdvn
closed
10 years ago
0
Think about list/set syntax
#30
pietervdvn
closed
9 years ago
1
Add tautology law operator + generalize examples
#29
pietervdvn
closed
9 years ago
3
Making naming of laws optional
#28
pietervdvn
closed
10 years ago
1
Allow deconstructor syntax in list/set-patterns
#27
pietervdvn
opened
10 years ago
0
Add laws to info (interpreter/tools)
#26
pietervdvn
closed
9 years ago
1
Remove hardcoded prioritytable in semantal/typedLoader
#25
pietervdvn
closed
9 years ago
1
Docstrings are gone!
#24
pietervdvn
closed
10 years ago
0
Provide Let-expressions
#23
pietervdvn
opened
10 years ago
0
Provide "infixr priority" syntax and parsing
#22
pietervdvn
closed
10 years ago
2
Introduce syntax for 'supertype of' and 'subtype of'
#21
pietervdvn
closed
9 years ago
2
Check merge-Left in semantal/order
#20
pietervdvn
closed
10 years ago
0
Check scopes for non-existant before typecheck
#19
pietervdvn
closed
10 years ago
0
Write a decent cast and autocast function
#18
pietervdvn
closed
9 years ago
1
Write decent import resolver
#17
pietervdvn
closed
10 years ago
0
Whitespace in regexes is ignored
#16
pietervdvn
closed
10 years ago
0
Check declaration parser on (op) syntax
#15
pietervdvn
closed
10 years ago
0
Add 'a : Eq =>' syntax to declaration parsing
#14
pietervdvn
closed
9 years ago
2
Casts: make () optional (e.g. ~Int instead of ~(Int))
#13
pietervdvn
closed
10 years ago
0
Explicit casts without ~
#12
pietervdvn
closed
9 years ago
1
Automatic Lensing
#11
RianGoossens
opened
10 years ago
2
Parse nlcomment, nl, nls, nltab in Pt2Comment
#10
pietervdvn
closed
10 years ago
0
Add 'Type?' as 'Maybe Type' in type parser
#9
pietervdvn
closed
10 years ago
0
Pt2Expression: parse casts (~Type)
#8
pietervdvn
closed
10 years ago
0
Check on double defined rules in BNF
#7
pietervdvn
closed
10 years ago
1
Implement (&) operator
#6
pietervdvn
closed
10 years ago
0
Better error messages
#5
pietervdvn
closed
10 years ago
0
Fix tokenize ($)
#4
pietervdvn
closed
10 years ago
0
Previous
Next