Commit Graph

13 Commits

Author SHA1 Message Date
Sasha Koshka d6c8f57a81 Fixed type checking for string literals
The string builtin was incorrectly described, and
StringLiteral.canBePassedAs was checking the type actual instead of
the type points in the case of a reducible type.
2022-10-17 01:40:00 -04:00
Sasha Koshka d5687d7b0e Uhhh 2022-10-13 13:30:11 -04:00
Sasha Koshka 291aad8aad Made documentation a bit better 2022-10-12 00:48:55 -04:00
Sasha Koshka 67c94fb0e8 Special function for type checking and returning an error in one fell swop 2022-10-11 18:03:44 -04:00
Sasha Koshka 6d5bb59712 Removed runes from analyzer ez 2022-10-04 17:25:05 -04:00
Sasha Koshka 5c286cf955 Added some useful type checking thigns to literals 2022-10-04 16:19:26 -04:00
Sasha Koshka e2947eab8c Added permissions to analyzed sections 2022-10-01 17:21:17 -04:00
Sasha Koshka 47cb89206a Analyzer now understands type section default values 2022-09-30 00:04:28 -04:00
Sasha Koshka 6040980003 SectionKind has been retired 2022-09-21 21:25:48 -04:00
Sasha Koshka 7cf797af26 Added analyzeTypeSection method 2022-09-18 02:41:06 -04:00
Sasha Koshka 3635eef15a Some ToString functionality 2022-09-10 19:50:18 -04:00
Sasha Koshka b3e2d9f822 Progress on data structures for type sections
Type specifiers will now store a list of members, instead of
type sections doing that. This will make it possible to do an
inline object definition within a data section, = phrase, etc.

The parser will be reworked to include syntax that supports this,
objects and types will be merged into just a type section, and
face sections will have the added capability of defining function
pointer types.
2022-09-09 20:57:41 -04:00
Sasha Koshka f3f744c348 Producing more data structures 2022-09-08 12:59:49 -04:00