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
13 days
parse: fix typos (thanks ed)
HEAD
master
Ori Bernstein
2020-09-20
Fix range checking for numbers.
Ori Bernstein
2020-09-20
Fix missing type in range tables.
Ori Bernstein
2020-09-01
infer: fix typo on range check
Ori Bernstein
2020-05-05
Remove useless code
Mura Li
2020-05-05
Remove unneeded change
Mura Li
2020-05-05
Support or-patterns with wildcard variables
Mura Li
2020-05-05
Support or-pattern
mural
2020-04-14
Support the pseudo-member 'tag' for union types
Mura Li
2019-04-28
Fix float conversions in casts.
Ori Bernstein
2019-04-12
Rename traits correctly.
Ori Bernstein
2019-03-14
Get a bit better at wrangling type bindings.
Ori Bernstein
2019-02-28
Fix type substitution in sizeof.
Ori Bernstein
2019-02-26
Accept that `file` isn't a node.
Ori Bernstein
2019-02-26
Add support for `__fini__` functions.
Ori Bernstein
2019-02-18
We don't need the last array, just the count.
Ori Bernstein
2019-02-16
Clean up redundant code.
Ori Bernstein
2019-02-10
Pass the type envs through properly in delayed unification.
Ori Bernstein
2019-02-10
Work towards removing the streq check.
Ori Bernstein
2019-02-09
Work towards removing the streq check.
Ori Bernstein
2019-02-07
Fix declaration of mktraitmap
Ori Bernstein
2018-10-27
Not all arrays have defined sizes.
Ori Bernstein
2018-10-15
Disallow negative array sizes. And do some cleanup.
Ori Bernstein
2018-07-19
Support direct tuple access operators "tuple.N"
Quentin Carbonneaux
2018-07-18
Top level anonymous unions may not have their type set.
Ori Bernstein
2018-07-14
Fix stupid mistake.
Ori Bernstein
2018-07-14
Push down named unions types into union tags
Ori Bernstein
2018-07-04
Fix infinite recursion in type inference.
Ori Bernstein
2018-06-09
Consistently and corretly add Oundef.
Ori Bernstein
2018-04-18
Merge remote-tracking branch 'ori/master' into HEAD
S. Gilles
2018-04-17
Don't mutate the traits on builtin types.
Ori Bernstein
2018-04-17
Remove stray ',' from error message.
Ori Bernstein
2018-04-08
Add support for `-T` option to compile in test mode.
Ori Bernstein
2018-03-25
Make output buffers bigger.
Ori Bernstein
2018-03-13
Merge branch 'autoexpr' into libmath
S. Gilles
2018-03-06
Add ternary operator.
Ori Bernstein
2018-02-18
Resolve the impl() type.
Ori Bernstein
2018-01-31
Check that if we default to int, all necessary traits are there.
Ori Bernstein
2018-01-26
New auto operator.
Quentin Carbonneaux
2018-01-25
Improve error message.
Ori Bernstein
2018-01-17
Hack in seqaux.
Ori Bernstein
2018-01-17
Only set the base type on iter traits.
Ori Bernstein
2018-01-17
Infer after generating init functions.
Ori Bernstein
2018-01-14
Remove a global-global.
Ori Bernstein
2018-01-14
Pass in the context node to our error printing..
Ori Bernstein
2018-01-14
Fix binding of type env in traits.
Ori Bernstein
2018-01-14
Unify with the existing iterator.
Ori Bernstein
2018-01-13
Add code to fix up iterators.
Ori Bernstein
2018-01-13
Clean up iterator unification.
Ori Bernstein
2018-01-11
Get closer to typechecking generic args correctly.
Ori Bernstein
[next]