Benjamin_Loison/Synchronous_reactive_systems
1
0
Fork 0
Code Issues 7 Pull Requests Packages Projects Releases Wiki Activity
21 Commits 2 Branches 0 Tags
97930ba85cc3efe4c5460426dd954aea8729f70b
Commit Graph
20 Commits
Author SHA1 Message Date
Benjamin_Loison 97930ba85c Correcting typos and using only English 2022-12-10 00:53:20 +01:00
Arnaud DABY-SEESARAM 8775edc6fc [parser] working equation type-checker 2022-12-10 00:33:14 +01:00
Benjamin_Loison a17b3c6fdd Make real type works 
Otherwise for the following code:

```
node test (i: real) returns (o: real);
let
    o = 0.0;
tel
```

was experiencing:

```
Fatal error: exception Stdlib.Parsing.Parse_error
Raised at Stdlib__Parsing.yyparse.loop in file "parsing.ml", line 139, characters 8-25
Called from Stdlib__Parsing.yyparse in file "parsing.ml", line 165, characters 4-28
Re-raised at Stdlib__Parsing.yyparse in file "parsing.ml", line 184, characters 8-17
Called from Parser.main in file "parser.ml" (inlined), line 1110, characters 4-44
Called from Main in file "main.ml", line 70, characters 16-68
```

Note that `%token REAL` doesn't help to solve this error, but it doesn't seem to be any reason for not having it.
 2022-12-10 00:05:07 +01:00
dsac 3c811c6128 Merge remote-tracking branch 'origin/master' 2022-12-10 00:00:28 +01:00
dsac eb469bc960 Cleanning after last merge + parser factorisation 2022-12-10 00:00:17 +01:00
Benjamin_Loison da1406fbcc Precise varlist types in the AST 2022-12-09 23:43:56 +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
Benjamin_Loison e9dd3fbde4 Add FBY instruction 2022-12-09 22:56:51 +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
Antoine Grimod 0c2341fa0b finished parser for now 2022-12-09 17:01:04 +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
dsac 6308dc893f [cli] support for basic arguments 2022-12-08 11:40:05 +01:00
dsac 232624abac renaming 2022-12-07 22:08:38 +01:00
dsac 839f7b77af [parser] adding support for expressions 2022-12-07 21:56:38 +01:00
dsac e9e5cdcf4d [parser] parses and dumps content (without expressions) 2022-12-07 16:45:55 +01:00