Commit 2cd1e262 authored by marton bognar's avatar marton bognar
Browse files

Change the HaskellCode keyword to the more general NativeCode

parent 19d56a46
......@@ -139,7 +139,7 @@ sort Coercion rewrite
| CoCoArrow (pi: SimpleCoercionType) (Co: Coercion)
| CoComputation (co1: Coercion) (co2: Coercion)
HaskellCode
NativeCode
-- You need to delete the "b" binder parameters if using De Bruijn indices
......
......@@ -326,7 +326,7 @@ pSubExpr = do
-- | Parse native code if not at the end of file
pHaskellCode :: Parser [String]
pHaskellCode = parseEOF <|> do
pReserved "HaskellCode"
pReserved "NativeCode"
pHsCode
-- | Parse lines until the end of the file
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment