dannywillems RML issues

dannywillems / RML

ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.

37 stars 3 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Canonical form for a type.

#61 dannywillems opened 7 years ago
0
Algo subtyping with variable.

#60 dannywillems closed 7 years ago
0
Multiple with with and between them.

#59 dannywillems closed 7 years ago
0
Rules to compare recursive types.

#58 dannywillems opened 7 years ago
0
Need to handle the case with two recursives types.

#57 dannywillems closed 7 years ago
0
Recursive type inside recursive type

#56 dannywillems opened 7 years ago
0
Add in README ascription avoidance problem

#55 dannywillems closed 7 years ago
0
Use a variable in the subtyping algorithm.

#54 dannywillems opened 7 years ago
0
Dict

#53 dannywillems closed 7 years ago
0
Sugar for type without module sig

#52 dannywillems opened 7 years ago
0
Write a top level interpreter.

#51 dannywillems opened 7 years ago
0
Not in environment with recursive modules in parameters of a function.

#50 dannywillems closed 7 years ago
0
Inner comments

#49 dannywillems closed 7 years ago
0
How to use a type defined with a functor in a signature?

#48 dannywillems closed 7 years ago
2
Comparable interface.

#47 dannywillems closed 7 years ago
0
Rules order in the subtyping algorithm.

#46 dannywillems opened 7 years ago
0
Map

#45 dannywillems opened 7 years ago
0
How to encode Char?

#44 dannywillems opened 7 years ago
0
How to encode String?

#43 dannywillems opened 7 years ago
0
How to encode Unit?

#42 dannywillems closed 7 years ago
0
Fix error subtyping algorithm.

#41 dannywillems closed 7 years ago
2
Where do we need var_pack? (not used for now)

#40 dannywillems closed 7 years ago
1
var_unpack

#39 dannywillems closed 7 years ago
1
Stack overflow when subtyping on list.

#38 dannywillems opened 7 years ago
1
Improve inference algorithm for modules.

#37 dannywillems opened 7 years ago
1
How to encode Unit? Char? String?

#36 dannywillems closed 7 years ago
1
Top level recursive functions.

#35 dannywillems opened 7 years ago
0
Top level definition.

#34 dannywillems opened 7 years ago
0
Consider a file as a module.

#33 dannywillems opened 7 years ago
0
Graph implementation.

#32 dannywillems opened 7 years ago
0
Polymorphic list.

#31 dannywillems closed 7 years ago
0
let binding functor capitalize letter.

#30 dannywillems closed 7 years ago
0
Subtyping test polymorphic list with functions.

#29 dannywillems opened 7 years ago
0
With sugar

#28 dannywillems closed 7 years ago
1
Conditions

#27 dannywillems closed 7 years ago
0
if then else

#26 dannywillems closed 7 years ago
1
Boolean

#25 dannywillems closed 7 years ago
0
Improve fresh variables name.

#24 dannywillems closed 7 years ago
0
Don't create a let binding when variable.

#23 dannywillems closed 7 years ago
0
Well formed action.

#22 dannywillems closed 7 years ago
1
Check typing action.

#21 dannywillems closed 7 years ago
1
Export derivation tree in a JSON file.

#20 dannywillems opened 7 years ago
2
Rename executable in RML

#19 dannywillems closed 7 years ago
0
Arguments to the executable to include new directory different than stdlib.

#18 dannywillems opened 7 years ago
0
Strings

#17 dannywillems closed 7 years ago
1
Exceptions.

#16 dannywillems opened 7 years ago
0
Infix operator.

#15 dannywillems opened 7 years ago
0
Evaluation.

#14 dannywillems opened 7 years ago
0
Sum types.

#13 dannywillems closed 7 years ago
0
Records

#12 dannywillems closed 7 years ago
0