Skip to content

Carving up Types.scala #5

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.

Sign up for GitHub

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

Closed
wants to merge 23 commits into from
Closed

Carving up Types.scala #5

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
aa424eb
Prepare empty traits.
retronym Mar 4, 2013
b30ff8e
Temporary deprivatization for more pliable code.
retronym Mar 4, 2013
fb4b0af
Move abstract Type-Map/Collector/Traverser-s
retronym Mar 4, 2013
5274601
Move isSubType2
retronym Mar 4, 2013
d180ca3
Move isSubType
retronym Mar 4, 2013
6b23cba
Move SubTypePair / isSameType*
retronym Mar 4, 2013
74b8c15
Move isSameType helpers.
retronym Mar 4, 2013
824cade
Move issHKSubtype0
retronym Mar 4, 2013
4b6bf14
Move typeToString.
retronym Mar 4, 2013
04153c7
Move lub/glb computation
retronym Mar 4, 2013
aa1cb77
Move elimSub.
retronym Mar 4, 2013
f210515
Move stripExistentialsAndTypeVars, weakLub, numericLub.
retronym Mar 4, 2013
4ef7b99
Move TypeConstraints, UndoLog, solve.
retronym Mar 4, 2013
c2de230
Move type map/collectors/traverses (e.g. AsSeenFromMap / adaptToNewRun)
retronym Mar 4, 2013
d0b1588
Extract common owners.
retronym Mar 4, 2013
2f6cc9c
Move more type maps.
retronym Mar 4, 2013
f5130b6
Move more glb/lub helpers
retronym Mar 4, 2013
eef3805
Move ExistentialExtrapolation / rawToExistential
retronym Mar 4, 2013
c7d7a4b
Move settings.
retronym Mar 4, 2013
1702d5e
Re-privatisation
retronym Mar 4, 2013
b19fc81
Culling many unused imports and one superfluous space.
retronym Mar 4, 2013
219ed50
- Make the new slices private[internal]
retronym Mar 4, 2013
d50b620
- No need to extends api.Types form the new slices
retronym Mar 4, 2013
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading