[erlang-questions] A subtyping system for Erlang

[Sven-Olof Nystrom]

Björn Gustavsson writes:
 > On Fri, Oct 11, 2019 at 2:15 PM Sven-Olof Nystrom
 > <svenolof@REDACTED> wrote:
 > >
 > > The subtyping system contains a module con.erl. If the name
 > > conflicts with some module in the standard library, I could
 > > rename it. But as far as I can tell, there is no module con.erl
 > > in the library "syntax_tools".
 > 
 > On Windows, CON is the reserved named for the console. Since file
 > names are case insensitive, "con" also refers to the console, as
 > does "con" with any extension. Thus, "con.beam" is a reference to
 > the console. You should rename your module.

Thanks. I have made a new version available.

Edmond Begumisa writes:
 > Indeed, I looked again and found that make compiled all files except  
 > con.beam (there's no ../ebin/con.beam --  I should have noticed that  
 > before, although make should have at least failed with an error instead of  
 > silently skipping over that target). And like Björn said, from the shell...

Sorry about the problems. 


Sven-Olof

-- 
Sven-Olof Nystrom 
Comp Sci Dept, Uppsala University, Box 337, S-751 05 Uppsala SWEDEN
svenolof@REDACTED