type name check doesn't account for sides

ocsigen / eliomlang

Runtime and tools for the eliom language

ISC License

9 stars 1 forks source link

Closed Drup closed 8 years ago

Drup commented 8 years ago

Example:

module T = struct type%server t = int type%client t' = t fragment end

Drup commented 8 years ago

Done.