Commit Graph

694 Commits

Author SHA1 Message Date
Arne Keller
6c9aca3eb6 Add test for part of #9 2021-07-05 19:03:05 +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
uogau
fea2b7035a Removed unnecessary information in error
changed spacing in error message
"Term" instead of "Input"
2021-06-29 12:25:35 +02:00
uogau
3477bff512 Fixed off by one error for english error message 2021-06-29 12:07:19 +02:00
Arne Keller
e621875ea4 Step label hover effect (PoC)
see issue #5
2021-06-28 14:46:22 +02:00
Arne Keller
5b4bf4f583 Vaadin 19.0.9 again 2021-06-28 14:29:10 +02:00
Arne Keller
8edeecbb8b Vaadin: 19 -> 19.0.9 2021-06-28 14:20:42 +02:00
Moritz Dieing
99c0e8332d Update InfoDialog and HelpDialog 2021-06-22 15:29:18 +02:00
Arne Keller
41479483f2 Highlight variables on hover
see issue #5
2021-06-22 09:44:03 +02:00
Arne Keller
70ce558cd0 CI: build-test-package pipeline 2021-06-21 11:35:04 +02:00
Arne Keller
74c21773d4 Only use hover classes when using Mathjax 2021-06-21 11:12:02 +02:00
Arne Keller
916f73927d Highlighting of types on hover
See issue #5
2021-06-21 10:53:03 +02:00
Arne Keller
5cabe75933 Systemd configuration file 2021-06-21 10:14:28 +02:00
Arne Keller
5763c6b4ee Handly empty type assumptions 2021-06-18 15:22:24 +02:00
Arne Keller
87fd783025 Tweak syntax and display of type assumptions 2021-06-18 15:16:07 +02:00
Moritz Dieing
02f2216265 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-06-18 13:34:34 +02:00
Moritz Dieing
9ad8831ff2 Exchange TypeAssumption-Dialog with Textfield 2021-06-18 13:34:26 +02:00
uogau
08c3322fbb Small fix for last Commit 2021-06-18 13:28:50 +02:00
uogau
3a443d848a Error messages now show where the error is 2021-06-18 13:24:51 +02:00
Arne Keller
a79d41b6e8 Accept special characters around type varibles 2021-06-17 17:24:05 +02:00
Arne Keller
ce881354a0 Test quantified type assumptions 2021-06-17 09:00:30 +02:00
Arne Keller
b55c63acc0 Implement quantified variables in type assumptions
see issue #1
2021-06-17 08:48:46 +02:00
Arne Keller
7736a12b8d Remove automatically generated pnpm-lock.yaml 2021-06-17 08:43:21 +02:00
Arne Keller
f6a790009f CI: quiet download logs 2021-06-17 08:37:54 +02:00
Moritz Dieing
e1845f8c85 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-06-16 15:38:06 +02:00
Moritz Dieing
9df9e657e1 Restructure upper bar 2021-06-16 15:37:35 +02:00
Arne Keller
289e97f254 CI: use nix-shell 2021-06-15 12:25:59 +02:00
Arne Keller
b02c5d8b9e CI: use helper scripts in repo 2021-06-15 11:58:01 +02:00
Arne Keller
e4f5727683 Reduce min height of proof tree 2021-04-04 17:39:49 +02:00