SELet (STLam STInt STBool) (SPVar (STLam (STLam (STAdt (UIdent "MyState102")) STFloat) STInt) (Ident "v108")) (SELam (STLam (STLam (STAdt (UIdent "MyState102")) STFloat) STInt) (SPVar STInt (Ident "v106")) (SELam (STLam (STAdt (UIdent "MyState102")) STFloat) (SPVar STFloat (Ident "v107")) (SETag (STAdt (UIdent "MyState102")) (UIdent "MS80") (Just (SETup (STTup STInt STFloat) (SEVar STInt (Ident "v106")) (SEVar STFloat (Ident "v107"))))))) (SELet (STLam STInt STBool) (SPVar (STLam *** Exception: monomorphisation failed - found ADT with type variables
CallStack (from HasCallStack):
error, called at /Users/abhiroopsarkar/C/Sense-VM/frontend/CamIoT/src/Desugaring/Desugar.hs:287:15 in main:Desugaring.Desugar
Friday Apr 09, 2021 at 10:36 GMT
Originally opened as svenssonjoel/Sense-VM#9
showof the desugared IR of the program https://github.com/svenssonjoel/Sense-VM/blob/master/frontend/CamIoT/testcases/good9.cam throws a monomorphisation failed error.