idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-05 15:08:00 +03:00
Code Issues Projects Releases Wiki Activity

Add implicit arity arg to NmOp

Browse Source 
Like in CExp.
This commit is contained in:
Niklas Larsson 2020-08-18 13:51:41 +02:00
parent ad1474a83b
commit b9beca1986
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Core/CompileExpr.idr
View File

@ -80,7 +80,7 @@ mutual
-- A saturated constructor application
NmCon : FC -> Name -> (tag : Maybe Int) -> List NamedCExp -> NamedCExp
-- Internally defined primitive operations
NmOp : FC -> PrimFn arity -> Vect arity NamedCExp -> NamedCExp
NmOp : {arity : _ } -> FC -> PrimFn arity -> Vect arity NamedCExp -> NamedCExp
-- Externally defined primitive operations
NmExtPrim : FC -> (p : Name) -> List NamedCExp -> NamedCExp
-- A forced (evaluated) value