Hello Andrei,
2014-01-24 13:59, Andrei Paskevich:
On 24 January 2014 11:02, Sandrine Blazy wrote:
[...]
>File "maze.mlw", line 5, characters 2-26:
>Symbol set is already defined in the current scope
[...]
Thus, in the context of your module Maze, the line
"use import matrix.Syntax" tries to
On 24 January 2014 11:02, Sandrine Blazy wrote:
> Hi,
>
> I don't understand the errors I've got when I write the following module.
>
> File "maze.mlw", line 5, characters 2-26:
> Symbol set is already defined in the current scope
>
> module Maze
> use import int.Int
> use import bool.Bool
>
Hi,
I don't understand the errors I've got when I write the following module.
File "maze.mlw", line 5, characters 2-26:
Symbol set is already defined in the current scope
module Maze
use import int.Int
use import bool.Bool
use import matrix.Matrix as M
use import matrix.Syntax
type b
