Crashing when writing to file

gsdlab / clafer

Clafer is a lightweight modeling language

http://clafer.org

MIT License

45 stars 13 forks source link

Crashing when writing to file #15

Closed JLiangWaterloo closed 12 years ago

JLiangWaterloo commented 12 years ago

X
    x:int
        y
            z
                [x > 0]

Run the above model.

clafer -o Test outputs correctly to the console

clafer Test runs into the following error

Parse Successful!
[Desugaring]
[Resolving]
[Analyzing String]
[Optimizing]
[Generating Code]
All clafers: 4 | Abstract: 0 | Concrete: 4 | References: 0
Constraints: 1
Global scope: 1..1
All names unique: True

[Saving File]
clafer: Prelude.tail: empty list

kbak commented 12 years ago

Fixed. The translator assumed that name always has extension.