Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Revert "Add a better error message for incorrect prefix events."

This reverts commit fec7e07.
  • Loading branch information...
commit b8ffaef59376b06b443c15a9aaa4f8cde55262f2 1 parent fec7e07
@tomgr authored
Showing with 8 additions and 11 deletions.
  1. +8 −11 src/CSPM/TypeChecker/Expr.hs
View
19 src/CSPM/TypeChecker/Expr.hs
@@ -239,17 +239,14 @@ instance TypeCheckable (Exp Name) Type where
-- Throw an error if a name is defined multiple times
when (not (noDups fvs)) (panic "Dupes found in prefix after renaming.")
- let c = hang (text "In the expression:") tabWidth $
- hcat (prettyPrint e1 : map prettyPrint fields)
- addErrorContext c $ do
- t1 <- typeCheck e1
- let
- tcfs [] tsfields = do
- unify TEvent (TDot t1 (foldr1 TDot (reverse tsfields)))
- ensureIsProc e2
- tcfs (f:fs) tsfields =
- typeCheckField f (\ t -> tcfs fs (t:tsfields))
- local fvs (tcfs fields [])
+ t1 <- typeCheck e1
+ let
+ tcfs [] tsfields = do
+ unify TEvent (TDot t1 (foldr1 TDot (reverse tsfields)))
+ ensureIsProc e2
+ tcfs (f:fs) tsfields =
+ typeCheckField f (\ t -> tcfs fs (t:tsfields))
+ local fvs (tcfs fields [])
typeCheck' (LinkParallel e1 ties stmts e2) = do
ensureIsProc e1
Please sign in to comment.
Something went wrong with that request. Please try again.