 Arnaud DABY-SEESARAM
|
19fd3bc1b9
|
Merge remote-tracking branch 'origin/master'
|
2022-12-15 16:18:17 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
38a7325097
|
[beamer] slide 7
|
2022-12-15 16:17:47 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
79f0c7d223
|
[passes] never redefine an input
|
2022-12-13 18:15:48 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
f3416582be
|
[passes] correction of the check not re-init of variables
|
2022-12-13 18:08:11 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
e5ac9a719d
|
[passes] check unicity of the assignations for each var
|
2022-12-13 15:55:21 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
69b963c305
|
[gitfix] rebase fix
|
2022-12-13 15:04:53 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
ad1f529863
|
[typo] adding newline
|
2022-12-13 14:57:55 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
51ed84504f
|
[pre propagation] done.
|
2022-12-13 14:25:48 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
c4ad75e4cb
|
[passes] auxiliary functions
|
2022-12-13 11:46:04 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
19be2200f3
|
Catch syntax errors
|
2022-12-13 11:43:23 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
8ef4d035a3
|
Reject programs with var initialized twice
|
2022-12-13 10:26:55 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
ef0effeb1f
|
improvement over error messages (with code ;) )
|
2022-12-13 10:26:55 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
54d806f149
|
[pp] add typing information
|
2022-12-10 17:20:02 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
5551237414
|
[parser] types of both side of equations are lists
|
2022-12-10 17:14:54 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
8775edc6fc
|
[parser] working equation type-checker
|
2022-12-10 00:33:14 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
53e356ff55
|
merge: fby: transformation -> pre dans le parseur
|
2022-12-09 23:22:05 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
347cb3a11d
|
[parser] ajout de fby (proposition alternative) + type checker (sera factorisé)
|
2022-12-09 23:18:13 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
a29666f673
|
[parser] type-checking
|
2022-12-08 17:52:19 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
f64a25b0b5
|
[cleaning]
|
2022-12-08 14:34:50 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
428b0a75e2
|
[parser] (wip) explicitely typing the language
|
2022-12-09 16:33:07 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
f84279c5d8
|
[parser] fixes + pretty_printers
|
2022-12-09 15:47:27 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
74c04a0e4e
|
[parser] new parser, no more pp (for now)
|
2022-12-09 14:26:28 +01:00 |
|
|
Arnaud DABY-SEESARAM
|
b57cee3f73
|
[ast] GADTs
|
2022-12-08 19:49:57 +01:00 |
|