Implement weak polymorphic variables. These variables are displayed as _weak0 (as in OCaml).

They cannot be generalized. These are juste variables "waiting to be instantiated".
When such an instantiation occurs, the typing environment is patched to substitute all occurrences
of the variables with their instance.
As with OCaml, one can observe weak polymorphic variables in the toplevel e.g. by creating mutable
references or performing partial applications of polymorphic functions.
When compiling a file, an error is raised when toplevel identifiers whose type contains polymorphic variables remain.
18 jobs for polymorphic in 4 minutes and 24 seconds (queued for 1 second)
Status Job ID Name Coverage
  Compile
passed #1113
compile_4.07.1

00:00:49

passed #1114
compile_4.08.1

00:00:50

passed #1115
compile_4.09.1

00:00:50

passed #1116
compile_4.10.2

00:00:49

passed #1117
compile_4.11.2

00:00:48

passed #1118
compile_4.12.0

00:00:47

 
  Test
passed #1119
test_4.07.1

00:00:47

passed #1120
test_4.08.1

00:00:47

passed #1121
test_4.09.1

00:00:44

passed #1122
test_4.10.2

00:00:44

passed #1123
test_4.11.2

00:00:44

passed #1124
test_4.12.0

00:00:44

 
  Package
passed #1125
package_4.07.1

00:01:07

passed #1126
package_4.08.1

00:01:06

passed #1127
package_4.09.1

00:01:06

passed #1128
package_4.10.2

00:01:06

passed #1129
package_4.11.2

00:00:53

passed #1130
package_4.12.0

00:00:53