search

proofpeer / proofpeer-proofscript

The language of ProofPeer: ProofScript
MIT License
8 stars 0 forks source link

Exception thrown for using type annotations of undefined type #64

Open ghost opened 9 years ago

ghost commented 9 years ago 
theory Foo
extends \root

def f (x:Foo) = 3

show f 3

This crashes the interpreter.