mirror of
https://github.com/unisonweb/unison.git
synced 2024-11-10 11:15:08 +03:00
59e8a25693
* WIP: fix up anns for bindings, blocks, etc. * Working annotations for lets * Add nesting tests * Fix nesting tests * Fix annotations on let-rec blocks * Fix bad test src * Skip destructuring binds test for now. * Remove debugging * Better fallbacks for finding ref nodes * Transcript updates * Fix bad 'contains' * Rewrite letrec and let combinators to avoid requiring semigroup * Don't include block openers in the block itself. We don't want things like '=' or '->' to be part of a block * Re-run transcripts * Remove redundant constraint
47 lines
820 B
YAML
47 lines
820 B
YAML
name: unison-core
|
|
github: unisonweb/unison
|
|
|
|
library:
|
|
source-dirs: .
|
|
when:
|
|
- condition: false
|
|
other-modules: Paths_unison_core
|
|
|
|
dependencies:
|
|
- base
|
|
- containers
|
|
- rfc5051
|
|
- text
|
|
- vector
|
|
- recover-rtti
|
|
- unison-hash
|
|
- unison-prelude
|
|
- unison-util-base32hex
|
|
|
|
default-extensions:
|
|
- ApplicativeDo
|
|
- BangPatterns
|
|
- BlockArguments
|
|
- DeriveAnyClass
|
|
- DeriveFunctor
|
|
- DeriveGeneric
|
|
- DeriveTraversable
|
|
- DerivingStrategies
|
|
- DerivingVia
|
|
- DoAndIfThenElse
|
|
- FlexibleContexts
|
|
- FlexibleInstances
|
|
- GeneralizedNewtypeDeriving
|
|
- LambdaCase
|
|
- MultiParamTypeClasses
|
|
- NamedFieldPuns
|
|
- OverloadedStrings
|
|
- QuantifiedConstraints
|
|
- PatternSynonyms
|
|
- RankNTypes
|
|
- ScopedTypeVariables
|
|
- StandaloneDeriving
|
|
- TupleSections
|
|
- TypeApplications
|
|
- ViewPatterns
|