Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Language improvements #1

Merged
merged 161 commits into from May 31, 2019
Merged

Language improvements #1

merged 161 commits into from May 31, 2019

Conversation

wbbradley
Copy link
Contributor

  • Type system is now parametrically polymorphic and uses program-wide type inference based on System-F with type classes.
  • Multiple passes added to compiler to enable better encapsulation of code-gen and type checking, etc..
  • Support for data, struct, and newtype
  • Support for LLVM code generation

@wbbradley
wip
e1aafd5
@wbbradley
wip
637bc8b
@wbbradley
flesh out more of the bittering phase
4e4e63f
@wbbradley
add a bunch more into the bitters
618d119
@wbbradley
wip
c9093f6
@wbbradley
wip
d05297a
@wbbradley
wip
b599cd8
@wbbradley
wip
105e265
@wbbradley
wip
c4af06a
@wbbradley
get super basic parsing sort of working again
5204a86
@wbbradley
starting into type inference
dc78662
@wbbradley
wip
fb3eb36
@wbbradley
wip
ef082e1
@wbbradley
wip
46c0c89
@wbbradley
fix a bunch of the tuple parsing and type inference code
62b6d06
@wbbradley
work on type parsing
cfff7ba
@wbbradley
fix bug in solver - prep other parser stuff
85dfa50
@wbbradley
wip
7992321
@wbbradley
wip
1583bc5
@wbbradley
wip
d81cc38
@wbbradley
type class inference working - not yet checking for predicates at usa…
1cad89a 
…ge sites
@wbbradley
wip
f1fb11a
@wbbradley
fix bug in type_arrows - test out fmap signature with Functor type class
9ff462c
@wbbradley
get type class parsing working a bit better
c92e614
@wbbradley
cleanup
265c6b3
@wbbradley
get rid of pointlessly mutable and stateful compiler_t
3fed4fe
@wbbradley
rename forall_t to scheme_t - promote type class functions to module …
04f1b45 
…scope
@wbbradley
wip
74ef216
@wbbradley
fix various parsing checks
ada8219
@wbbradley
cleanup
f90fbe1
@wbbradley
lots of progress on moving straight to llvm
78cff15
@wbbradley
get resolver / topological sort roughly in order
ebc719a
@wbbradley
start plumbing resolvers, publishers, and fixing closure creation
82a2f12
@wbbradley
fixing bugs
8f3cabf
@wbbradley
debugging code gen
7ac8dec
@wbbradley
running!
f1577cc
@wbbradley
start working on enums and constants
4152aca
@wbbradley
wip
7d6c1bc
@wbbradley
wip - hard-coded std.Bool mapping to std.Int - enable type mapping du…
b72356b 
…ring gen phase
@wbbradley
get super basic conditional logic working
95afaee
@wbbradley
lots of progress
eee8c30
@wbbradley
fix match ctor_id compares
45b0a96
@wbbradley
fix accessor method generation
43680aa
@wbbradley
wip - progress on newtype - automatically converting enums to newtype…
6355214 
…s of Int
@wbbradley
wip
e06d90b
@wbbradley
lots of progress on testing
ac746ff
@wbbradley
a bunch of fixes - using ctest in cmakelists which is ugly, but will …
12079ab 
…bootstrap later - getting closer to newtype
@wbbradley
fix issues related to comparing ctor ids in enums (and otherwise)
6be282f
@wbbradley
plumb the type environment around
f37f1fc
@wbbradley
reformat
d1f6295
@wbbradley
basic implementation of newtype with a couple tests
bc07201
@wbbradley
wip
d45ff63
@wbbradley
wip
b04009a
@wbbradley
remove + for strings - decided to not support default instance selection
65303ca
@wbbradley
cleanup
f456eee
@wbbradley
wip: trying to get through more monomorphization
d16e287
@wbbradley
rewrite let inference - various other fixes and working on lib/std
f5404c8
@wbbradley
progress towards running tests in docker
05e98ab
@wbbradley
get docker tests passing
465efdb
@wbbradley wbbradley merged commit 465efdb into master May 31, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@wbbradley