search

ohua-lang / condrust

Repository for the Rust SharedMemory integration, codenamed `ConDRust` of the Ohua compiler.
Other
0 stars 0 forks source link

Fix typing for loops being the last statement in an algo #1

Open Pagolin opened 6 months ago

Pagolin commented 6 months ago

Type checking currently fails, when loops are the last statement in an algorithm e.g. a server loop. We need to fix this, obviously for the unikernel case, but probably also for other cases as it essentially fails when trying to get an unresolved type for an internal Unit type.

sertel commented 6 months ago

I thought this works again because we put seq back in. What is the problem here?