TUnification.Unify_error(_)

1

Hej !

I have a huge projet, I’ve done many changes and now I get “TUnification.Unify_error(_)” without any more infos. No dump even with -D dump.

Can anyone hint me please where from it can come, where can I look please ?

Thanks

2

What Haxe version are you using?

3

Haxe Compiler 4.2.0-rc.1+dc1fbac

4

Hm… It should print additional info on any crash.
Are you using compilation server?

5

No compilation server. Only TUnification.Unify_error(_)" in the output nothing else…

6

Set OCAMLRUNPARAM=b environment variable and try again.
If that doesn’t help then remove it and set HAXEDEBUG=1

7

Ok I got it.
I’ve not done what you wrote because I was digging in my code.
The error occurs when I have something like that :

enum EMyEnum<T:Something>{

}
...
class MyClass<T:Something>{
    static function myFunction<T>( myEnum : EMyEnum<T> ){}
}

It compiles fine if I change it into :

   static function myFunction<T:Something>( myEnum : EMyEnum<T> ){}
8

I get a nice error for that:

src/Main.hx:24: characters 53-54 : Constraint check failure for EMyEnum.T
src/Main.hx:24: characters 53-54 : ... myFunction.T should be Main
9

Hmmmmm so maybe it’s because in my case “Something” is a sys.db.Object from records-macro ?

10

Maybe.
Any chance you can assemble a reproducible sample?

11

Of course.
I’ll just finish my work because I accumulate lateness because of this weird error and then I’ll try to do a minimal sample to reproduce that.

12

Thanks in advance

13

I see this wasn’t resolved then

I’ve just experianced this error, when trying to use laxe in some project, I’ve created a stacktrace maybe this will help to find the issue.

Typing _MagicLines.MagicLines_Fields_.proc_magic
Parsed C:\HaxeToolkit\haxe\lib\laxe/git/src/laxe/stdlib/LaxeString.hx
Parsed ../../libs/FS.hx
Fatal error: exception TUnification.Unify_error(_)
Raised at file "src/core/tUnification.ml", line 45, characters 14-35
Called from file "src/std.ml", line 26, characters 6-9
Re-raised at file "src/std.ml", line 28, characters 23-30
Called from file "src/core/tUnification.ml", line 226, characters 3-89
Called from file "src/core/tUnification.ml", line 318, characters 2-20
Called from file "src/core/tUnification.ml", line 639, characters 19-31
Called from file "src/core/tUnification.ml" (inlined), line 1125, characters 12-45
Called from file "src/typing/operators.ml", line 457, characters 3-31
Called from file "src/typing/operators.ml", line 544, characters 45-124
Called from file "src/typing/operators.ml", line 558, characters 2-68
Called from file "src/typing/operators.ml", line 637, characters 2-44
Called from file "src/typing/operators.ml", line 768, characters 3-65
Called from file "src/typing/typer.ml", line 1643, characters 9-39
Called from file "src/typing/typer.ml", line 843, characters 27-94
Called from file "src/typing/typer.ml", line 846, characters 9-19
Called from file "src/typing/typer.ml", line 1939, characters 10-38
Called from file "src/typing/typer.ml", line 1654, characters 11-57
Called from file "src/typing/typer.ml", line 843, characters 27-94
Called from file "src/typing/typer.ml", line 846, characters 9-19
Called from file "src/typing/typer.ml", line 1939, characters 10-38
Called from file "src/typing/typer.ml", line 1654, characters 11-57
Called from file "src/typing/typer.ml", line 1574, characters 11-45
Called from file "src/typing/typer.ml", line 843, characters 27-94
Called from file "src/typing/typer.ml", line 846, characters 9-19
Called from file "src/typing/typer.ml", line 1939, characters 10-38
Called from file "src/typing/typeloadFunction.ml", line 78, characters 2-25
Called from file "src/std.ml", line 26, characters 6-9
Re-raised at file "src/std.ml", line 28, characters 23-30
Called from file "src/typing/typeloadFields.ml", line 973, characters 13-88
Called from file "src/context/typecore.ml", line 421, characters 11-14
Called from file "src/typing/typeloadFields.ml", line 1706, characters 51-64
Called from file "src/context/typecore.ml", line 407, characters 3-6
Called from file "src/typing/finalization.ml", line 83, characters 1-30
Called from file "src/compiler/compiler.ml", line 282, characters 1-270
Called from file "src/compiler/compiler.ml", line 334, characters 3-24
Called from file "src/compiler/compiler.ml", line 364, characters 1-5
Called from file "src/compiler/compiler.ml", line 451, characters 2-162
Called from file "src/compiler/compiler.ml", line 425, characters 2-9
Called from file "src/compiler/compiler.ml", line 647, characters 5-43
Called from file "src/compiler/compiler.ml", line 657, characters 13-22
Called from file "src/compiler/server.ml", line 971, characters 1-39
Called from file "src/compiler/haxe.ml", line 53, characters 0-56

where FS.hx is

@:jsRequire("fs")
extern class FS {
	static function copyFileSync(from:String,dest:String):Void;
  static function readdirSync(path:String):Array<String>;
  static function readFileSync(path:String,enc:String):String;
  static function writeFileSync(path:String,content:String):String;

  public static function writeFile(s:String, arg:String, arg2:() -> Void):Void;

  public static function unlinkSync(tmpfile:String):Void;

  public static function unlink(b:String, cb:(Dynamic,Dynamic)->Void):Void;
}