Arne Keller
|
d8fe8dd56a
|
CI: also compile intergation tests
|
2021-07-12 11:43:34 +02:00 |
|
Arne Keller
|
3fdec5ff1b
|
Highlight new constraint on step hover
|
2021-07-12 11:41:12 +02:00 |
|
Arne Keller
|
ab86590a3b
|
Attach index to steps
|
2021-07-12 11:16:52 +02:00 |
|
Arne Keller
|
b0288a1e3e
|
Focus correct input field on syntax error
fixes #11
|
2021-07-12 10:09:20 +02:00 |
|
Moritz Dieing
|
ca2ea6c277
|
Correct typo
|
2021-07-11 12:02:54 +02:00 |
|
Moritz Dieing
|
0cf0333289
|
Tooltip back-button in exampleDialog
|
2021-07-11 12:01:15 +02:00 |
|
Moritz Dieing
|
478cd97706
|
Update integration tests
|
2021-07-11 11:54:15 +02:00 |
|
Arne Keller
|
301af06c69
|
Improve type assumption error messages
includes codestyle fixes
|
2021-07-10 13:01:06 +02:00 |
|
Arne Keller
|
adb10a01aa
|
Fix single step proof tree
|
2021-07-10 12:47:40 +02:00 |
|
Arne Keller
|
8be024eb65
|
Update translations
|
2021-07-10 12:35:49 +02:00 |
|
Arne Keller
|
660fe2b5d1
|
Add test for #2
|
2021-07-10 12:28:13 +02:00 |
|
Arne Keller
|
f3f3bbb77d
|
More tests for #9
|
2021-07-10 12:23:05 +02:00 |
|
Arne Keller
|
57064aa5f1
|
Translation for TokenType.COMMA
|
2021-07-10 12:18:54 +02:00 |
|
Arne Keller
|
2715179182
|
Fix syntax error return in parenthesised term
part of #9
|
2021-07-10 12:17:47 +02:00 |
|
Arne Keller
|
7d4c724338
|
Change type assumptions permalink format
|
2021-07-10 12:10:54 +02:00 |
|
Arne Keller
|
c9cc12e922
|
Remove ParseError.TOO_FEW_TOKENS
fix another case of #9
|
2021-07-09 13:10:12 +02:00 |
|
Arne Keller
|
4b4f38ad31
|
ErrorView: handle unexpected EOF token
|
2021-07-09 13:02:19 +02:00 |
|
Arne Keller
|
f87a6820cc
|
Fix checkstyle
|
2021-07-09 12:56:22 +02:00 |
|
Arne Keller
|
e2c874de5f
|
Scoping ID to highlight type variables
This should fix #10
|
2021-07-09 12:46:24 +02:00 |
|
Arne Keller
|
1b70e374ac
|
Correctly scope variables in type assumptions
|
2021-07-09 12:46:04 +02:00 |
|
Arne Keller
|
394b5a3d23
|
Reject duplicate quantified type variables
|
2021-07-09 12:26:18 +02:00 |
|
Arne Keller
|
df218d8be8
|
Set content in LocaleChangeEvent listener
|
2021-07-09 12:18:26 +02:00 |
|
Moritz Dieing
|
5ddfb355c2
|
Update info dialog
|
2021-07-05 21:16:47 +02:00 |
|
Moritz Dieing
|
60235bd757
|
Separate example assumptions by commas
|
2021-07-05 21:14:21 +02:00 |
|
Arne Keller
|
d1ea244254
|
Merge remote-tracking branch 'origin/master'
|
2021-07-05 19:03:40 +02:00 |
|
Arne Keller
|
6c9aca3eb6
|
Add test for part of #9
|
2021-07-05 19:03:05 +02:00 |
|
Moritz Dieing
|
5eb5cd1a6e
|
Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc
|
2021-07-05 18:01:40 +02:00 |
|
Moritz Dieing
|
1581985400
|
Add type assumption examples
|
2021-07-05 18:01:38 +02:00 |
|
Arne Keller
|
c28576175a
|
Merge remote-tracking branch 'origin/master'
|
2021-07-05 12:28:45 +02:00 |
|
Arne Keller
|
df3f24548a
|
Use state machine to parse type assumptions
|
2021-07-05 12:21:55 +02:00 |
|
Arne Keller
|
93ec136970
|
Show expected input in UI
|
2021-07-05 09:22:55 +02:00 |
|
Arne Keller
|
f6d0777fd0
|
Save expected input type in ParseError
|
2021-07-05 09:14:51 +02:00 |
|
Arne Keller
|
507d78e17f
|
Fix key shortcut to select input field
|
2021-07-05 09:00:22 +02:00 |
|
Arne Keller
|
9c8d9423fc
|
Add test for 7fb33b8
|
2021-07-05 08:58:40 +02:00 |
|
Arne Keller
|
8dd5753ee0
|
Highlight each type variable separately
|
2021-07-05 08:58:23 +02:00 |
|
Arne Keller
|
a0ae4f08b6
|
Fix type assumption highlight in let
Previously, (let g = λx.x in g) g was highlighted incorrectly
|
2021-07-05 08:58:08 +02:00 |
|
uogau
|
6f2c6b3481
|
Error messages now show whether the error is in the Term or the Type Assumptions
|
2021-07-02 16:46:01 +02:00 |
|
uogau
|
7243719667
|
Merge remote-tracking branch 'origin/master'
|
2021-07-02 16:10:59 +02:00 |
|
uogau
|
700f4bbde5
|
Error messages for Type Assumptions now show up correctly
|
2021-07-02 16:10:49 +02:00 |
|
Arne Keller
|
116aea51c3
|
Replace variables in MGU properly
|
2021-07-02 15:13:10 +02:00 |
|
Arne Keller
|
480275e3a7
|
Semantic highlighting of variables
|
2021-07-02 14:57:25 +02:00 |
|
Arne Keller
|
30b14a2e1a
|
Merge remote-tracking branch 'origin/master'
|
2021-07-02 14:49:49 +02:00 |
|
Arne Keller
|
99e1eef0bc
|
Calculate scope of VarTerms
|
2021-07-02 14:48:51 +02:00 |
|
Moritz Dieing
|
f928b2bae3
|
Optimise type assumption syntax
|
2021-07-02 14:47:25 +02:00 |
|
Arne Keller
|
dc69e14c04
|
Fix tree layout on some inputs
Term: let f = λx. g y y in f 3
TA: g: boolean
|
2021-07-01 08:05:39 +02:00 |
|
Arne Keller
|
1a988e1b7a
|
Highlight types in unification too
see #5
|
2021-06-30 19:18:27 +02:00 |
|
Arne Keller
|
72c1823763
|
Step definition tooltips
see #5
|
2021-06-29 16:27:25 +02:00 |
|
Arne Keller
|
5a79fc64de
|
Another type assumption parser test
|
2021-06-29 14:52:06 +02:00 |
|
Moritz Dieing
|
602f6e04c4
|
Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc
|
2021-06-29 12:41:55 +02:00 |
|
Moritz Dieing
|
8463a26f97
|
Reduce upper bar height
|
2021-06-29 12:41:48 +02:00 |
|