implement-modules #43

Closed

sashakoshka wants to merge 502 commits from implement-modules into main

sashakoshka commented

2024-02-21 18:26:34 +00:00

Owner

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 18:26:35 +00:00

66d618a6fc Add design document for modules

c76711cd02 Revised module design, cleared up wording

4385b4cf75 Add future work section

64e5adcf41 Rename module design doc to unit design doc

76d71cd1e8 Asajkdhaskldj

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

548c8c4de1 Separated parser into two packages

6bb5846427 Improve doc comments for Parser

ce6ca856ee Updated analyzer

b6bd81a244 Updated generator

6bc5cc8766 I blame debian for this

27947f7ca4 Updated compiler command

364141ad0d Add metadata entities

c68b3ab4c1 Add Directive interface

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

b4adef7a1c Nickname is no longer a type

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

211a6d358a Implemented metadata file parsing

a837577217 Add metaParser test-common.go

87d5ca4cee Add test cases for metadata parser

fb374c5420 Auto-nicknaming should happen at the analysis stage

81bef17d6f Add some utility methods to entity.Address

a240e26776 Add method of entity.Address to generate a nickname

0bcd41c873 Module compilation stub in compiler command

50cbf25c1e Compiler CLI can drive internals

a9d470d46a Metadata is now an entity

a4b60a5eff Metadata is now an entity

87fa994f27 Break out ParseModule and ParseSourceFile from CompileUnit

a46939b3f8 Break compiler out into its own package

1636fa0172 Mini-analysis of metadata in Compiler.ParseModule

89500ec5ef Add module names to top level entities

c69091898a Parser now has something of a concept of modules

794d44787d Entity now deals in UUIDs

8ad421b1e1 Parser now translates names to unit UUIDs

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

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

f30e6d839d So I have a better idea

2985d13131 Add a file with my better idea in it

832e9232aa Made wording in entity even better

940346eecf Begin implemeting my better idea in the analyzer

ab1f25785b Add section about uniqueness and UUIDs to units design doc

04a94a2dc9 Analyzer compiles

953e9336db Analyzer does not crash

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

bc5f435ea6 Made analyzer error testing 20% cooler

7420fac2bd I mispelled stream

ee4dfc3e4a All analyzer tests pass

736f117fac Add parser test case for skimming

5940d47ad7 Improved the skim test case

7a4b9850df Parser now actually skims files

49493fe7d0 Improved analyzer testing infrastructure

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

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

699ef84bef Forgot about the nickname map haha

afe3683c2a I ohasdhjklashf dslkfj ksdl

78fa0f703d Add some initial analyzer tests for units

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

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

8019a11826 Parser properly unions position of named types

e2367b26c2 Analyzer checks access permissions when using named types

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

6dc958742b Real quick add unicode test to parser

d2cb1f78c4 Fix behavior of Tree.analyzeMethodOrBehavior()

95db63b1b8 Pass TestUnitPrivateMethod Err

f6eeb011bf This is mega silly

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

e38c185042 Add more test cases for restricted typedefs in units

3ef9f404b1 Should also make sure ~ only applies to types

1c6e179f0a Entity now stores unit and access information for types

ef2a2ab059 Analyzer now fills out this information

e0cb31a85b Analyzer no longer thinks String is private

ac56be4468 Analyzer does not allow calling behaviors of restricted iface

6ea10c3783 Analyzer does not allow member access on restricted types

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

a9522b5c20 Add more multi-unit test cases

f0d42f996c Analyzer does not allow subscripting, slicing of restricted types

f5bae2c231 Analyzer does not allow value casting of restricted types

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

74c6d93151 Analyzer does not allow operations on restricted types

abb326bffc Fixed wording issue in design/units.md

33b6414647 Move Key to Entity

b6edaa0814 entity.Key now has an optional method field

34c6fcbd57 Documented how methods are named

66ee370f23 Generator now has module support

c4873915bb Types are given proper link names in the generator

49b6264ba4 Fixed generator map sorting

12bf91d010 Updated generator tests

2cedeb9c0d The compiler now compiles

3ef8ecca66 Oops haha, print statement.

6f429571ff Compiler is a bit more adaptable now

c49e963310 cli package now prints out usage correctly

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

1ba6afef23 Compiler understands compiling to .

24a7995819 Add a "Resolver" that resolves unit addresses

7d530772bf Updated compiler to use Resolver

sashakoshka added 1 commit 2024-02-21 18:26:47 +00:00

7f4e23fb71 Merge branch 'main' into implement-modules

sashakoshka closed this pull request

2024-02-21 18:27:58 +00:00

sashakoshka referenced this pull request

2024-02-21 18:47:17 +00:00

Implement modules #15

Pull request closed

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

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

No description provided.