Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit 7217aff9 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

Pdecl: remove an unused restriction on top-level computations

This may return at some point in a different form, but for now
it just breaks "val ref".
parent 6887ec81
......@@ -527,8 +527,6 @@ let create_let_decl ld =
| LDvar ({pv_vs = {vs_name = {id_loc = loc}}},e) ->
if not (ity_closed e.e_ity) then
Loc.errorm ?loc "Top-level variables must have monomorphic type";
if match e.e_node with Eexec _ -> false | _ -> true then
Loc.errorm ?loc "Top-level computations must carry a specification";
[], [], []
| LDrec rdl ->
let add_rd sm d = Mrs.add d.rec_rsym d.rec_sym sm in
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment