Patrick Thomson
58f3ba609c
Warnings.
2018-06-11 14:23:44 -04:00
Patrick Thomson
656c989409
Fix tests.
2018-06-11 13:36:15 -04:00
Rick Winfrey
5652f6d22d
Merge branch 'master' into haskell-assignment
2018-06-11 10:32:46 -07:00
Rick Winfrey
2048c23383
Add Operator constructor
2018-06-11 10:27:14 -07:00
Rick Winfrey
932f2d2267
Use single type constructor for identifiers
2018-06-11 10:22:06 -07:00
Patrick Thomson
57ca70662e
Remove Semantic.IO.Blob.
2018-06-11 12:54:55 -04:00
Timothy Clem
48408e489a
Merge pull request #1928 from github/port-semiotic-http-interface
...
Port semiotic http interface
2018-06-11 08:22:32 -07:00
Timothy Clem
b71c883da1
Merge branch 'master' into port-semiotic-http-interface
2018-06-11 07:41:54 -07:00
Rick Winfrey
9317972ca2
Assign import declarations (not hidden)
2018-06-08 17:18:39 -07:00
Rick Winfrey
fadf84870e
Assign standalone deriving instances
2018-06-08 15:46:03 -07:00
Rick Winfrey
5824ea1b73
Add additional type signature tests
2018-06-08 15:07:07 -07:00
Patrick Thomson
77856bc098
more warnings
2018-06-08 17:17:50 -04:00
Patrick Thomson
a69b80d4f4
warnings
2018-06-08 17:10:25 -04:00
Patrick Thomson
84b8b5ceb7
cleanup
2018-06-08 17:05:04 -04:00
Patrick Thomson
e59708dfd6
docs
2018-06-08 16:53:38 -04:00
Patrick Thomson
18399518b9
don't load all the preludes ahead of time
2018-06-08 16:49:38 -04:00
Rick Winfrey
c1b0980383
I like hugging my code with extra ()
, sorry to inconvenience you hlint
2018-06-08 12:13:58 -07:00
Rick Winfrey
c688f580f7
Regenerate go test fixtures
2018-06-08 12:10:54 -07:00
Rick Winfrey
646e1c3459
Be explicit about each identifier type
...
I went through a lot of trouble to make every identifier parsed in `tree-sitter-haskell` as accurate as possible (i.e. type variable identifier vs constructor identifier vs type class identifier). This enables us to keep those distinctions with assignment at the cost of adding more constructors.
2018-06-08 12:05:17 -07:00
Rick Winfrey
6f8dff06f8
Assign equality constraints
2018-06-08 12:02:13 -07:00
Rick Winfrey
780e5f295b
Assign tuples
2018-06-08 12:01:06 -07:00
Patrick Thomson
14b01603e4
it works as long as you package the prelude and comment out Util
2018-06-08 14:40:12 -04:00
Rick Winfrey
9a76a2ea24
Bump haskell-tree-sitter
2018-06-08 11:02:24 -07:00
Rick Winfrey
ce8cd489af
Assign default declarations
2018-06-08 10:33:42 -07:00
Rick Winfrey
5d3ece8d69
Allow multiple contexts (for scoped type variables and type class constraints) for data constructors
2018-06-08 10:23:21 -07:00
Ayman Nadeem
90c8fbb17e
Merge branch 'master' into java-assignment-continued
2018-06-08 10:23:13 -07:00
Rick Winfrey
867170b39a
Assign primitive constructor identifiers
2018-06-08 10:13:24 -07:00
Rick Winfrey
0cc63f89f3
Assign newtype declarations
2018-06-08 10:06:09 -07:00
Patrick Thomson
0eac55e454
update protos
2018-06-08 12:51:14 -04:00
Patrick Thomson
dd8c8b0762
Port AdjList and create the messages
2018-06-08 12:48:23 -04:00
Patrick Thomson
c3542f31ed
Generate Projects in proto-gen
2018-06-08 12:43:10 -04:00
Patrick Thomson
a90d70fa36
generalize Project
2018-06-08 12:41:07 -04:00
Rick Winfrey
4dd8cb6e91
Merge pull request #1938 from github/haskell-assignment
...
Haskell assignment #6
2018-06-08 09:33:51 -07:00
Rick Winfrey
1c339e9275
Add manyTerm, someTerm', and commentedTerm helpers
2018-06-08 09:25:05 -07:00
Charlie Somerville
d981238cf5
undo evaluateProject rejigger
2018-06-08 11:49:48 +10:00
Charlie Somerville
2ef9e26630
fix up double wrapped Evaluator
2018-06-08 11:41:31 +10:00
Charlie Somerville
521d139ec8
appease linter
2018-06-08 11:33:14 +10:00
Charlie Somerville
320060749b
don't bind unused name
2018-06-08 11:33:11 +10:00
Charlie Somerville
519c477c00
evaluate namespaces in terms of addresses, not values
2018-06-08 11:33:08 +10:00
Charlie Somerville
b68d12f4e7
deref pointers to values in testEvaluating
2018-06-08 11:33:04 +10:00
Charlie Somerville
ddb18160f7
Merge branch 'master' into charliesome/value-ref-address
2018-06-08 11:33:01 +10:00
Rick Winfrey
9e6acf337c
Merge branch 'master' into haskell-assignment
2018-06-07 17:50:27 -07:00
Rick Winfrey
1ba0723373
Flush out more types and type synonym declaration assignments
2018-06-07 17:49:37 -07:00
Rick Winfrey
ea2bca03b6
Use NonEmpty lists for qualified names
...
Co-Authored-By: Timothy Clem <timothy.clem@gmail.com>
2018-06-07 15:48:55 -07:00
Josh Vera
9c4ce059cb
Merge branch 'master' into port-semiotic-http-interface
2018-06-07 17:42:06 -04:00
Rick Winfrey
5c0191378b
Assign module exports including:
...
- Constructor Operators
- Type Operators
- Variable Operators
- Module Exports (exporting a module)
- Constructor Symbols
- Variable Symbols
- Qualified Module Identifiers
2018-06-07 14:17:39 -07:00
Josh Vera
c04f3179e4
Merge pull request #1933 from github/haskell-assignment
...
Haskell assignment #5
2018-06-07 17:01:09 -04:00
Rick Winfrey
b9d7f5fe46
Bump haskell-tree-sitter
2018-06-07 11:21:02 -07:00
Ayman Nadeem
6ffb7015b1
add typeArgument to type'
2018-06-07 11:09:14 -07:00
Rob Rix
b08d3736fa
Merge branch 'master' into haskell-assignment
2018-06-07 11:35:56 -04:00