253 commits

Author	SHA1	Message	Date
Nicolas PENELOUX	e4b7a7bc0c	ajout de commentaires	2023-12-18 19:15:50 +01:00
Nicolas PENELOUX	ec2816ddba	modification pour Unbound Value les op binaires et les fonctions prédéfini	2023-12-18 18:11:10 +01:00
Nicolas PENELOUX	f13440c6f2	Merge branch 'jalon4' of gaufre.informatique.univ-paris-diderot.fr:Anri/compilation-m1-2023 into jalon4	2023-12-18 17:27:58 +01:00
Nicolas PENELOUX	68eec09b05	ajout def_rec en théorie mais ça ne marche pas	2023-12-18 17:27:44 +01:00
Mylloon	6078d40215	la meme je crois?	2023-12-18 15:46:29 +01:00
Mylloon	86e8cead3a	Some failwith	2023-12-18 14:13:49 +01:00
Mylloon	a6afabb538	fmt	2023-12-18 14:06:40 +01:00
Nicolas PENELOUX	37e79d1df6	Etape 4 ? à tester	2023-12-18 13:08:33 +01:00
Nicolas PENELOUX	f7567888c9	Etape S.Fun (ne marche surement pas)	2023-12-17 21:20:58 +01:00
Mylloon	34c2a6c8e3	todos	2023-12-15 19:27:03 +01:00
Mylloon	814c04c1d0	infinite loop....	2023-12-15 19:17:29 +01:00
Mylloon	ebd9544870	ig?	2023-12-15 19:15:54 +01:00
Mylloon	939d015453	jpige r	2023-12-15 14:06:55 +01:00
Mylloon	22b0811cbe	Apply	2023-12-15 13:53:55 +01:00
Mylloon	34cffe1661	ew :(	2023-12-15 13:41:12 +01:00
Mylloon	edb1219070	fmt	2023-12-15 13:13:03 +01:00
Mylloon	0c61177cab	Merge branch 'master' of gaufre.informatique.univ-paris-diderot.fr:aguatto/compilation-m1-2023	2023-12-13 20:00:21 +01:00
Adrien Guatto	26259aa774	Publication du jalon 6 ... Le jalon 5 a été sauté.	2023-12-13 19:42:00 +01:00
Nicolas PENELOUX	1921101d45	Etape 2 : free_variables (à tester)	2023-12-12 16:13:31 +01:00
Mylloon	6e0deecba5	Merge branch 'master' into jalon4	2023-12-11 12:57:09 +01:00
Mylloon	c2cdce8baa	Merge branch 'master' of gaufre.informatique.univ-paris-diderot.fr:aguatto/compilation-m1-2023	2023-12-11 12:56:35 +01:00
Adrien Guatto	074d5cb6f2	jalon 4 : tests	2023-12-11 11:49:02 +01:00
Mylloon	63ec3b464e	fmt	2023-12-10 15:45:36 +01:00
Mylloon	bfb79a12ce	test-46	2023-12-06 18:15:16 +01:00
Mylloon	1f1e58f84f	fmt	2023-12-06 18:06:52 +01:00
Nicolas PENELOUX	8b3a34ba2d	correction d'un bug	2023-12-06 18:05:43 +01:00
Nicolas PENELOUX	e0bb403e11	correction Unbound PRecord	2023-12-06 17:23:45 +01:00
Nicolas PENELOUX	9168e114c0	PRecord (marche pas)	2023-12-06 16:56:42 +01:00
Nicolas PENELOUX	61bcf58096	PTagged 72/111	2023-12-06 14:46:18 +01:00
Mylloon	c98eb70a06	move synth_branch	2023-12-06 09:53:01 +01:00
Mylloon	f9c8d3e2f9	synth_case	2023-12-06 09:51:18 +01:00
Mylloon	e8c6f8da9b	fmt	2023-12-05 23:55:40 +01:00
Nicolas PENELOUX	026805bd12	ajout POr PAnd PTuple et début PTagged	2023-12-05 23:03:03 +01:00
Nicolas PENELOUX	fbd63b1c5d	TypeAnnot	2023-12-05 22:07:53 +01:00
Mylloon	cfbaa90ed9	fmt	2023-12-05 20:58:36 +01:00
Nicolas PENELOUX	4990e18caf	real conflict	2023-12-05 20:53:12 +01:00
Nicolas PENELOUX	bfe0ab706b	conflict	2023-12-05 20:52:54 +01:00
Mylloon	1eab8ed491	explicit types	2023-12-05 20:51:23 +01:00
Nicolas PENELOUX	90bec5c08d	Merge branch 'jalon3' of gaufre.informatique.univ-paris-diderot.fr:Anri/compilation-m1-2023 into jalon3	2023-12-05 20:48:41 +01:00
Nicolas PENELOUX	ff8a7f9a31	ajout check_pattern_linearity	2023-12-05 20:48:26 +01:00
Mylloon	a6f8ea69d0	? j'en sais rien	2023-12-05 20:39:55 +01:00
Mylloon	624590e849	wip: synth_field	2023-12-05 20:27:51 +01:00
Mylloon	6bbb1f0996	fmt	2023-12-05 19:45:57 +01:00
Nicolas PENELOUX	0ec66864fb	Fields (marche pas), début pattern, Tuple et Fun	2023-12-05 19:16:35 +01:00
Mylloon	ab4f675239	.	2023-12-05 13:52:52 +01:00
Mylloon	756ede6179	mieux?	2023-12-05 13:52:18 +01:00
Mylloon	a90e8176e6	synth_tagged - pire implémentation ever	2023-12-05 13:51:59 +01:00
Mylloon	9e7de664e7	synth_record : 35/111	2023-12-05 13:05:21 +01:00
Mylloon	4266ff5111	wip: record	2023-12-05 12:30:16 +01:00
Mylloon	f44b7a585e	synth_variable Some case	2023-12-05 12:10:00 +01:00
Mylloon	4492c9b3ea	better errors	2023-12-05 11:47:52 +01:00
Mylloon	b37962dee2	oops	2023-12-05 11:38:31 +01:00
Mylloon	d2db0dfc4f	typos	2023-12-05 04:32:24 +01:00
Mylloon	52eabc2697	synth_for	2023-12-05 04:29:42 +01:00
Mylloon	419e3e962e	synth_while	2023-12-05 04:17:56 +01:00
Mylloon	45bbd6a0dd	synth_ifthenelse	2023-12-05 04:17:53 +01:00
Mylloon	9d077bcbc1	synth_read	2023-12-05 04:10:33 +01:00
Mylloon	f82e28cd8b	synth_assign	2023-12-05 04:08:51 +01:00
Mylloon	0fb9b8603b	.	2023-12-05 03:59:26 +01:00
Mylloon	7e4a6b91bd	essay at synth_tannot	2023-12-05 03:59:04 +01:00
Mylloon	11b86b509a	synth_ref	2023-12-05 00:06:34 +01:00
Mylloon	28f303ee51	failwith	2023-12-05 00:06:30 +01:00
Mylloon	a4ea0f62d2	synth_define	2023-12-04 23:50:29 +01:00
Mylloon	3c30abe0ac	correct error msg	2023-12-04 23:50:20 +01:00
Mylloon	6338b05d39	synth_variable	2023-12-04 23:36:08 +01:00
Mylloon	1af819d86d	ah! javais pas vu mdr	2023-12-04 23:36:04 +01:00
Mylloon	ee1baae420	typo	2023-12-04 22:58:47 +01:00
Nicolas PENELOUX	581185838d	Merge branch 'jalon3' of gaufre.informatique.univ-paris-diderot.fr:Anri/compilation-m1-2023 into jalon3	2023-12-04 18:56:35 +01:00
Mylloon	a4910af26d	sequence ... Co-authored-by: Nicolas PENELOUX <nicolas.peneloux@free.fr>	2023-12-04 18:50:55 +01:00
Nicolas PENELOUX	a66f9f57fd	Merge branch 'jalon3' of gaufre.informatique.univ-paris-diderot.fr:Anri/compilation-m1-2023 into jalon3	2023-12-04 18:40:36 +01:00
Nicolas PENELOUX	07230fc0ed	sequence	2023-12-04 18:40:31 +01:00
Mylloon	72c323b2c8	fmt	2023-12-04 18:38:57 +01:00
Mylloon	97fc6d3d86	Merge branch 'jalon3' of gaufre.informatique.univ-paris-diderot.fr:Anri/compilation-m1-2023 into jalon3	2023-12-04 18:34:01 +01:00
Mylloon	1edd925ed5	type checking	2023-12-04 18:33:56 +01:00
Nicolas PENELOUX	4805abe904	Apply ?	2023-12-04 18:05:51 +01:00
Mylloon	a01eba04e3	fmt	2023-12-04 17:47:16 +01:00
Nicolas PENELOUX	3237406430	40/111 ???	2023-11-28 21:32:54 +01:00
Mylloon	c41d137715	no type = fail	2023-11-28 03:29:02 +01:00
Mylloon	9700dddcac	sépare les problèmes pour mieux comprendre parce que là c'est un calvere ... les types des fonctions sont pas là pour avoir un truc par défaut mais sont probablement pas définitif	2023-11-28 03:17:03 +01:00
Mylloon	3ee85d7766	fix	2023-11-28 01:59:55 +01:00
Nicolas PENELOUX	ae2b764821	tentative de compréhension	2023-11-25 16:44:12 +01:00
Nicolas PENELOUX	ad14b5bd46	conflict	2023-11-25 14:33:32 +01:00
Nicolas PENELOUX	79029a186e	?	2023-11-25 14:33:03 +01:00
Mylloon	acd881c0dd	mm	2023-11-21 17:33:12 +01:00
Mylloon	e091ae9860	coupé en 2	2023-11-21 17:17:43 +01:00
Mylloon	da6e4547a8	debug	2023-11-20 04:54:40 +01:00
Mylloon	195139e058	fmt	2023-11-20 04:43:27 +01:00
Mylloon	099ac3a73d	Merge branch 'master' of gaufre.informatique.univ-paris-diderot.fr:aguatto/compilation-m1-2023	2023-11-19 16:26:18 +01:00
Adrien Guatto	6355f88c0f	Jalon 3	2023-11-15 19:08:33 +01:00
Mylloon	6f097cba99	fmt	2023-11-14 17:01:38 +01:00
Nicolas PENELOUX	c7c9b0c351	formats, ajout commentaires et makefile	2023-11-13 17:47:48 +01:00
Nicolas PENELOUX	d7b09be593	72/72, fix for	2023-11-13 16:39:29 +01:00
Nicolas PENELOUX	b1cade7dd4	add PRecord, marche pas mais je l'ai fais quand même	2023-11-13 14:31:17 +01:00
Mylloon	4b32388ae7	correct position?	2023-11-12 19:42:09 +01:00
Mylloon	b92523f677	c bon	2023-11-12 19:38:23 +01:00
Mylloon	be75f1425b	fmt	2023-11-12 19:37:57 +01:00
Mylloon	5f2c67b1b3	67/72	2023-11-12 19:30:41 +01:00
Mylloon	aec53f30e1	fmt	2023-11-12 18:11:36 +01:00
Nicolas PENELOUX	a3c305fb9c	48/72, fix Assign, Apply, add pattern for Wildcard / Literal / Variable / TypeAnnotation / Tagged / Tuple / Or & And	2023-11-11 21:49:31 +01:00
Nicolas PENELOUX	d149e5d1e7	début pattern	2023-11-09 22:38:50 +01:00