unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-14 16:28:34 +03:00
Code Issues Projects Releases Wiki Activity

Moving typechecker to shared; editor should be able to do typechecking, adds no extra reps, and makes development of typechecker easier

Browse Source
This commit is contained in:
Paul Chiusano 2015-06-17 09:48:24 -04:00
parent 5c0167a920
commit 2baa404d7a
4 changed files with 7 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
node/unison-node.cabal
View File

@ -60,8 +60,6 @@ library
Unison.Term.Extra
Unison.TermEdit.Extra
Unison.Type.Extra
Unison.Typechecker
Unison.Typechecker.Context
build-depends:
aeson,

0
node/src/Unison/Typechecker.hs → shared/src/Unison/Typechecker.hs
View File

11
node/src/Unison/Typechecker/Context.hs → shared/src/Unison/Typechecker/Context.hs
View File

@ -27,12 +27,11 @@ import qualified Unison.Type as Type
-- | Elements of an ordered algorithmic context
data Element
= Universal ABT.V -- | ^ `v` is universally quantified
| Existential ABT.V -- | ^ `v` existential and unsolved
| Solved ABT.V Monotype -- | ^ `v` is solved to some monotype
| Ann ABT.V Type -- | ^ `v` has type `a`, which may be quantified
| Marker ABT.V -- | ^ used for scoping
deriving Eq
= Universal ABT.V -- `v` is universally quantified
| Existential ABT.V -- `v` existential and unsolved
| Solved ABT.V Monotype -- `v` is solved to some monotype
| Ann ABT.V Type -- `v` has type `a`, which may be quantified
| Marker ABT.V deriving (Eq) -- used for scoping
instance Show Element where
show (Universal v) = show v

2
shared/unison-shared.cabal
View File

@ -47,6 +47,8 @@ library
Unison.Term
Unison.TermEdit
Unison.Type
Unison.Typechecker
Unison.Typechecker.Context
build-depends:
aeson,