implement-modules #43

sashakoshka · 2024-02-21T11:26:34-07:00

sashakoshka commented

2024-02-21 11:26:34 -07:00

this pull request is so powerful my browser has trouble showing it all

implements #15

this pull request is so powerful my browser has trouble showing it all implements #15

sashakoshka added 93 commits 2024-02-21 11:26:35 -07:00

Add design document for modules 66d618a6fc

Revised module design, cleared up wording c76711cd02

Add future work section 4385b4cf75

Rename module design doc to unit design doc 64e5adcf41

Asajkdhaskldj 76d71cd1e8

Extracted re-usable parsing utilities from parser.parser 7093e65aed

Separated parser into two packages 548c8c4de1

Improve doc comments for Parser 6bb5846427

Updated analyzer ce6ca856ee

Updated generator b6bd81a244

I blame debian for this 6bc5cc8766

Updated compiler command 27947f7ca4

Add metadata entities 364141ad0d

Add Directive interface c68b3ab4c1

Flesh out meta.Tree and meta.treeParser with more methods 24961269f2

Nickname is no longer a type b4adef7a1c

Changed wording in fsplParser.treeParser.bug() 9598890aa4

Implemented metadata file parsing 211a6d358a

Add metaParser test-common.go a837577217

Add test cases for metadata parser 87d5ca4cee

Auto-nicknaming should happen at the analysis stage fb374c5420

Add some utility methods to entity.Address 81bef17d6f

Add method of entity.Address to generate a nickname a240e26776

Module compilation stub in compiler command 0bcd41c873

Compiler CLI can drive internals 50cbf25c1e

Metadata is now an entity a9d470d46a

Metadata is now an entity a4b60a5eff

Break out ParseModule and ParseSourceFile from CompileUnit 87fa994f27

Break compiler out into its own package a46939b3f8

Mini-analysis of metadata in Compiler.ParseModule 1636fa0172

Add module names to top level entities 89500ec5ef

Parser now has something of a concept of modules c69091898a

Entity now deals in UUIDs 794d44787d

Parser now translates names to unit UUIDs 8ad421b1e1

Parser and entity now refer to units as units instead of modules 98789cf779

treeParser.lookupUnit returns the current unit UUID on empty string b27d5fe006

So I have a better idea f30e6d839d

Add a file with my better idea in it 2985d13131

Made wording in entity even better 832e9232aa

Begin implemeting my better idea in the analyzer 940346eecf

Add section about uniqueness and UUIDs to units design doc ab1f25785b

Analyzer compiles 04a94a2dc9

Analyzer does not crash 953e9336db

Use stram0.fspl so I don't have to rewrite every test 06b1cc0cb6

Made analyzer error testing 20% cooler bc5f435ea6

I mispelled stream 7420fac2bd

All analyzer tests pass ee4dfc3e4a

Add parser test case for skimming 736f117fac

Improved the skim test case 5940d47ad7

Parser now actually skims files 7a4b9850df

Improved analyzer testing infrastructure 49493fe7d0

Should be able to write tests for units now. 75d89e9c2a

Haha unit tests. Surely this won't get confusing.

Forgot about the nickname map haha 699ef84bef

I ohasdhjklashf dslkfj ksdl afe3683c2a

Add some initial analyzer tests for units 78fa0f703d

Parser does *not* actually discard private toplevels while skimming 9178e55a20

And it shouldn't! Because it doesn't, the analyzer can say "this is
private" instead of "this doesn't exist".

Parser properly unions position of named types 8019a11826

Analyzer checks access permissions when using named types e2367b26c2

Ok so maybe that one commit wasn't entirely true 0684410631

Real quick add unicode test to parser 6dc958742b

Fix behavior of Tree.analyzeMethodOrBehavior() d2cb1f78c4

Pass TestUnitPrivateMethod Err 95db63b1b8

This is mega silly f6eeb011bf

When analyzing a typedef, update the unit information first 745e79157c

Add more test cases for restricted typedefs in units e38c185042

Should also make sure ~ only applies to types 3ef9f404b1

Entity now stores unit and access information for types 1c6e179f0a

Analyzer now fills out this information ef2a2ab059

Analyzer no longer thinks String is private e0cb31a85b

Analyzer does not allow calling behaviors of restricted iface ac56be4468

Analyzer does not allow member access on restricted types 6ea10c3783

Analyzer does not allow marking functions/methods as restricted 3039bdbaf7

Add more multi-unit test cases a9522b5c20

Analyzer does not allow subscripting, slicing of restricted types f0d42f996c

Analyzer does not allow value casting of restricted types f5bae2c231

Analyzer does not allow literals to be assigned to restricted types dd09b86cb8

Analyzer does not allow operations on restricted types 74c6d93151

Fixed wording issue in design/units.md abb326bffc

Move Key to Entity 33b6414647

entity.Key now has an optional method field b6edaa0814

Documented how methods are named 34c6fcbd57

Generator now has module support 66ee370f23

Types are given proper link names in the generator c4873915bb

Fixed generator map sorting 49b6264ba4

Updated generator tests 12bf91d010

The compiler now compiles 2cedeb9c0d

Oops haha, print statement. 3ef8ecca66

Compiler is a bit more adaptable now 6f429571ff

cli package now prints out usage correctly c49e963310

Compiler now only parses module files that end in .fspl bfee5ecc92

Compiler understands compiling to . 1ba6afef23

Add a "Resolver" that resolves unit addresses 24a7995819

Updated compiler to use Resolver 7d530772bf

sashakoshka added 1 commit 2024-02-21 11:26:47 -07:00

Merge branch 'main' into implement-modules 7f4e23fb71

sashakoshka closed this pull request

2024-02-21 11:27:58 -07:00

sashakoshka referenced this pull request

2024-02-21 11:47:17 -07:00

Implement modules #15

Pull request closed

This pull request cannot be reopened because the branch was deleted.

Sign in to join this conversation.

No reviewers

No Milestone

No project

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: fspl/fspl#43