index
:
ori/mc.git
0.2
abi
autoexpr
autovar
bettermatch
biofunc
callee-save
closures
dependent-tags
fixtraits
freebsd-port
hashtraits
integrated
kill-sleq
libmath-merge
master
matchcomp
mbld-rebase
mbld2
mpkg
netbsd-port
peephole-opt
poller
qbe
struct-lit
threadwork
tls
trait-syntax
update-bootstrap
The Myrddin compiler.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
parse
/
infer.c
Age
Commit message (
Expand
)
Author
2017-10-06
Don't spuriously constrain types.
Ori Bernstein
2017-10-05
tysearch before checking for freshen requirement.
Ori Bernstein
2017-09-23
Remove obsolete assert.
Ori Bernstein
2017-09-22
Fix trait lookup for nested pointers.
Ori Bernstein
2017-09-16
Fix occurs check.
Ori Bernstein
2017-09-05
Fix traits on named types.
Ori Bernstein
2017-09-02
Fix export tagging of traits.
Ori Bernstein
2017-09-02
Unjank trait resolution.
Ori Bernstein
2017-08-23
Check constraints correctly on typarams.
Ori Bernstein
2017-08-23
Resolve types in match rank.
Ori Bernstein
2017-08-22
Remove dead code/comments.
Ori Bernstein
2017-08-21
The indexes with should be numbers as well as ints
fixtraits
Ori Bernstein
2017-08-21
Clean up dial+plan9.myr
Ori Bernstein
2017-08-20
Fix a few bugs.
Ori Bernstein
2017-08-20
Fix trait shit.
Ori Bernstein
2017-08-19
File is already global.
Ori Bernstein
2017-08-13
If a trait is specialized over a generic, it's generic too.
Ori Bernstein
2017-08-08
Bring back enforced namespaces.
Ori Bernstein
2017-08-02
Disallow types of the form `type t = t`.
Ori Bernstein
2017-07-31
Move array size checking to verification.
Ori Bernstein
2017-07-31
Handle empty array sizes correctly.
Ori Bernstein
2017-07-30
Add hook into frontend for sizeof() folding.
Ori Bernstein
2017-07-29
Finally do a by-scope comparison of generic types.
Ori Bernstein
2017-07-29
Automatic variables
Ori Bernstein
2017-07-28
Fix error message for generics in non-generic decls.
Ori Bernstein
2017-07-27
std.change std.name std.lookup std.rules.
Ori Bernstein
2017-07-26
Whitespace fixes.
Quentin Carbonneaux
2017-07-21
This function is long dead.
Ori Bernstein
2017-07-15
Inline remapping function.
Ori Bernstein
2017-07-15
Use type hashing instead of string hasing in tyenv.
Ori Bernstein
2017-07-15
Type binding refactoring now compiles.
Ori Bernstein
2017-07-10
Clean up conditions in trait satisfaction.
Ori Bernstein
2017-07-09
Remove stupid comments.
Ori Bernstein
2017-07-09
Mark things as static.
Ori Bernstein
2017-07-09
Clean up some indentation.
Ori Bernstein
2017-07-09
Inferstate is global.
Ori Bernstein
2017-07-09
Style(9)-ify.
Ori Bernstein
2017-07-08
Remap type params according to bound scope.
Ori Bernstein
2017-07-08
Factor out genericness checks.
Ori Bernstein
2017-07-06
Fix unused name in error message.
Ori Bernstein
2017-07-05
Add some discipline to type bindings.
Ori Bernstein
2017-07-03
Specialize impl declarations on impl type in addition to decl type
Michael Forney
2017-07-03
Add impl(type, name) to retrieve a particular implementation of a trait decl
Michael Forney
2017-07-03
Resolve trait decl types before fixing them
Michael Forney
2017-06-30
Typos
Michael Forney
2017-06-30
Use switch statement in postcheckpass
Michael Forney
2017-06-28
Remove unused memb from Trait and rename funcs -> proto
Michael Forney
2017-06-25
Fix some actual type bugs.
Ori Bernstein
2017-06-25
Check for type name equality.
Ori Bernstein
2017-06-24
Clean up source marking a bit.
Ori Bernstein
[next]
