talk.tryitonline.net

« first day (473 days earlier) ← previous day next day → last day (2021 days later) »

1:37 AM

@Οurous That went mostly fine. Some modules refuse to compile though. Any idea why?

Error [ESMVizTool.dcl,4]: iTasks.dcl could not be imported
Error [ESMVizTool.GraphvizVisualization.dcl,4]: iTasks.dcl could not be imported
Error [GenMonad.icl,21,gMapLM]:cannot specialize because there is no instance of UNIT
Error [GenMonad.icl,21,gMapLM]:cannot specialize because there is no instance of UNIT
Error [GenMonad.icl,22,gMapRM]:cannot specialize because there is no instance of UNIT
Error [GenMonad.icl,22,gMapRM]:cannot specialize because there is no instance of UNIT
Error [GenMapSt.icl,20,gMapLSt]:cannot specialize because there is no instance of UNIT

The source files to compile the libraries look like this.

Οurous

@Dennis I'll wipe and reinstall Clean on my system to see if I can replicate, there's a few reasons that might be happening.

Dennis

module main
import GenMonad
Start = ""

Missed an error:

Type error [ESMVizTool.ESMSpec.icl,10,enumerate]:"argument 1 of generateAll : aStream" cannot unify demanded type with offered type:
 GenState
 RandomStream

Οurous

It should be GenLib instead of GenMonad (GenLib imports all the generic signatures), that gets rid of a lot of errors on my end, but nowhere near all.

Dennis

Ah, my library building script tries to import anything that has a *.dcl file, so there might be a few false positives.

Οurous

Wew. There are a lot of mutually-exclusive declaration files.

Dennis

1:51 AM

For reference, this is what I'm using to build the libraries. There's probably a better way.

Οurous

Instead of -IL for every declaration file, you should be able to just -IL for every folder name inside lib

eg: GenLib just needs -IL Generics -IL StdLib

Dennis

Yes, [[:upper:]]* only gets the folders.

The final arguments are

-IL ArgEnv -IL Directory -IL Dynamics -IL Gast -IL Generics -IL GraphCopy -IL Platform -IL Sapl -IL StdEnv -IL StdLib -IL TCPIP

Οurous

The only problem with that method would then be the (just verified) missing instance in the generics library, and any conflicting dcls

import StdEnv,StdLib,ArgEnv,StdDynamic work together

Dennis

2:09 AM

The script compiles each module separately, so conflicts shouldn't happen.

Οurous

GenLib (and Generics) seems to be incomplete at the moment, so just ignore those. IIRC nothing depends on them anyway.

Dennis

I'm not sure what cannot specialize because there is no instance of UNIT even means though. A simple import GenLib is enough to trigger it.

Alright.

Internet.HTTP won't work anyway, as there is no internet.

Οurous

Basically it's like a C++ template being specialized but not defined.

Dennis

C++ is just as alien to me. :P

That leaves ESMVizTool. Everything else is working.

Οurous

ESMVizTool is going to be the visual debugger for iTasks application-applications, so it isn't relevant for TIO and wouldn't work anyway.

Does it all compile for you if you leave out GenLib and EsmVizTool

Dennis

2:26 AM

That and Internet.HTTP, yes.

Οurous

Excellent! And thanks again!

Dennis

I just noticed some lib directories go more than two levels deep, so I'll have to compile deeper. I'll tackle that tomorrow.

Οurous

Ah, when you do do that, note the naming convention becomes Family.Module for Module.dcl located in lib/Library/Family/

And there is a ftp server with the nightly in addition to the https one, if that's preferable for the script.

10 hours later…

user202729

12:44 PM

Probably you can add keyboard shortcut for everything? Including select a language from language selection page, add argument, expand/collapse tabs.

The way I typically do it (on Chrome, Windows: Ctrl+F, type the text on the link, Escape, Enter) doesn't work, and Tab is overrided, Shift+Tab doesn't select links (or objects similar to links). The only way I can do those things are using the mouse or MouseKeys, the latter being quite hard because it needs precision to click exactly.

4 hours later…

Nick Clifford

4:32 PM

whoops wrong room

4 hours later…

James Holderness

8:25 PM

I don't know if this is open to debate, but having used the new expanded Debug panel for a while now, I'd have to say I preferred it when it was closed.
I thought it was just Befunge, but there are actually a number of languages that spew messages to stderr, and it's kind of annoying to see all of that junk now.

There's always the option of configuring the interpreter/compiler to not display warnings, but there didn't seem to be much support for that idea the last time I suggested it.

1 hour later…