awson

Codegen emits function declaration twice with different linkages

10

### Description I tried to compile Lean from sources using Visual C++. When compiling stage0 stdlib the compiler spits (among others) the following 2 error messages: ``` C:\G\sources2\LEAN\lean\lean4\stage0\stdlib\Lean\Meta\ExprDefEq.c(219): error C2375:...

That would be **extremely** convenient. The best implementation I know of is that of Far Manager internal editor.