Martin Šošić
9455697c51
Added IsDeclType constraint to Decl, hidden its internal representation. ( #303 )
2021-09-14 11:19:12 +02:00
Martin Šošić
d283aabdaf
Added some general Analyzer docs. ( #302 )
2021-09-14 11:13:54 +02:00
Saatvik Shah
347cca6d9b
Move bash completion logic to Haskell ( #305 )
...
This patch moves majority of the bash completion logic from Bash to
Haskell taking advantage of the environment variables exposed by the
`complete` builtin to infer and suggest possible outputs.
Co-authored-by: sshah1 <saatvik.shah@imc.com>
2021-09-06 13:09:03 +02:00
Martin Sosic
9db0c2ed52
Added blog post about 'forall' in Haskell.
2021-09-01 16:18:32 +02:00
craigmc08
c99e9a9050
Suggestions from code review
2021-08-24 12:00:06 -04:00
Craig McIlwrath
d37cfed9f9
Apply suggestions from code review
...
Co-authored-by: Martin Šošić <Martinsos@users.noreply.github.com>
2021-08-24 11:53:22 -04:00
zant
76acbfd52a
feat: Implement wasp info command ( #295 )
2021-08-23 18:13:04 +02:00
craigmc08
43450647c7
Fix some comments
2021-08-22 14:19:38 -04:00
craigmc08
9686eaf4dc
Add test for Analyzer module
2021-08-22 13:33:44 -04:00
craigmc08
b294e42889
Refactor EvaluationError type
2021-08-22 13:18:12 -04:00
Martin Sosic
af201435be
Updated wasp version to 0.2.2.2.
2021-08-20 17:50:57 +02:00
Martin Sosic
0a33598b7f
fix: Fixed compiler thinking auth is enabled per operation when it is not.
2021-08-20 17:47:55 +02:00
craigmc08
923a9ad35a
Refactoring
2021-08-07 09:22:52 -04:00
craigmc08
2507a71abe
Add evaluation for import, json, psl
2021-08-05 15:22:21 -04:00
craigmc08
5f3f845416
More cleanup in TH
2021-08-05 14:34:46 -04:00
craigmc08
865a5196aa
Refactor evaluator TH code and add more comments
2021-08-05 13:25:13 -04:00
craigmc08
4120bc53dc
Add TH generation for IsDeclType, IsEnumType instances
2021-08-05 13:25:13 -04:00
craigmc08
d043548ecc
Get evaluation working a bit
...
Code is probably not great, but passing tests for generating haskell
data structures exist!
Still have to hand write IsDeclType and IsEnumType instances, but it's cool
2021-08-05 13:25:13 -04:00
craigmc08
a65a964b76
Add TODO for tests in Util.Control.Monad
2021-08-05 13:17:49 -04:00
craigmc08
96450aa31d
Suggestions from code review
2021-08-05 13:17:49 -04:00
craigmc08
6f178115dc
Suggestions from code review
2021-08-05 13:17:49 -04:00
craigmc08
d335562263
Suggestions from code review
2021-08-05 13:17:49 -04:00
Craig McIlwrath
5d013fab6d
Apply suggestions from code review
...
Co-authored-by: Martin Šošić <Martinsos@users.noreply.github.com>
2021-08-05 13:17:49 -04:00
craigmc08
31a4ebaee3
Refactor typechecker tests
2021-08-05 13:17:49 -04:00
craigmc08
e1e062479e
Suggestions from code review
2021-08-05 13:17:49 -04:00
Craig McIlwrath
46206c3fb3
Apply suggestions from code review
...
Co-authored-by: Martin Šošić <Martinsos@users.noreply.github.com>
2021-08-05 13:17:49 -04:00
craigmc08
c456ca8d2e
Reorganize typechecker tests
...
Now matches typechecker module structure, and a couple more tests were added to
test more behavior.
2021-08-05 13:17:49 -04:00
craigmc08
f25f206b91
Remove some useless comments
2021-08-05 13:17:49 -04:00
craigmc08
2f173bc8b7
Refactor TypeChecker unifyTypes
...
The dicttype case is more clear now
2021-08-05 13:17:49 -04:00
craigmc08
cf55594eda
Refactor typechecker module
...
Move code into Analyzer.TypeChecker.Internal to clean up interface, change lots of
names to be more readable, add comments to explain the complex parts of typechecker
code.
2021-08-05 13:17:49 -04:00
craigmc08
5ab608b8f1
Refactor TypeError
...
Instead of just a string, now the possible errors are enumerated. Recursive
error structures are used for dictionary/list type errors. Tests are updated
to check behavior of the new type errors.
2021-08-05 13:17:49 -04:00
craigmc08
51b6cda07a
Implement Decl, Enum type checking
2021-08-05 13:17:49 -04:00
craigmc08
0357921162
Implement type checking for lists and dictionaries
...
Currently fails to type check empty lists, because the requisite type
inference has not been added yet.
2021-08-05 13:17:49 -04:00
craigmc08
ce7ee253bd
Implement type checking of literal expressions
...
Type checks literal expressions + variables. Tests are included for all of
these cases as well.
2021-08-05 13:17:49 -04:00
Martin Sosic
8ee43ca834
Moved web from wasp-lang/web repo to folder in this repo.
2021-07-23 19:39:15 +02:00
Martin Sosic
b1ff2566a1
Updated wasp version to 0.2.2.1.
2021-07-22 17:18:03 +02:00
Martin Sosic
7d73f4969b
fix: Improved error message when route points to non-existing page ( #286 ).
2021-07-22 17:13:49 +02:00
Martin Šošić
f7b203ed5c
Added more details on how we use ormolu for formatting
2021-07-22 15:43:47 +02:00
Martin Sosic
1ae8887a71
Updated wasp version to 0.2.2.0.
2021-07-22 13:43:27 +02:00
Martin Šošić
d86b53cb24
Merge pull request #279 from saatvikshah/auth_opt_out
...
Allow operations to opt out of auth middleware
2021-07-21 16:28:18 +02:00
Martin Sosic
748dfb5725
feat: Wasp can now run custom setup code on server start ( #199 ).
2021-07-21 16:14:38 +02:00
Martin Sosic
0b02e45354
Formatted tests with ormolu.
2021-07-21 16:13:21 +02:00
Martin Sosic
29fd18dbcc
Formatted with ormolu.
2021-07-21 16:05:55 +02:00
Saatvik Shah
d8bd9ce674
Add task counter to ToDo app
2021-07-20 21:37:35 +02:00
Saatvik Shah
3791b0ee7c
Merge remote-tracking branch 'upstream/master' into auth_opt_out
2021-07-18 18:46:18 +02:00
Martin Sosic
d9d4ae378c
docs: Design doc for custom server setup code.
2021-07-16 17:31:07 +02:00
Craig McIlwrath
be03c2a153
feat(analyzer): add new Analyzer module and implement parser
...
Implements the parser for the new wasp Analyzer. Additionally fixes some ambiguities/inconsistencies in the wasplang document.
Closes #274
2021-07-16 09:34:12 -04:00
Martin Sosic
deae726444
Added instructions for creating a design doc (DD).
2021-07-15 15:48:57 +02:00
Martin Sosic
5606cc3751
Added feedback to examples/thoughts README.md.
2021-07-13 21:10:42 +02:00
Martin Sosic
a37600ad0c
Connected thoughts and tags to user.
2021-07-13 21:09:18 +02:00
