2907fff1f6
improvement: Some small type system improvements:
...
* `Type::LateSelf` which stands in for `Self` in protocol function definitions.
* Correctly reference `Self` and `Self.` types when compiling.
* Warn when functions have no body outside of protocols.
2022-09-26 12:13:26 +13:00
a01b105dd4
VSCode syntax highlighting
2022-09-25 01:29:37 +00:00
aface0ae2b
wip: some code gardening and start on a decompiler.
2022-09-23 17:24:50 +12:00
65118a3d01
wip: some code gardening and start on a decompiler.
2022-09-15 10:14:18 +12:00
892d9263f0
improvement: copy a reference to the source into user-defined types.
2022-08-29 19:26:56 +12:00
eefe3a606e
improvement: re-use the same context for multiple file compiles.
2022-08-29 19:09:31 +12:00
d1e3e62b6c
improvement: add a bunch of notifications.
2022-08-24 18:37:32 +12:00
97a6f14720
fix: get the build passing agian.
2022-08-22 19:27:13 +12:00
de99800349
wip: anyone know how to write a type checker?
2022-08-22 19:02:20 +12:00
9675e7fff5
improvement: rename Module -> Context.
2022-08-22 16:32:51 +12:00
a05736528c
wip: can parse the core library.
2022-08-22 16:21:47 +12:00
272be0d249
wip: use miette for compiler errors.
2022-08-22 11:30:39 +12:00
336b2574b8
wip: desugar infix and unary operations into function calls.
2022-08-19 17:46:36 +12:00
40717b6c78
wip: working on type resolution.
2022-08-19 16:25:42 +12:00
2277882c89
wip: replace home-rolled lexer and parser with pest.
2022-08-15 17:48:36 +12:00
f6eccebb27
wip: more work on the compiler. I think I went the wrong direction.
2022-08-14 07:11:42 +12:00
2efe1a3cf1
wip: working on the compiler.
2022-08-09 12:40:22 +12:00
